(.: (((ExtSet garfield) --> cat) (1.0 0.9)))
(.: (((cat x sky) --> like) (1.0 0.9)))
(.: ((sky --> (IntSet blue)) (1.0 0.9)))
(.: (((((ExtSet garfield) --> cat) &/ ((cat x sky) --> like)) =/> (sky --> (IntSet blue))) (1.0 (/ (* 0.9 (* (* (* 0.9 (min 1 (/ 1 (abs 0)))) 0.9) (min 1 (/ 1 (abs 0))))) (+ (* 0.9 (* (* (* 0.9 (min 1 (/ 1 (abs 0)))) 0.9) (min 1 (/ 1 (abs 0))))) 1)))))
(.: ((A --> cat) (1.0 0.9)))
(.: (((((cat x sky) --> like) &/ (sky --> (IntSet blue))) =/> (A --> cat)) (1.0 (/ (* 0.9 (* (* (* 0.9 (min 1 (/ 1 (abs 0)))) 0.9) (min 1 (/ 1 (abs 0))))) (+ (* 0.9 (* (* (* 0.9 (min 1 (/ 1 (abs 0)))) 0.9) (min 1 (/ 1 (abs 0))))) 1)))))
(.: ((B --> cat) (1.0 0.9)))
(.: ((((sky --> (IntSet blue)) &/ (A --> cat)) =/> (B --> cat)) (1.0 (/ (* 0.9 (* (* (* 0.9 (min 1 (/ 1 (abs 0)))) 0.9) (min 1 (/ 1 (abs 0))))) (+ (* 0.9 (* (* (* 0.9 (min 1 (/ 1 (abs 0)))) 0.9) (min 1 (/ 1 (abs 0))))) 1)))))
(.: ((C --> cat) (1.0 0.9)))
(.: ((((A --> cat) &/ (B --> cat)) =/> (C --> cat)) (1.0 (/ (* 0.9 (* (* (* 0.9 (min 1 (/ 1 (abs 0)))) 0.9) (min 1 (/ 1 (abs 0))))) (+ (* 0.9 (* (* (* 0.9 (min 1 (/ 1 (abs 0)))) 0.9) (min 1 (/ 1 (abs 0))))) 1)))))
(.: ((((ExtSet garfield) x (IntSet blue)) --> like) (1.0 0.9)))
(.: ((((B --> cat) &/ (C --> cat)) =/> (((ExtSet garfield) x (IntSet blue)) --> like)) (1.0 (/ (* 0.9 (* (* (* 0.9 (min 1 (/ 1 (abs 0)))) 0.9) (min 1 (/ 1 (abs 0))))) (+ (* 0.9 (* (* (* 0.9 (min 1 (/ 1 (abs 0)))) 0.9) (min 1 (/ 1 (abs 0))))) 1)))))