Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is rough. Gary is white. Gary is young. If someone is blue and cold then they are rough. White, young people are rough. If someone is furry and blue then they are cold. All cold people are furry. If someone is white and blue then they are furry. If Gary is kind then Gary is blue. All young, blue people are furry. If someone is rough then they are kind.
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is blue and cold then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
White, young people are rough.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is furry and blue then they are cold.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
All cold people are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If someone is white and blue then they are furry.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If Gary is kind then Gary is blue.
((("Gary" "is" "kind" "+")) -> ("Gary" "is" "blue" "+"))
All young, blue people are furry.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Gary is blue.
True
1
proof
[(triple1 OR ((triple4) -> rule6) OR ((((triple5) -> rule8)) -> rule6) OR ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6))]
("Gary" "is" "blue" "+")
triple1
((triple4) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((((triple6 triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not blue.
False
1
inv-proof
[(triple1 OR ((triple4) -> rule6) OR ((((triple5) -> rule8)) -> rule6) OR ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6))]
("Gary" "is" "blue" "-")
triple1
((triple4) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((((triple6 triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
@0: Gary is blue.[(triple1 OR ((triple4) -> rule6) OR ((((triple5) -> rule8)) -> rule6) OR ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6))] Gary is cold.[(triple2 OR ((triple3 triple1) -> rule3) OR ((triple3 ((triple4) -> rule6)) -> rule3) OR ((((triple6 triple1) -> rule5) triple1) -> rule3) OR ((((triple7 triple1) -> rule7) triple1) -> rule3) OR ((((triple6 triple1) -> rule5) ((triple4) -> rule6)) -> rule3) OR ((((triple7 triple1) -> rule7) ((triple4) -> rule6)) -> rule3) OR ((triple3 ((((triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((triple4) -> rule6)) -> rule5) triple1) -> rule3) OR ((((triple7 ((triple4) -> rule6)) -> rule7) triple1) -> rule3) OR ((((triple6 triple1) -> rule5) ((((triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((triple4) -> rule6)) -> rule5) ((triple4) -> rule6)) -> rule3) OR ((((triple7 triple1) -> rule7) ((((triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple7 ((triple4) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule3) OR ((((triple6 ((triple4) -> rule6)) -> rule5) ((((triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple7 ((triple4) -> rule6)) -> rule7) ((((triple5) -> rule8)) -> rule6)) -> rule3) OR ((triple3 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((((triple5) -> rule8)) -> rule6)) -> rule5) triple1) -> rule3) OR ((((triple7 ((((triple5) -> rule8)) -> rule6)) -> rule7) triple1) -> rule3) OR ((((triple6 triple1) -> rule5) ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((((triple5) -> rule8)) -> rule6)) -> rule5) ((triple4) -> rule6)) -> rule3) OR ((((triple7 triple1) -> rule7) ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple7 ((((triple5) -> rule8)) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule3) OR ((((triple6 ((triple4) -> rule6)) -> rule5) ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((((triple5) -> rule8)) -> rule6)) -> rule5) ((((triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple7 ((triple4) -> rule6)) -> rule7) ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple7 ((((triple5) -> rule8)) -> rule6)) -> rule7) ((((triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((((triple5) -> rule8)) -> rule6)) -> rule5) ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple7 ((((triple5) -> rule8)) -> rule6)) -> rule7) ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule5) triple1) -> rule3) OR ((((triple7 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule7) triple1) -> rule3) OR ((((triple6 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((triple4) -> rule6)) -> rule3) OR ((((triple7 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule3) OR ((((triple6 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((((triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple7 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule7) ((((triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple7 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule7) ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3))] Gary is furry.[(triple3 OR ((triple2) -> rule4) OR ((triple6 triple1) -> rule5) OR ((triple7 triple1) -> rule7) OR ((triple6 ((triple4) -> rule6)) -> rule5) OR ((triple7 ((triple4) -> rule6)) -> rule7) OR ((triple6 ((((triple5) -> rule8)) -> rule6)) -> rule5) OR ((triple7 ((((triple5) -> rule8)) -> rule6)) -> rule7) OR ((triple6 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((triple7 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule7))] Gary is kind.[(triple4 OR ((triple5) -> rule8) OR ((((triple1 triple2) -> rule1)) -> rule8) OR ((((triple6 triple7) -> rule2)) -> rule8) OR ((((triple1 ((triple3 triple1) -> rule3)) -> rule1)) -> rule8) OR ((((triple1 ((((triple6 triple1) -> rule5) triple1) -> rule3)) -> rule1)) -> rule8) OR ((((triple1 ((((triple7 triple1) -> rule7) triple1) -> rule3)) -> rule1)) -> rule8))] Gary is rough.[(triple5 OR ((triple1 triple2) -> rule1) OR ((triple6 triple7) -> rule2) OR ((triple1 ((triple3 triple1) -> rule3)) -> rule1) OR ((((triple4) -> rule6) triple2) -> rule1) OR ((((triple4) -> rule6) ((triple3 triple1) -> rule3)) -> rule1) OR ((triple1 ((triple3 ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((triple1 ((((triple6 triple1) -> rule5) triple1) -> rule3)) -> rule1) OR ((triple1 ((((triple7 triple1) -> rule7) triple1) -> rule3)) -> rule1) OR ((triple1 ((((triple6 triple1) -> rule5) ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((triple1 ((((triple7 triple1) -> rule7) ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((triple3 ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((((triple6 triple1) -> rule5) triple1) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((((triple7 triple1) -> rule7) triple1) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((((triple6 triple1) -> rule5) ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((((triple7 triple1) -> rule7) ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((triple1 ((((triple6 ((triple4) -> rule6)) -> rule5) triple1) -> rule3)) -> rule1) OR ((triple1 ((((triple7 ((triple4) -> rule6)) -> rule7) triple1) -> rule3)) -> rule1) OR ((triple1 ((((triple6 ((triple4) -> rule6)) -> rule5) ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((triple1 ((((triple7 ((triple4) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((((triple6 ((triple4) -> rule6)) -> rule5) triple1) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((((triple7 ((triple4) -> rule6)) -> rule7) triple1) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((((triple6 ((triple4) -> rule6)) -> rule5) ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((((triple7 ((triple4) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule3)) -> rule1))] Gary is white.[(triple6)] Gary is young.[(triple7)]
Gary is blue.
("Gary" "is" "blue" "+")
triple1
((triple4) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((((triple6 triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
triple2
((triple3 triple1) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple3 ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple6 triple1) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple7 triple1) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple6 triple1) -> (rule5 % int3)) ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple7 triple1) -> (rule7 % int3)) ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple3 ((((triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((triple6 ((triple4) -> (rule6 % int3))) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple7 ((triple4) -> (rule6 % int3))) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple6 triple1) -> (rule5 % int4)) ((((triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple6 ((triple4) -> (rule6 % int3))) -> (rule5 % int2)) ((triple4) -> (rule6 % int3))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple7 triple1) -> (rule7 % int4)) ((((triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple7 ((triple4) -> (rule6 % int3))) -> (rule7 % int2)) ((triple4) -> (rule6 % int3))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple6 ((triple4) -> (rule6 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule8 % int2))) -> (rule6 % int4))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple7 ((triple4) -> (rule6 % int4))) -> (rule7 % int3)) ((((triple5) -> (rule8 % int2))) -> (rule6 % int4))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((triple3 ((((((triple6 triple7) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((triple6 ((((triple5) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple7 ((((triple5) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple6 triple1) -> (rule5 % int5)) ((((((triple6 triple7) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((triple6 ((((triple5) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple4) -> (rule6 % int3))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple7 triple1) -> (rule7 % int5)) ((((((triple6 triple7) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((triple7 ((((triple5) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) ((triple4) -> (rule6 % int3))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple6 ((triple4) -> (rule6 % int5))) -> (rule5 % int4)) ((((((triple6 triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int5))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((triple6 ((((triple5) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((((triple5) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple7 ((triple4) -> (rule6 % int5))) -> (rule7 % int4)) ((((((triple6 triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int5))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((triple7 ((((triple5) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) ((((triple5) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple6 ((((triple5) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule5 % int3)) ((((((triple6 triple7) -> (rule2 % int2))) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((triple7 ((((triple5) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule7 % int3)) ((((((triple6 triple7) -> (rule2 % int2))) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((triple6 ((((((triple6 triple7) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((triple7 ((((((triple6 triple7) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((triple6 ((((((triple6 triple7) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple4) -> (rule6 % int3))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((triple7 ((((((triple6 triple7) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) ((triple4) -> (rule6 % int3))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((triple6 ((((((triple6 triple7) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((((triple5) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((triple7 ((((((triple6 triple7) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) ((((triple5) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((triple6 ((((((triple6 triple7) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((((((triple6 triple7) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((triple7 ((((((triple6 triple7) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) ((((((triple6 triple7) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
triple3
((triple2) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple6 triple1) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple7 triple1) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple6 ((triple4) -> (rule6 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((triple7 ((triple4) -> (rule6 % int2))) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((triple6 ((((triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((triple7 ((((triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((triple6 ((((((triple6 triple7) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((triple7 ((((((triple6 triple7) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
triple4
((triple5) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple1 triple2) -> (rule1 % int2))) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple6 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple1 ((triple3 triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple1 ((((triple6 triple1) -> (rule5 % int4)) triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple1 ((((triple7 triple1) -> (rule7 % int4)) triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
triple5
((triple1 triple2) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple6 triple7) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple1 ((triple3 triple1) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple4) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple4) -> (rule6 % int3)) ((triple3 triple1) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple1 ((triple3 ((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple1 ((((triple6 triple1) -> (rule5 % int3)) triple1) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple1 ((((triple7 triple1) -> (rule7 % int3)) triple1) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple1 ((((triple6 triple1) -> (rule5 % int4)) ((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((triple1 ((((triple7 triple1) -> (rule7 % int4)) ((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple4) -> (rule6 % int3)) ((triple3 ((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple4) -> (rule6 % int4)) ((((triple6 triple1) -> (rule5 % int3)) triple1) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple4) -> (rule6 % int4)) ((((triple7 triple1) -> (rule7 % int3)) triple1) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple4) -> (rule6 % int4)) ((((triple6 triple1) -> (rule5 % int3)) ((triple4) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple4) -> (rule6 % int4)) ((((triple7 triple1) -> (rule7 % int3)) ((triple4) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((triple1 ((((triple6 ((triple4) -> (rule6 % int4))) -> (rule5 % int3)) triple1) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((triple1 ((((triple7 ((triple4) -> (rule6 % int4))) -> (rule7 % int3)) triple1) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((triple1 ((((triple6 ((triple4) -> (rule6 % int4))) -> (rule5 % int3)) ((triple4) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((triple1 ((((triple7 ((triple4) -> (rule6 % int4))) -> (rule7 % int3)) ((triple4) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple4) -> (rule6 % int4)) ((((triple6 ((triple4) -> (rule6 % int4))) -> (rule5 % int3)) triple1) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple4) -> (rule6 % int4)) ((((triple7 ((triple4) -> (rule6 % int4))) -> (rule7 % int3)) triple1) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple4) -> (rule6 % int4)) ((((triple6 ((triple4) -> (rule6 % int4))) -> (rule5 % int3)) ((triple4) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple4) -> (rule6 % int4)) ((((triple7 ((triple4) -> (rule6 % int4))) -> (rule7 % int3)) ((triple4) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7