Gary is cold. Gary is green. Gary is white. Blue, green people are cold. All white people are green. All cold, green people are furry. If Gary is furry and Gary is cold then Gary is nice. If Gary is white and Gary is green then Gary is cold. Blue, white people are furry. Blue, white people are furry. If Gary is nice then Gary is blue.
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is white.
("Gary" "is" "white" "+")
Blue, green people are cold.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
All white people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
All cold, green people are furry.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If Gary is furry and Gary is cold then Gary is nice.
((("Gary" "is" "furry" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "nice" "+"))
If Gary is white and Gary is green then Gary is cold.
((("Gary" "is" "white" "+") ("Gary" "is" "green" "+")) -> ("Gary" "is" "cold" "+"))
Blue, white people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Blue, white people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If Gary is nice then Gary is blue.
((("Gary" "is" "nice" "+")) -> ("Gary" "is" "blue" "+"))
Gary is green.
True
1
proof
[(triple2 OR ((triple3) -> rule2))]
("Gary" "is" "green" "+")
triple2
((triple3) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not white.
False
1
inv-proof
[(triple3)]
("Gary" "is" "white" "-")
triple3
Gary is furry.
True
3
proof
[(((triple1 triple2) -> rule3) OR ((triple1 ((triple3) -> rule2)) -> rule3) OR ((((triple3 triple2) -> rule5) triple2) -> rule3) OR ((((triple3 triple2) -> rule5) ((triple3) -> rule2)) -> rule3) OR ((((triple3 ((triple3) -> rule2)) -> rule5) triple2) -> rule3) OR ((((triple3 ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3))]
("Gary" "is" "furry" "+")
((triple1 triple2) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple1 ((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple3 triple2) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple3 triple2) -> (rule5 % int3)) ((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple3 ((triple3) -> (rule2 % int3))) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple3 ((triple3) -> (rule2 % int3))) -> (rule5 % int2)) ((triple3) -> (rule2 % int3))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not furry.
False
3
inv-proof
[(((triple1 triple2) -> rule3) OR ((triple1 ((triple3) -> rule2)) -> rule3) OR ((((triple3 triple2) -> rule5) triple2) -> rule3) OR ((((triple3 triple2) -> rule5) ((triple3) -> rule2)) -> rule3) OR ((((triple3 ((triple3) -> rule2)) -> rule5) triple2) -> rule3) OR ((((triple3 ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3))]
("Gary" "is" "furry" "-")
((triple1 triple2) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple1 ((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple3 triple2) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple3 triple2) -> (rule5 % int3)) ((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple3 ((triple3) -> (rule2 % int3))) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple3 ((triple3) -> (rule2 % int3))) -> (rule5 % int2)) ((triple3) -> (rule2 % int3))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is nice.
True
5
proof
[(((((triple1 triple2) -> rule3) triple1) -> rule4) OR ((((triple1 triple2) -> rule3) ((triple3 triple2) -> rule5)) -> rule4) OR ((((triple1 ((triple3) -> rule2)) -> rule3) triple1) -> rule4) OR ((((((triple3 triple2) -> rule5) triple2) -> rule3) triple1) -> rule4) OR ((((triple1 triple2) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((triple1 ((triple3) -> rule2)) -> rule3) ((triple3 triple2) -> rule5)) -> rule4) OR ((((((triple3 triple2) -> rule5) triple2) -> rule3) ((triple3 triple2) -> rule5)) -> rule4) OR ((((((triple3 triple2) -> rule5) ((triple3) -> rule2)) -> rule3) triple1) -> rule4) OR ((((triple1 ((triple3) -> rule2)) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((((triple3 triple2) -> rule5) triple2) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((((triple3 triple2) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3 triple2) -> rule5)) -> rule4) OR ((((((triple3 triple2) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule5) triple2) -> rule3) triple1) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule5) triple2) -> rule3) ((triple3 triple2) -> rule5)) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) triple1) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule5) triple2) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3 triple2) -> rule5)) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4))]
("Gary" "is" "nice" "+")
((((triple1 triple2) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple1 triple2) -> (rule3 % int3)) ((triple3 triple2) -> (rule5 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple1 ((triple3) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple3 triple2) -> (rule5 % int3)) triple2) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple1 triple2) -> (rule3 % int4)) ((triple3 ((triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple1 ((triple3) -> (rule2 % int4))) -> (rule3 % int3)) ((triple3 triple2) -> (rule5 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 triple2) -> (rule5 % int3)) triple2) -> (rule3 % int2)) ((triple3 triple2) -> (rule5 % int3))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple3 triple2) -> (rule5 % int4)) ((triple3) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((triple1 ((triple3) -> (rule2 % int4))) -> (rule3 % int3)) ((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 triple2) -> (rule5 % int4)) triple2) -> (rule3 % int3)) ((triple3 ((triple3) -> (rule2 % int2))) -> (rule5 % int4))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple3 triple2) -> (rule5 % int4)) ((triple3) -> (rule2 % int3))) -> (rule3 % int2)) ((triple3 triple2) -> (rule5 % int4))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple3 triple2) -> (rule5 % int4)) ((triple3) -> (rule2 % int3))) -> (rule3 % int2)) ((triple3 ((triple3) -> (rule2 % int3))) -> (rule5 % int4))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) triple2) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) triple2) -> (rule3 % int2)) ((triple3 triple2) -> (rule5 % int3))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) ((triple3) -> (rule2 % int4))) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) triple2) -> (rule3 % int2)) ((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) ((triple3) -> (rule2 % int4))) -> (rule3 % int2)) ((triple3 triple2) -> (rule5 % int3))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) ((triple3) -> (rule2 % int4))) -> (rule3 % int2)) ((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is not nice.
False
5
inv-proof
[(((((triple1 triple2) -> rule3) triple1) -> rule4) OR ((((triple1 triple2) -> rule3) ((triple3 triple2) -> rule5)) -> rule4) OR ((((triple1 ((triple3) -> rule2)) -> rule3) triple1) -> rule4) OR ((((((triple3 triple2) -> rule5) triple2) -> rule3) triple1) -> rule4) OR ((((triple1 triple2) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((triple1 ((triple3) -> rule2)) -> rule3) ((triple3 triple2) -> rule5)) -> rule4) OR ((((((triple3 triple2) -> rule5) triple2) -> rule3) ((triple3 triple2) -> rule5)) -> rule4) OR ((((((triple3 triple2) -> rule5) ((triple3) -> rule2)) -> rule3) triple1) -> rule4) OR ((((triple1 ((triple3) -> rule2)) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((((triple3 triple2) -> rule5) triple2) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((((triple3 triple2) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3 triple2) -> rule5)) -> rule4) OR ((((((triple3 triple2) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule5) triple2) -> rule3) triple1) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule5) triple2) -> rule3) ((triple3 triple2) -> rule5)) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) triple1) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule5) triple2) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3 triple2) -> rule5)) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4))]
("Gary" "is" "nice" "-")
((((triple1 triple2) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple1 triple2) -> (rule3 % int3)) ((triple3 triple2) -> (rule5 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple1 ((triple3) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple3 triple2) -> (rule5 % int3)) triple2) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple1 triple2) -> (rule3 % int4)) ((triple3 ((triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple1 ((triple3) -> (rule2 % int4))) -> (rule3 % int3)) ((triple3 triple2) -> (rule5 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 triple2) -> (rule5 % int3)) triple2) -> (rule3 % int2)) ((triple3 triple2) -> (rule5 % int3))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple3 triple2) -> (rule5 % int4)) ((triple3) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((triple1 ((triple3) -> (rule2 % int4))) -> (rule3 % int3)) ((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 triple2) -> (rule5 % int4)) triple2) -> (rule3 % int3)) ((triple3 ((triple3) -> (rule2 % int2))) -> (rule5 % int4))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple3 triple2) -> (rule5 % int4)) ((triple3) -> (rule2 % int3))) -> (rule3 % int2)) ((triple3 triple2) -> (rule5 % int4))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple3 triple2) -> (rule5 % int4)) ((triple3) -> (rule2 % int3))) -> (rule3 % int2)) ((triple3 ((triple3) -> (rule2 % int3))) -> (rule5 % int4))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) triple2) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) triple2) -> (rule3 % int2)) ((triple3 triple2) -> (rule5 % int3))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) ((triple3) -> (rule2 % int4))) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) triple2) -> (rule3 % int2)) ((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) ((triple3) -> (rule2 % int4))) -> (rule3 % int2)) ((triple3 triple2) -> (rule5 % int3))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) ((triple3) -> (rule2 % int4))) -> (rule3 % int2)) ((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
@0: Gary is cold.[(triple1 OR ((triple3 triple2) -> rule5) OR ((triple3 ((triple3) -> rule2)) -> rule5))] Gary is green.[(triple2 OR ((triple3) -> rule2))] Gary is white.[(triple3)] @1: Gary is furry.[(((triple1 triple2) -> rule3) OR ((triple1 ((triple3) -> rule2)) -> rule3) OR ((((triple3 triple2) -> rule5) triple2) -> rule3) OR ((((triple3 triple2) -> rule5) ((triple3) -> rule2)) -> rule3) OR ((((triple3 ((triple3) -> rule2)) -> rule5) triple2) -> rule3) OR ((((triple3 ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3))] @2: Gary is nice.[(((((triple1 triple2) -> rule3) triple1) -> rule4) OR ((((triple1 triple2) -> rule3) ((triple3 triple2) -> rule5)) -> rule4) OR ((((triple1 ((triple3) -> rule2)) -> rule3) triple1) -> rule4) OR ((((((triple3 triple2) -> rule5) triple2) -> rule3) triple1) -> rule4) OR ((((triple1 triple2) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((triple1 ((triple3) -> rule2)) -> rule3) ((triple3 triple2) -> rule5)) -> rule4) OR ((((((triple3 triple2) -> rule5) triple2) -> rule3) ((triple3 triple2) -> rule5)) -> rule4) OR ((((((triple3 triple2) -> rule5) ((triple3) -> rule2)) -> rule3) triple1) -> rule4) OR ((((triple1 ((triple3) -> rule2)) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((((triple3 triple2) -> rule5) triple2) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((((triple3 triple2) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3 triple2) -> rule5)) -> rule4) OR ((((((triple3 triple2) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule5) triple2) -> rule3) triple1) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule5) triple2) -> rule3) ((triple3 triple2) -> rule5)) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) triple1) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule5) triple2) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3 triple2) -> rule5)) -> rule4) OR ((((((triple3 ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4))] @3: Gary is blue.[(((((((triple1 triple2) -> rule3) triple1) -> rule4)) -> rule8) OR ((((((triple1 triple2) -> rule3) ((triple3 triple2) -> rule5)) -> rule4)) -> rule8) OR ((((((triple1 ((triple3) -> rule2)) -> rule3) triple1) -> rule4)) -> rule8) OR ((((((((triple3 triple2) -> rule5) triple2) -> rule3) triple1) -> rule4)) -> rule8) OR ((((((triple1 triple2) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4)) -> rule8) OR ((((((triple1 ((triple3) -> rule2)) -> rule3) ((triple3 triple2) -> rule5)) -> rule4)) -> rule8) OR ((((((((triple3 triple2) -> rule5) triple2) -> rule3) ((triple3 triple2) -> rule5)) -> rule4)) -> rule8) OR ((((((((triple3 triple2) -> rule5) ((triple3) -> rule2)) -> rule3) triple1) -> rule4)) -> rule8) OR ((((((triple1 ((triple3) -> rule2)) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4)) -> rule8) OR ((((((((triple3 triple2) -> rule5) triple2) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4)) -> rule8) OR ((((((((triple3 triple2) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3 triple2) -> rule5)) -> rule4)) -> rule8) OR ((((((((triple3 triple2) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4)) -> rule8) OR ((((((((triple3 ((triple3) -> rule2)) -> rule5) triple2) -> rule3) triple1) -> rule4)) -> rule8) OR ((((((((triple3 ((triple3) -> rule2)) -> rule5) triple2) -> rule3) ((triple3 triple2) -> rule5)) -> rule4)) -> rule8) OR ((((((((triple3 ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) triple1) -> rule4)) -> rule8) OR ((((((((triple3 ((triple3) -> rule2)) -> rule5) triple2) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4)) -> rule8) OR ((((((((triple3 ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3 triple2) -> rule5)) -> rule4)) -> rule8) OR ((((((((triple3 ((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4)) -> rule8))]
Gary is cold.
("Gary" "is" "cold" "+")
triple1
((triple3 triple2) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple3 ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple2
((triple3) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
((triple1 triple2) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple1 ((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple3 triple2) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple3 triple2) -> (rule5 % int3)) ((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple3 ((triple3) -> (rule2 % int3))) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple3 ((triple3) -> (rule2 % int3))) -> (rule5 % int2)) ((triple3) -> (rule2 % int3))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((((triple1 triple2) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple1 triple2) -> (rule3 % int3)) ((triple3 triple2) -> (rule5 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple1 ((triple3) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple3 triple2) -> (rule5 % int3)) triple2) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple1 triple2) -> (rule3 % int4)) ((triple3 ((triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple1 ((triple3) -> (rule2 % int4))) -> (rule3 % int3)) ((triple3 triple2) -> (rule5 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 triple2) -> (rule5 % int3)) triple2) -> (rule3 % int2)) ((triple3 triple2) -> (rule5 % int3))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple3 triple2) -> (rule5 % int4)) ((triple3) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((triple1 ((triple3) -> (rule2 % int4))) -> (rule3 % int3)) ((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 triple2) -> (rule5 % int4)) triple2) -> (rule3 % int3)) ((triple3 ((triple3) -> (rule2 % int2))) -> (rule5 % int4))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple3 triple2) -> (rule5 % int4)) ((triple3) -> (rule2 % int3))) -> (rule3 % int2)) ((triple3 triple2) -> (rule5 % int4))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple3 triple2) -> (rule5 % int4)) ((triple3) -> (rule2 % int3))) -> (rule3 % int2)) ((triple3 ((triple3) -> (rule2 % int3))) -> (rule5 % int4))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) triple2) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) triple2) -> (rule3 % int2)) ((triple3 triple2) -> (rule5 % int3))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) ((triple3) -> (rule2 % int4))) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) triple2) -> (rule3 % int2)) ((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) ((triple3) -> (rule2 % int4))) -> (rule3 % int2)) ((triple3 triple2) -> (rule5 % int3))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3)) ((triple3) -> (rule2 % int4))) -> (rule3 % int2)) ((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
((((((triple1 triple2) -> (rule3 % int3)) triple1) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple1 triple2) -> (rule3 % int4)) ((triple3 triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple1 ((triple3) -> (rule2 % int4))) -> (rule3 % int3)) triple1) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple3 triple2) -> (rule5 % int4)) triple2) -> (rule3 % int3)) triple1) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple1 triple2) -> (rule3 % int5)) ((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple1 ((triple3) -> (rule2 % int5))) -> (rule3 % int4)) ((triple3 triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple3 triple2) -> (rule5 % int4)) triple2) -> (rule3 % int3)) ((triple3 triple2) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((((triple3 triple2) -> (rule5 % int5)) ((triple3) -> (rule2 % int4))) -> (rule3 % int3)) triple1) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((((triple1 ((triple3) -> (rule2 % int5))) -> (rule3 % int4)) ((triple3 ((triple3) -> (rule2 % int5))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple3 triple2) -> (rule5 % int5)) triple2) -> (rule3 % int4)) ((triple3 ((triple3) -> (rule2 % int3))) -> (rule5 % int5))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((((((triple3 triple2) -> (rule5 % int5)) ((triple3) -> (rule2 % int4))) -> (rule3 % int3)) ((triple3 triple2) -> (rule5 % int5))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((((((triple3 triple2) -> (rule5 % int5)) ((triple3) -> (rule2 % int4))) -> (rule3 % int3)) ((triple3 ((triple3) -> (rule2 % int4))) -> (rule5 % int5))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((((((triple3 ((triple3) -> (rule2 % int5))) -> (rule5 % int4)) triple2) -> (rule3 % int3)) triple1) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple3 ((triple3) -> (rule2 % int5))) -> (rule5 % int4)) triple2) -> (rule3 % int3)) ((triple3 triple2) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple3 ((triple3) -> (rule2 % int5))) -> (rule5 % int4)) ((triple3) -> (rule2 % int5))) -> (rule3 % int3)) triple1) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple3 ((triple3) -> (rule2 % int5))) -> (rule5 % int4)) triple2) -> (rule3 % int3)) ((triple3 ((triple3) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple3 ((triple3) -> (rule2 % int5))) -> (rule5 % int4)) ((triple3) -> (rule2 % int5))) -> (rule3 % int3)) ((triple3 triple2) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple3 ((triple3) -> (rule2 % int5))) -> (rule5 % int4)) ((triple3) -> (rule2 % int5))) -> (rule3 % int3)) ((triple3 ((triple3) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5