Gary is big. Gary is furry. Gary is quiet. Gary is red. Gary is rough. Gary is smart. Gary is young. If Gary is smart and Gary is furry then Gary is big. If something is furry and quiet then it is smart. If Gary is furry and Gary is red then Gary is quiet. All quiet, rough things are furry. Quiet things are furry. If Gary is quiet and Gary is smart then Gary is rough.
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 rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is smart and Gary is furry then Gary is big.
((("Gary" "is" "smart" "+") ("Gary" "is" "furry" "+")) -> ("Gary" "is" "big" "+"))
If something is furry and quiet then it is smart.
((("something" "is" "furry" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
If Gary is furry and Gary is red then Gary is quiet.
((("Gary" "is" "furry" "+") ("Gary" "is" "red" "+")) -> ("Gary" "is" "quiet" "+"))
All quiet, rough things are furry.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
Quiet things are furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If Gary is quiet and Gary is smart then Gary is rough.
((("Gary" "is" "quiet" "+") ("Gary" "is" "smart" "+")) -> ("Gary" "is" "rough" "+"))
Gary is big.
True
1
proof
[(triple1 OR ((triple6 triple2) -> rule1) OR ((triple6 ((triple3) -> rule5)) -> rule1) OR ((triple6 ((triple3 triple5) -> rule4)) -> rule1) OR ((((triple2 triple3) -> rule2) triple2) -> rule1) OR ((((triple2 triple3) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((triple2 triple3) -> rule2) ((triple3 triple5) -> rule4)) -> rule1) OR ((triple6 ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1) OR ((((triple2 ((triple2 triple4) -> rule3)) -> rule2) triple2) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule2) triple2) -> rule1) OR ((((((triple3 triple5) -> rule4) triple3) -> rule2) triple2) -> rule1) OR ((((triple2 triple3) -> rule2) ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1) OR ((((triple2 ((triple2 triple4) -> rule3)) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((triple2 ((triple2 triple4) -> rule3)) -> rule2) ((triple3 triple5) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule2) ((triple3 triple5) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) ((triple2 triple4) -> rule3)) -> rule2) triple2) -> rule1) OR ((((((triple3 triple5) -> rule4) triple3) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((((triple3 triple5) -> rule4) triple3) -> rule2) ((triple3 triple5) -> rule4)) -> rule1) OR ((((((triple3 triple5) -> rule4) ((triple2 triple4) -> rule3)) -> rule2) triple2) -> rule1) OR ((((triple2 ((triple2 triple4) -> rule3)) -> rule2) ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule2) ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) ((triple2 triple4) -> rule3)) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((((triple3) -> rule5) ((triple2 triple4) -> rule3)) -> rule2) ((triple3 triple5) -> rule4)) -> rule1) OR ((((((triple3 triple5) -> rule4) triple3) -> rule2) ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3 triple5) -> rule4) ((triple2 triple4) -> rule3)) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((((triple3 triple5) -> rule4) ((triple2 triple4) -> rule3)) -> rule2) ((triple3 triple5) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) ((triple2 triple4) -> rule3)) -> rule2) ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3 triple5) -> rule4) ((triple2 triple4) -> rule3)) -> rule2) ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1))]
("Gary" "is" "big" "+")
triple1
((triple6 triple2) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple6 ((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((triple6 ((triple3 triple5) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple2 triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple2 triple3) -> (rule2 % int3)) ((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((triple2 triple3) -> (rule2 % int3)) ((triple3 triple5) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((triple6 ((triple3 ((triple3 triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple2 ((triple2 triple4) -> (rule3 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple3) -> (rule5 % int3)) triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple3 triple5) -> (rule4 % int3)) triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple2 triple3) -> (rule2 % int4)) ((triple3 ((triple3 triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((triple2 ((triple2 triple4) -> (rule3 % int4))) -> (rule2 % int3)) ((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple2 ((triple2 triple4) -> (rule3 % int4))) -> (rule2 % int3)) ((triple3 triple5) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple3) -> (rule5 % int3)) triple3) -> (rule2 % int2)) ((triple3) -> (rule5 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple3) -> (rule5 % int3)) triple3) -> (rule2 % int2)) ((triple3 triple5) -> (rule4 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple3) -> (rule5 % int4)) ((triple2 triple4) -> (rule3 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule4 % int3)) triple3) -> (rule2 % int2)) ((triple3) -> (rule5 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple3 triple5) -> (rule4 % int3)) triple3) -> (rule2 % int2)) ((triple3 triple5) -> (rule4 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple3 triple5) -> (rule4 % int4)) ((triple2 triple4) -> (rule3 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple2 ((triple2 triple4) -> (rule3 % int5))) -> (rule2 % int4)) ((triple3 ((triple3 triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple3) -> (rule5 % int4)) triple3) -> (rule2 % int3)) ((triple3 ((triple3 triple6) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple3) -> (rule5 % int4)) ((triple2 triple4) -> (rule3 % int3))) -> (rule2 % int2)) ((triple3) -> (rule5 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple3) -> (rule5 % int4)) ((triple2 triple4) -> (rule3 % int3))) -> (rule2 % int2)) ((triple3 triple5) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule4 % int4)) triple3) -> (rule2 % int3)) ((triple3 ((triple3 triple6) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule4 % int4)) ((triple2 triple4) -> (rule3 % int3))) -> (rule2 % int2)) ((triple3) -> (rule5 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule4 % int4)) ((triple2 triple4) -> (rule3 % int3))) -> (rule2 % int2)) ((triple3 triple5) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple3) -> (rule5 % int5)) ((triple2 triple4) -> (rule3 % int4))) -> (rule2 % int3)) ((triple3 ((triple3 triple6) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple3 triple5) -> (rule4 % int5)) ((triple2 triple4) -> (rule3 % int4))) -> (rule2 % int3)) ((triple3 ((triple3 triple6) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is not furry.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule5) OR ((triple3 triple5) -> rule4) OR ((triple3 ((triple3 triple6) -> rule6)) -> rule4))]
("Gary" "is" "furry" "-")
triple2
((triple3) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple3 triple5) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple3 ((triple3 triple6) -> (rule6 % int2))) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
@0: Gary is big.[(triple1 OR ((triple6 triple2) -> rule1) OR ((triple6 ((triple3) -> rule5)) -> rule1) OR ((triple6 ((triple3 triple5) -> rule4)) -> rule1) OR ((((triple2 triple3) -> rule2) triple2) -> rule1) OR ((((triple2 triple3) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((triple2 triple3) -> rule2) ((triple3 triple5) -> rule4)) -> rule1) OR ((triple6 ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1) OR ((((triple2 ((triple2 triple4) -> rule3)) -> rule2) triple2) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule2) triple2) -> rule1) OR ((((((triple3 triple5) -> rule4) triple3) -> rule2) triple2) -> rule1) OR ((((triple2 triple3) -> rule2) ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1) OR ((((triple2 ((triple2 triple4) -> rule3)) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((triple2 ((triple2 triple4) -> rule3)) -> rule2) ((triple3 triple5) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule2) ((triple3 triple5) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) ((triple2 triple4) -> rule3)) -> rule2) triple2) -> rule1) OR ((((((triple3 triple5) -> rule4) triple3) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((((triple3 triple5) -> rule4) triple3) -> rule2) ((triple3 triple5) -> rule4)) -> rule1) OR ((((((triple3 triple5) -> rule4) ((triple2 triple4) -> rule3)) -> rule2) triple2) -> rule1) OR ((((triple2 ((triple2 triple4) -> rule3)) -> rule2) ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule2) ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) ((triple2 triple4) -> rule3)) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((((triple3) -> rule5) ((triple2 triple4) -> rule3)) -> rule2) ((triple3 triple5) -> rule4)) -> rule1) OR ((((((triple3 triple5) -> rule4) triple3) -> rule2) ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3 triple5) -> rule4) ((triple2 triple4) -> rule3)) -> rule2) ((triple3) -> rule5)) -> rule1) OR ((((((triple3 triple5) -> rule4) ((triple2 triple4) -> rule3)) -> rule2) ((triple3 triple5) -> rule4)) -> rule1) OR ((((((triple3) -> rule5) ((triple2 triple4) -> rule3)) -> rule2) ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1) OR ((((((triple3 triple5) -> rule4) ((triple2 triple4) -> rule3)) -> rule2) ((triple3 ((triple3 triple6) -> rule6)) -> rule4)) -> rule1))] Gary is furry.[(triple2 OR ((triple3) -> rule5) OR ((triple3 triple5) -> rule4) OR ((triple3 ((triple3 triple6) -> rule6)) -> rule4))] Gary is quiet.[(triple3 OR ((triple2 triple4) -> rule3))] Gary is red.[(triple4)] Gary is rough.[(triple5 OR ((triple3 triple6) -> rule6) OR ((triple3 ((triple2 triple3) -> rule2)) -> rule6) OR ((((triple2 triple4) -> rule3) triple6) -> rule6) OR ((((triple2 triple4) -> rule3) ((triple2 triple3) -> rule2)) -> rule6) OR ((triple3 ((triple2 ((triple2 triple4) -> rule3)) -> rule2)) -> rule6) OR ((triple3 ((((triple3) -> rule5) triple3) -> rule2)) -> rule6) OR ((triple3 ((((triple3) -> rule5) ((triple2 triple4) -> rule3)) -> rule2)) -> rule6) OR ((((triple2 triple4) -> rule3) ((triple2 ((triple2 triple4) -> rule3)) -> rule2)) -> rule6) OR ((((triple2 triple4) -> rule3) ((((triple3) -> rule5) triple3) -> rule2)) -> rule6) OR ((((triple2 triple4) -> rule3) ((((triple3) -> rule5) ((triple2 triple4) -> rule3)) -> rule2)) -> rule6))] Gary is smart.[(triple6 OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple2 triple4) -> rule3)) -> rule2) OR ((((triple3) -> rule5) triple3) -> rule2) OR ((((triple3 triple5) -> rule4) triple3) -> rule2) OR ((((triple3) -> rule5) ((triple2 triple4) -> rule3)) -> rule2) OR ((((triple3 triple5) -> rule4) ((triple2 triple4) -> rule3)) -> rule2))] Gary is young.[(triple7)]
Gary is big.
("Gary" "is" "big" "+")
triple1
((triple6 triple2) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple6 ((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((triple6 ((triple3 triple5) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple2 triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple2 triple3) -> (rule2 % int3)) ((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((triple2 triple3) -> (rule2 % int3)) ((triple3 triple5) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((triple6 ((triple3 ((triple3 triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple2 ((triple2 triple4) -> (rule3 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple3) -> (rule5 % int3)) triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple3 triple5) -> (rule4 % int3)) triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple2 triple3) -> (rule2 % int4)) ((triple3 ((triple3 triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((triple2 ((triple2 triple4) -> (rule3 % int4))) -> (rule2 % int3)) ((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple2 ((triple2 triple4) -> (rule3 % int4))) -> (rule2 % int3)) ((triple3 triple5) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple3) -> (rule5 % int3)) triple3) -> (rule2 % int2)) ((triple3) -> (rule5 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple3) -> (rule5 % int3)) triple3) -> (rule2 % int2)) ((triple3 triple5) -> (rule4 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple3) -> (rule5 % int4)) ((triple2 triple4) -> (rule3 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule4 % int3)) triple3) -> (rule2 % int2)) ((triple3) -> (rule5 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple3 triple5) -> (rule4 % int3)) triple3) -> (rule2 % int2)) ((triple3 triple5) -> (rule4 % int3))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple3 triple5) -> (rule4 % int4)) ((triple2 triple4) -> (rule3 % int3))) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple2 ((triple2 triple4) -> (rule3 % int5))) -> (rule2 % int4)) ((triple3 ((triple3 triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple3) -> (rule5 % int4)) triple3) -> (rule2 % int3)) ((triple3 ((triple3 triple6) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple3) -> (rule5 % int4)) ((triple2 triple4) -> (rule3 % int3))) -> (rule2 % int2)) ((triple3) -> (rule5 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple3) -> (rule5 % int4)) ((triple2 triple4) -> (rule3 % int3))) -> (rule2 % int2)) ((triple3 triple5) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule4 % int4)) triple3) -> (rule2 % int3)) ((triple3 ((triple3 triple6) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule4 % int4)) ((triple2 triple4) -> (rule3 % int3))) -> (rule2 % int2)) ((triple3) -> (rule5 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple3 triple5) -> (rule4 % int4)) ((triple2 triple4) -> (rule3 % int3))) -> (rule2 % int2)) ((triple3 triple5) -> (rule4 % int4))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple3) -> (rule5 % int5)) ((triple2 triple4) -> (rule3 % int4))) -> (rule2 % int3)) ((triple3 ((triple3 triple6) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple3 triple5) -> (rule4 % int5)) ((triple2 triple4) -> (rule3 % int4))) -> (rule2 % int3)) ((triple3 ((triple3 triple6) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
triple2
((triple3) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple3 triple5) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple3 ((triple3 triple6) -> (rule6 % int2))) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
((triple2 triple4) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple5
((triple3 triple6) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple3 ((triple2 triple3) -> (rule2 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple2 triple4) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple2 triple4) -> (rule3 % int3)) ((triple2 triple3) -> (rule2 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((triple3 ((triple2 ((triple2 triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((triple3 ((((triple3) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple3 ((((triple3) -> (rule5 % int4)) ((triple2 triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple2 triple4) -> (rule3 % int3)) ((triple2 ((triple2 triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple2 triple4) -> (rule3 % int4)) ((((triple3) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple2 triple4) -> (rule3 % int4)) ((((triple3) -> (rule5 % int3)) ((triple2 triple4) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
triple6
((triple2 triple3) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple2 ((triple2 triple4) -> (rule3 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple3) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple3 triple5) -> (rule4 % int2)) triple3) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple3) -> (rule5 % int3)) ((triple2 triple4) -> (rule3 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple3 triple5) -> (rule4 % int3)) ((triple2 triple4) -> (rule3 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
triple7