Gary is cold. Gary is furry. Gary is round. All round people are big. Kind people are red. If someone is furry and red then they are round. Furry people are kind. Red, big people are rough. All big, rough people are cold. If someone is red then they are big. If Gary is red and Gary is big then Gary is cold.
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is round.
("Gary" "is" "round" "+")
All round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is furry and red then they are round.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Furry people are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
Red, big people are rough.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
All big, rough people are cold.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is red then they are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If Gary is red and Gary is big then Gary is cold.
((("Gary" "is" "red" "+") ("Gary" "is" "big" "+")) -> ("Gary" "is" "cold" "+"))
Gary is round.
True
1
proof
[(triple3 OR ((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3))]
("Gary" "is" "round" "+")
triple3
((triple2 ((((triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not cold.
False
1
inv-proof
[(triple1 OR ((((((triple2) -> rule4)) -> rule2) ((triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule1) ((((((triple2) -> rule4)) -> rule2) ((triple3) -> rule1)) -> rule5)) -> rule6) OR ((((((triple2) -> rule4)) -> rule2) ((((((triple2) -> rule4)) -> rule2)) -> rule7)) -> rule8) OR ((((((((triple2) -> rule4)) -> rule2)) -> rule7) ((((((triple2) -> rule4)) -> rule2) ((triple3) -> rule1)) -> rule5)) -> rule6) OR ((((((triple2) -> rule4)) -> rule2) ((((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3)) -> rule1)) -> rule8) OR ((((triple3) -> rule1) ((((((triple2) -> rule4)) -> rule2) ((((((triple2) -> rule4)) -> rule2)) -> rule7)) -> rule5)) -> rule6) OR ((((((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3)) -> rule1) ((((((triple2) -> rule4)) -> rule2) ((triple3) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple2) -> rule4)) -> rule2)) -> rule7) ((((((triple2) -> rule4)) -> rule2) ((((((triple2) -> rule4)) -> rule2)) -> rule7)) -> rule5)) -> rule6) OR ((((((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3)) -> rule1) ((((((triple2) -> rule4)) -> rule2) ((((((triple2) -> rule4)) -> rule2)) -> rule7)) -> rule5)) -> rule6) OR ((((triple3) -> rule1) ((((((triple2) -> rule4)) -> rule2) ((((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3)) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple2) -> rule4)) -> rule2)) -> rule7) ((((((triple2) -> rule4)) -> rule2) ((((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3)) -> rule1) ((((((triple2) -> rule4)) -> rule2) ((((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3)) -> rule1)) -> rule5)) -> rule6))]
("Gary" "is" "cold" "-")
triple1
((((((triple2) -> (rule4 % int4))) -> (rule2 % int3)) ((triple3) -> (rule1 % int2))) -> (rule8 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple3) -> (rule1 % int5)) ((((((triple2) -> (rule4 % int4))) -> (rule2 % int3)) ((triple3) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((triple2) -> (rule4 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((((triple2) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((((((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple2 ((((triple2) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((triple3) -> (rule1 % int5)) ((((((triple2) -> (rule4 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((triple2 ((((triple2) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule4 % int6))) -> (rule2 % int5)) ((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is kind.
("Gary" "is" "kind" "+")
int6
((((((((triple2) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((((((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((((((triple2) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple2 ((((triple2) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule4 % int6))) -> (rule2 % int5)) ((((((triple2) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is kind.
("Gary" "is" "kind" "+")
int6
((((triple3) -> (rule1 % int6)) ((((((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple2 ((((triple2) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int6))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Gary is big.
("Gary" "is" "big" "+")
int6
((((((((triple2) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule7 % int4)) ((((((triple2) -> (rule4 % int6))) -> (rule2 % int5)) ((((triple2 ((((triple2) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is kind.
("Gary" "is" "kind" "+")
int6
((((((triple2 ((((triple2) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule4 % int6))) -> (rule2 % int5)) ((((triple2 ((((triple2) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is kind.
("Gary" "is" "kind" "+")
int6
Gary is kind.
True
2
proof
[(((triple2) -> rule4))]
("Gary" "is" "kind" "+")
((triple2) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
2
inv-proof
[(((triple2) -> rule4))]
("Gary" "is" "kind" "-")
((triple2) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
True
3
proof
[(((((triple2) -> rule4)) -> rule2))]
("Gary" "is" "red" "+")
((((triple2) -> (rule4 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not red.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule2))]
("Gary" "is" "red" "-")
((((triple2) -> (rule4 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
@0: Gary is cold.[(triple1 OR ((((((triple2) -> rule4)) -> rule2) ((triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule1) ((((((triple2) -> rule4)) -> rule2) ((triple3) -> rule1)) -> rule5)) -> rule6) OR ((((((triple2) -> rule4)) -> rule2) ((((((triple2) -> rule4)) -> rule2)) -> rule7)) -> rule8) OR ((((((((triple2) -> rule4)) -> rule2)) -> rule7) ((((((triple2) -> rule4)) -> rule2) ((triple3) -> rule1)) -> rule5)) -> rule6) OR ((((((triple2) -> rule4)) -> rule2) ((((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3)) -> rule1)) -> rule8) OR ((((triple3) -> rule1) ((((((triple2) -> rule4)) -> rule2) ((((((triple2) -> rule4)) -> rule2)) -> rule7)) -> rule5)) -> rule6) OR ((((((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3)) -> rule1) ((((((triple2) -> rule4)) -> rule2) ((triple3) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple2) -> rule4)) -> rule2)) -> rule7) ((((((triple2) -> rule4)) -> rule2) ((((((triple2) -> rule4)) -> rule2)) -> rule7)) -> rule5)) -> rule6) OR ((((((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3)) -> rule1) ((((((triple2) -> rule4)) -> rule2) ((((((triple2) -> rule4)) -> rule2)) -> rule7)) -> rule5)) -> rule6) OR ((((triple3) -> rule1) ((((((triple2) -> rule4)) -> rule2) ((((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3)) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple2) -> rule4)) -> rule2)) -> rule7) ((((((triple2) -> rule4)) -> rule2) ((((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3)) -> rule1) ((((((triple2) -> rule4)) -> rule2) ((((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3)) -> rule1)) -> rule5)) -> rule6))] Gary is furry.[(triple2)] Gary is round.[(triple3 OR ((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3))] @1: Gary is big.[(((triple3) -> rule1) OR ((((((triple2) -> rule4)) -> rule2)) -> rule7) OR ((((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3)) -> rule1))] Gary is kind.[(((triple2) -> rule4))] @2: Gary is red.[(((((triple2) -> rule4)) -> rule2))] @3: Gary is rough.[(((((((triple2) -> rule4)) -> rule2) ((triple3) -> rule1)) -> rule5) OR ((((((triple2) -> rule4)) -> rule2) ((((((triple2) -> rule4)) -> rule2)) -> rule7)) -> rule5) OR ((((((triple2) -> rule4)) -> rule2) ((((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule3)) -> rule1)) -> rule5))]
Gary is cold.
("Gary" "is" "cold" "+")
triple1
((((((triple2) -> (rule4 % int4))) -> (rule2 % int3)) ((triple3) -> (rule1 % int2))) -> (rule8 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple3) -> (rule1 % int5)) ((((((triple2) -> (rule4 % int4))) -> (rule2 % int3)) ((triple3) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((triple2) -> (rule4 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((((triple2) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((((((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple2 ((((triple2) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((triple3) -> (rule1 % int5)) ((((((triple2) -> (rule4 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((triple2 ((((triple2) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule4 % int6))) -> (rule2 % int5)) ((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is kind.
("Gary" "is" "kind" "+")
int6
((((((((triple2) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((((((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((((((triple2) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple2 ((((triple2) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule4 % int6))) -> (rule2 % int5)) ((((((triple2) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is kind.
("Gary" "is" "kind" "+")
int6
((((triple3) -> (rule1 % int6)) ((((((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple2 ((((triple2) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int6))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Gary is big.
("Gary" "is" "big" "+")
int6
((((((((triple2) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule7 % int4)) ((((((triple2) -> (rule4 % int6))) -> (rule2 % int5)) ((((triple2 ((((triple2) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule3 % int3))) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is kind.
("Gary" "is" "kind" "+")
int6
((((((triple2 ((((triple2) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule4 % int6))) -> (rule2 % int5)) ((((triple2 ((((triple2) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is kind.
("Gary" "is" "kind" "+")
int6
Gary is furry.
("Gary" "is" "furry" "+")
triple2
Gary is round.
("Gary" "is" "round" "+")
triple3
((triple2 ((((triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
((triple3) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((((triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((triple2 ((((triple2) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
((triple2) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((((triple2) -> (rule4 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple2) -> (rule4 % int4))) -> (rule2 % int3)) ((triple3) -> (rule1 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple2) -> (rule4 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple2 ((((triple2) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5