Gary is big. Gary is furry. Gary is quiet. Gary is red. Gary is round. Gary is smart. Gary is white. If Gary is big then Gary is furry. Quiet, round people are smart. If someone is furry and round then they are white. If Gary is quiet then Gary is big. If someone is quiet then they are smart. All smart, furry people are white. Red people are big. If Gary is furry and Gary is white then Gary is smart.
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is big then Gary is furry.
((("Gary" "is" "big" "+")) -> ("Gary" "is" "furry" "+"))
Quiet, round people are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
If someone is furry and round then they are white.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
If Gary is quiet then Gary is big.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "big" "+"))
If someone is quiet then they are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
All smart, furry people are white.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
Red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If Gary is furry and Gary is white then Gary is smart.
((("Gary" "is" "furry" "+") ("Gary" "is" "white" "+")) -> ("Gary" "is" "smart" "+"))
Gary is smart.
True
1
proof
[(triple6 OR ((triple3) -> rule5) OR ((triple2 triple7) -> rule8) OR ((triple3 triple5) -> rule2) OR ((triple2 ((triple2 triple5) -> rule3)) -> rule8) OR ((((triple1) -> rule1) triple7) -> rule8) OR ((((triple1) -> rule1) ((triple2 triple5) -> rule3)) -> rule8) OR ((triple2 ((((triple1) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple3) -> rule4)) -> rule1) triple7) -> rule8) OR ((((((triple4) -> rule7)) -> rule1) triple7) -> rule8) OR ((((triple1) -> rule1) ((((triple1) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple3) -> rule4)) -> rule1) ((triple2 triple5) -> rule3)) -> rule8) OR ((((((triple4) -> rule7)) -> rule1) ((triple2 triple5) -> rule3)) -> rule8) OR ((((((triple3) -> rule4)) -> rule1) ((((triple1) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple4) -> rule7)) -> rule1) ((((triple1) -> rule1) triple5) -> rule3)) -> rule8) OR ((triple2 ((((((triple3) -> rule4)) -> rule1) triple5) -> rule3)) -> rule8) OR ((triple2 ((((((triple4) -> rule7)) -> rule1) triple5) -> rule3)) -> rule8) OR ((((triple1) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple5) -> rule3)) -> rule8) OR ((((triple1) -> rule1) ((((((triple4) -> rule7)) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple3) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple3) -> rule4)) -> rule1) ((((((triple4) -> rule7)) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple4) -> rule7)) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple4) -> rule7)) -> rule1) ((((((triple4) -> rule7)) -> rule1) triple5) -> rule3)) -> rule8))]
("Gary" "is" "smart" "+")
triple6
((triple3) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple2 triple7) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple3 triple5) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple2 ((triple2 triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple1) -> (rule1 % int2)) triple7) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple1) -> (rule1 % int3)) ((triple2 triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple2 ((((triple1) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple3) -> (rule4 % int3))) -> (rule1 % int2)) triple7) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple4) -> (rule7 % int3))) -> (rule1 % int2)) triple7) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((triple2 triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple4) -> (rule7 % int4))) -> (rule1 % int3)) ((triple2 triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple4) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((triple2 ((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((triple2 ((((((triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple1) -> (rule1 % int4)) ((((((triple3) -> (rule4 % int3))) -> (rule1 % int4)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple1) -> (rule1 % int4)) ((((((triple4) -> (rule7 % int3))) -> (rule1 % int4)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((((((triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple4) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple4) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is not red.
False
1
inv-proof
[(triple4)]
("Gary" "is" "red" "-")
triple4
@0: Gary is big.[(triple1 OR ((triple3) -> rule4) OR ((triple4) -> rule7))] Gary is furry.[(triple2 OR ((triple1) -> rule1) OR ((((triple3) -> rule4)) -> rule1) OR ((((triple4) -> rule7)) -> rule1))] Gary is quiet.[(triple3)] Gary is red.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6 OR ((triple3) -> rule5) OR ((triple2 triple7) -> rule8) OR ((triple3 triple5) -> rule2) OR ((triple2 ((triple2 triple5) -> rule3)) -> rule8) OR ((((triple1) -> rule1) triple7) -> rule8) OR ((((triple1) -> rule1) ((triple2 triple5) -> rule3)) -> rule8) OR ((triple2 ((((triple1) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple3) -> rule4)) -> rule1) triple7) -> rule8) OR ((((((triple4) -> rule7)) -> rule1) triple7) -> rule8) OR ((((triple1) -> rule1) ((((triple1) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple3) -> rule4)) -> rule1) ((triple2 triple5) -> rule3)) -> rule8) OR ((((((triple4) -> rule7)) -> rule1) ((triple2 triple5) -> rule3)) -> rule8) OR ((((((triple3) -> rule4)) -> rule1) ((((triple1) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple4) -> rule7)) -> rule1) ((((triple1) -> rule1) triple5) -> rule3)) -> rule8) OR ((triple2 ((((((triple3) -> rule4)) -> rule1) triple5) -> rule3)) -> rule8) OR ((triple2 ((((((triple4) -> rule7)) -> rule1) triple5) -> rule3)) -> rule8) OR ((((triple1) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple5) -> rule3)) -> rule8) OR ((((triple1) -> rule1) ((((((triple4) -> rule7)) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple3) -> rule4)) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple3) -> rule4)) -> rule1) ((((((triple4) -> rule7)) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple4) -> rule7)) -> rule1) ((((((triple3) -> rule4)) -> rule1) triple5) -> rule3)) -> rule8) OR ((((((triple4) -> rule7)) -> rule1) ((((((triple4) -> rule7)) -> rule1) triple5) -> rule3)) -> rule8))] Gary is white.[(triple7 OR ((triple2 triple5) -> rule3) OR ((triple6 triple2) -> rule6) OR ((triple6 ((triple1) -> rule1)) -> rule6) OR ((((triple1) -> rule1) triple5) -> rule3) OR ((((triple3) -> rule5) triple2) -> rule6) OR ((((triple3 triple5) -> rule2) triple2) -> rule6) OR ((((triple3) -> rule5) ((triple1) -> rule1)) -> rule6) OR ((((triple3 triple5) -> rule2) ((triple1) -> rule1)) -> rule6) OR ((triple6 ((((triple3) -> rule4)) -> rule1)) -> rule6) OR ((triple6 ((((triple4) -> rule7)) -> rule1)) -> rule6) OR ((((((triple3) -> rule4)) -> rule1) triple5) -> rule3) OR ((((((triple4) -> rule7)) -> rule1) triple5) -> rule3) OR ((((triple3) -> rule5) ((((triple3) -> rule4)) -> rule1)) -> rule6) OR ((((triple3) -> rule5) ((((triple4) -> rule7)) -> rule1)) -> rule6) OR ((((triple3 triple5) -> rule2) ((((triple3) -> rule4)) -> rule1)) -> rule6) OR ((((triple3 triple5) -> rule2) ((((triple4) -> rule7)) -> rule1)) -> rule6))]
Gary is big.
("Gary" "is" "big" "+")
triple1
((triple3) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple4) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple2
((triple1) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple4) -> (rule7 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple6
((triple3) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple2 triple7) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple3 triple5) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple2 ((triple2 triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple1) -> (rule1 % int2)) triple7) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple1) -> (rule1 % int3)) ((triple2 triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple2 ((((triple1) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple3) -> (rule4 % int3))) -> (rule1 % int2)) triple7) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple4) -> (rule7 % int3))) -> (rule1 % int2)) triple7) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((triple2 triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple4) -> (rule7 % int4))) -> (rule1 % int3)) ((triple2 triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple4) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((triple2 ((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((triple2 ((((((triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple1) -> (rule1 % int4)) ((((((triple3) -> (rule4 % int3))) -> (rule1 % int4)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple1) -> (rule1 % int4)) ((((((triple4) -> (rule7 % int3))) -> (rule1 % int4)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((((((triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple4) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple4) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
triple7
((triple2 triple5) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple6 triple2) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple6 ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple1) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple3) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple3 triple5) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple3) -> (rule5 % int3)) ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((triple3 triple5) -> (rule2 % int3)) ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((triple6 ((((triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((triple6 ((((triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple3) -> (rule4 % int3))) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple4) -> (rule7 % int3))) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple3) -> (rule5 % int4)) ((((triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((triple3) -> (rule5 % int4)) ((((triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((triple3 triple5) -> (rule2 % int4)) ((((triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((triple3 triple5) -> (rule2 % int4)) ((((triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4