Erin is big. Erin is cold. Erin is kind. Erin is quiet. Erin is red. Erin is rough. Erin is white. Gary is cold. Gary is red. Gary is rough. If someone is big and white then they are kind. If someone is kind and cold then they are quiet. All big people are cold. If someone is kind and big then they are red. If Gary is cold then Gary is white. If someone is rough then they are big. All big people are white. All big people are kind.
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is big and white then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and cold then they are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
All big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and big then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If Gary is cold then Gary is white.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "white" "+"))
If someone is rough then they are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
All big people are white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
All big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Gary is red.
True
1
proof
[(triple9 OR ((((((triple10) -> rule6)) -> rule8) ((triple10) -> rule6)) -> rule4) OR ((((((triple10) -> rule6) ((triple8) -> rule5)) -> rule1) ((triple10) -> rule6)) -> rule4) OR ((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule7)) -> rule1) ((triple10) -> rule6)) -> rule4) OR ((((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule3)) -> rule5)) -> rule1) ((triple10) -> rule6)) -> rule4))]
("Gary" "is" "red" "+")
triple9
((((((triple10) -> (rule6 % int3))) -> (rule8 % int2)) ((triple10) -> (rule6 % int3))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple10) -> (rule6 % int4)) ((triple8) -> (rule5 % int3))) -> (rule1 % int2)) ((triple10) -> (rule6 % int4))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule6 % int4)) ((((triple10) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple10) -> (rule6 % int4))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((triple10) -> (rule6 % int5))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is not red.
False
1
inv-proof
[(triple9 OR ((((((triple10) -> rule6)) -> rule8) ((triple10) -> rule6)) -> rule4) OR ((((((triple10) -> rule6) ((triple8) -> rule5)) -> rule1) ((triple10) -> rule6)) -> rule4) OR ((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule7)) -> rule1) ((triple10) -> rule6)) -> rule4) OR ((((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule3)) -> rule5)) -> rule1) ((triple10) -> rule6)) -> rule4))]
("Gary" "is" "red" "-")
triple9
((((((triple10) -> (rule6 % int3))) -> (rule8 % int2)) ((triple10) -> (rule6 % int3))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple10) -> (rule6 % int4)) ((triple8) -> (rule5 % int3))) -> (rule1 % int2)) ((triple10) -> (rule6 % int4))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule6 % int4)) ((((triple10) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple10) -> (rule6 % int4))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((triple10) -> (rule6 % int5))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is white.
True
2
proof
[(((triple8) -> rule5) OR ((((triple10) -> rule6)) -> rule7) OR ((((((triple10) -> rule6)) -> rule3)) -> rule5))]
("Gary" "is" "white" "+")
((triple8) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple10) -> (rule6 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((((triple10) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not big.
False
2
inv-proof
[(((triple10) -> rule6))]
("Gary" "is" "big" "-")
((triple10) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
True
3
proof
[(((((triple10) -> rule6)) -> rule8) OR ((((triple10) -> rule6) ((triple8) -> rule5)) -> rule1) OR ((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule7)) -> rule1) OR ((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule3)) -> rule5)) -> rule1))]
("Gary" "is" "kind" "+")
((((triple10) -> (rule6 % int2))) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple10) -> (rule6 % int3)) ((triple8) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple10) -> (rule6 % int3)) ((((triple10) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple10) -> (rule6 % int4)) ((((((triple10) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is not kind.
False
3
inv-proof
[(((((triple10) -> rule6)) -> rule8) OR ((((triple10) -> rule6) ((triple8) -> rule5)) -> rule1) OR ((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule7)) -> rule1) OR ((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule3)) -> rule5)) -> rule1))]
("Gary" "is" "kind" "-")
((((triple10) -> (rule6 % int2))) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple10) -> (rule6 % int3)) ((triple8) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple10) -> (rule6 % int3)) ((((triple10) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple10) -> (rule6 % int4)) ((((((triple10) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is quiet.
True
5
proof
[(((((((triple10) -> rule6)) -> rule8) triple8) -> rule2) OR ((((((triple10) -> rule6) ((triple8) -> rule5)) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule6)) -> rule8) ((((triple10) -> rule6)) -> rule3)) -> rule2) OR ((((((triple10) -> rule6) ((triple8) -> rule5)) -> rule1) ((((triple10) -> rule6)) -> rule3)) -> rule2) OR ((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule7)) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule7)) -> rule1) ((((triple10) -> rule6)) -> rule3)) -> rule2) OR ((((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule3)) -> rule5)) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule3)) -> rule5)) -> rule1) ((((triple10) -> rule6)) -> rule3)) -> rule2))]
("Gary" "is" "quiet" "+")
((((((triple10) -> (rule6 % int3))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple10) -> (rule6 % int4)) ((triple8) -> (rule5 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple10) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule6 % int5)) ((triple8) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple10) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((triple10) -> (rule6 % int4)) ((((triple10) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule6 % int5)) ((((triple10) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple10) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((triple10) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((triple10) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is not quiet.
False
5
inv-proof
[(((((((triple10) -> rule6)) -> rule8) triple8) -> rule2) OR ((((((triple10) -> rule6) ((triple8) -> rule5)) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule6)) -> rule8) ((((triple10) -> rule6)) -> rule3)) -> rule2) OR ((((((triple10) -> rule6) ((triple8) -> rule5)) -> rule1) ((((triple10) -> rule6)) -> rule3)) -> rule2) OR ((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule7)) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule7)) -> rule1) ((((triple10) -> rule6)) -> rule3)) -> rule2) OR ((((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule3)) -> rule5)) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule3)) -> rule5)) -> rule1) ((((triple10) -> rule6)) -> rule3)) -> rule2))]
("Gary" "is" "quiet" "-")
((((((triple10) -> (rule6 % int3))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple10) -> (rule6 % int4)) ((triple8) -> (rule5 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple10) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule6 % int5)) ((triple8) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple10) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((triple10) -> (rule6 % int4)) ((((triple10) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule6 % int5)) ((((triple10) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple10) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((triple10) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((triple10) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
@0: Erin is big.[(triple1 OR ((triple6) -> rule6))] Erin is cold.[(triple2 OR ((triple1) -> rule3) OR ((((triple6) -> rule6)) -> rule3))] Erin is kind.[(triple3 OR ((triple1) -> rule8) OR ((triple1 triple7) -> rule1) OR ((((triple6) -> rule6)) -> rule8) OR ((triple1 ((triple1) -> rule7)) -> rule1) OR ((((triple6) -> rule6) triple7) -> rule1) OR ((((triple6) -> rule6) ((triple1) -> rule7)) -> rule1) OR ((triple1 ((((triple6) -> rule6)) -> rule7)) -> rule1) OR ((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule1))] Erin is quiet.[(triple4 OR ((triple3 triple2) -> rule2) OR ((triple3 ((triple1) -> rule3)) -> rule2) OR ((((triple1) -> rule8) triple2) -> rule2) OR ((((triple1 triple7) -> rule1) triple2) -> rule2) OR ((((triple1) -> rule8) ((triple1) -> rule3)) -> rule2) OR ((((triple1 triple7) -> rule1) ((triple1) -> rule3)) -> rule2) OR ((triple3 ((((triple6) -> rule6)) -> rule3)) -> rule2) OR ((((((triple6) -> rule6)) -> rule8) triple2) -> rule2) OR ((((triple1 ((triple1) -> rule7)) -> rule1) triple2) -> rule2) OR ((((((triple6) -> rule6) triple7) -> rule1) triple2) -> rule2) OR ((((triple1) -> rule8) ((((triple6) -> rule6)) -> rule3)) -> rule2) OR ((((((triple6) -> rule6)) -> rule8) ((triple1) -> rule3)) -> rule2) OR ((((triple1 triple7) -> rule1) ((((triple6) -> rule6)) -> rule3)) -> rule2) OR ((((triple1 ((triple1) -> rule7)) -> rule1) ((triple1) -> rule3)) -> rule2) OR ((((((triple6) -> rule6) triple7) -> rule1) ((triple1) -> rule3)) -> rule2) OR ((((((triple6) -> rule6) ((triple1) -> rule7)) -> rule1) triple2) -> rule2) OR ((((((triple6) -> rule6)) -> rule8) ((((triple6) -> rule6)) -> rule3)) -> rule2) OR ((((triple1 ((triple1) -> rule7)) -> rule1) ((((triple6) -> rule6)) -> rule3)) -> rule2) OR ((((((triple6) -> rule6) triple7) -> rule1) ((((triple6) -> rule6)) -> rule3)) -> rule2) OR ((((((triple6) -> rule6) ((triple1) -> rule7)) -> rule1) ((triple1) -> rule3)) -> rule2) OR ((((((triple6) -> rule6) ((triple1) -> rule7)) -> rule1) ((((triple6) -> rule6)) -> rule3)) -> rule2) OR ((((triple1 ((((triple6) -> rule6)) -> rule7)) -> rule1) triple2) -> rule2) OR ((((triple1 ((((triple6) -> rule6)) -> rule7)) -> rule1) ((triple1) -> rule3)) -> rule2) OR ((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule1) triple2) -> rule2) OR ((((triple1 ((((triple6) -> rule6)) -> rule7)) -> rule1) ((((triple6) -> rule6)) -> rule3)) -> rule2) OR ((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule1) ((triple1) -> rule3)) -> rule2) OR ((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule1) ((((triple6) -> rule6)) -> rule3)) -> rule2))] Erin is red.[(triple5 OR ((triple3 triple1) -> rule4) OR ((triple3 ((triple6) -> rule6)) -> rule4) OR ((((triple1) -> rule8) triple1) -> rule4) OR ((((triple1 triple7) -> rule1) triple1) -> rule4) OR ((((triple1) -> rule8) ((triple6) -> rule6)) -> rule4) OR ((((triple1 triple7) -> rule1) ((triple6) -> rule6)) -> rule4) OR ((((((triple6) -> rule6)) -> rule8) triple1) -> rule4) OR ((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule4) OR ((((((triple6) -> rule6) triple7) -> rule1) triple1) -> rule4) OR ((((((triple6) -> rule6)) -> rule8) ((triple6) -> rule6)) -> rule4) OR ((((triple1 ((triple1) -> rule7)) -> rule1) ((triple6) -> rule6)) -> rule4) OR ((((((triple6) -> rule6) triple7) -> rule1) ((triple6) -> rule6)) -> rule4) OR ((((((triple6) -> rule6) ((triple1) -> rule7)) -> rule1) triple1) -> rule4) OR ((((((triple6) -> rule6) ((triple1) -> rule7)) -> rule1) ((triple6) -> rule6)) -> rule4) OR ((((triple1 ((((triple6) -> rule6)) -> rule7)) -> rule1) triple1) -> rule4) OR ((((triple1 ((((triple6) -> rule6)) -> rule7)) -> rule1) ((triple6) -> rule6)) -> rule4) OR ((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule1) triple1) -> rule4) OR ((((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule7)) -> rule1) ((triple6) -> rule6)) -> rule4))] Erin is rough.[(triple6)] Erin is white.[(triple7 OR ((triple1) -> rule7) OR ((((triple6) -> rule6)) -> rule7))] Gary is cold.[(triple8 OR ((((triple10) -> rule6)) -> rule3))] Gary is red.[(triple9 OR ((((((triple10) -> rule6)) -> rule8) ((triple10) -> rule6)) -> rule4) OR ((((((triple10) -> rule6) ((triple8) -> rule5)) -> rule1) ((triple10) -> rule6)) -> rule4) OR ((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule7)) -> rule1) ((triple10) -> rule6)) -> rule4) OR ((((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule3)) -> rule5)) -> rule1) ((triple10) -> rule6)) -> rule4))] Gary is rough.[(triple10)] @1: Gary is big.[(((triple10) -> rule6))] Gary is white.[(((triple8) -> rule5) OR ((((triple10) -> rule6)) -> rule7) OR ((((((triple10) -> rule6)) -> rule3)) -> rule5))] @2: Gary is kind.[(((((triple10) -> rule6)) -> rule8) OR ((((triple10) -> rule6) ((triple8) -> rule5)) -> rule1) OR ((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule7)) -> rule1) OR ((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule3)) -> rule5)) -> rule1))] @3: Gary is quiet.[(((((((triple10) -> rule6)) -> rule8) triple8) -> rule2) OR ((((((triple10) -> rule6) ((triple8) -> rule5)) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule6)) -> rule8) ((((triple10) -> rule6)) -> rule3)) -> rule2) OR ((((((triple10) -> rule6) ((triple8) -> rule5)) -> rule1) ((((triple10) -> rule6)) -> rule3)) -> rule2) OR ((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule7)) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule7)) -> rule1) ((((triple10) -> rule6)) -> rule3)) -> rule2) OR ((((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule3)) -> rule5)) -> rule1) triple8) -> rule2) OR ((((((triple10) -> rule6) ((((((triple10) -> rule6)) -> rule3)) -> rule5)) -> rule1) ((((triple10) -> rule6)) -> rule3)) -> rule2))]
Erin is big.
("Erin" "is" "big" "+")
triple1
((triple6) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
((triple1) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
((triple1) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple1 triple7) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((triple1 ((triple1) -> (rule7 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple6) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple6) -> (rule6 % int3)) ((triple1) -> (rule7 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((triple1 ((((triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple6) -> (rule6 % int3)) ((((triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
((triple3 triple2) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple3 ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple1) -> (rule8 % int2)) triple2) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple1 triple7) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple1) -> (rule8 % int3)) ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple1 triple7) -> (rule1 % int3)) ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((triple3 ((((triple6) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple6) -> (rule6 % int3))) -> (rule8 % int2)) triple2) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple1 ((triple1) -> (rule7 % int3))) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple6) -> (rule6 % int3)) triple7) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple1) -> (rule8 % int4)) ((((triple6) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple6) -> (rule6 % int4))) -> (rule8 % int3)) ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple1 triple7) -> (rule1 % int4)) ((((triple6) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple6) -> (rule6 % int4)) triple7) -> (rule1 % int3)) ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple6) -> (rule6 % int4)) ((triple1) -> (rule7 % int3))) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple6) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple6) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple6) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple6) -> (rule6 % int4)) triple7) -> (rule1 % int3)) ((((triple6) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple6) -> (rule6 % int5)) ((triple1) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple6) -> (rule6 % int5)) ((triple1) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple6) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((triple1 ((((triple6) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple1 ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple6) -> (rule6 % int4)) ((((triple6) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple1 ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple6) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple6) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple6) -> (rule6 % int5)) ((((triple6) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple6) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is red.
("Erin" "is" "red" "+")
triple5
((triple3 triple1) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple3 ((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple1) -> (rule8 % int2)) triple1) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple1 triple7) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple1) -> (rule8 % int3)) ((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple1 triple7) -> (rule1 % int3)) ((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple6) -> (rule6 % int3))) -> (rule8 % int2)) triple1) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple1 ((triple1) -> (rule7 % int3))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple6) -> (rule6 % int3)) triple7) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple6) -> (rule6 % int3))) -> (rule8 % int2)) ((triple6) -> (rule6 % int3))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3)) ((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple6) -> (rule6 % int3)) triple7) -> (rule1 % int2)) ((triple6) -> (rule6 % int3))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple6) -> (rule6 % int4)) ((triple1) -> (rule7 % int3))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple6) -> (rule6 % int4)) ((triple1) -> (rule7 % int3))) -> (rule1 % int2)) ((triple6) -> (rule6 % int4))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple1 ((((triple6) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple1 ((((triple6) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple6) -> (rule6 % int4))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple6) -> (rule6 % int4)) ((((triple6) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple6) -> (rule6 % int4)) ((((triple6) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple6) -> (rule6 % int4))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
((triple1) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
triple8
((((triple10) -> (rule6 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
triple9
((((((triple10) -> (rule6 % int3))) -> (rule8 % int2)) ((triple10) -> (rule6 % int3))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple10) -> (rule6 % int4)) ((triple8) -> (rule5 % int3))) -> (rule1 % int2)) ((triple10) -> (rule6 % int4))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule6 % int4)) ((((triple10) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple10) -> (rule6 % int4))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((triple10) -> (rule6 % int5))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is big.
("Gary" "is" "big" "+")
((triple10) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple8) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple10) -> (rule6 % int2))) -> (rule7 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((((triple10) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
((((triple10) -> (rule6 % int2))) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple10) -> (rule6 % int3)) ((triple8) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple10) -> (rule6 % int3)) ((((triple10) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple10) -> (rule6 % int4)) ((((((triple10) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
((((((triple10) -> (rule6 % int3))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple10) -> (rule6 % int4)) ((triple8) -> (rule5 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple10) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule6 % int5)) ((triple8) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple10) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((triple10) -> (rule6 % int4)) ((((triple10) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule6 % int5)) ((((triple10) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple10) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((triple10) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((triple10) -> (rule6 % int5)) ((((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5