Charlie is furry. Charlie is nice. Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is rough. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is nice. Gary is rough. Red things are nice. If Erin is rough and Erin is green then Erin is cold. If something is nice then it is red. All red things are green. All cold, rough things are green. All blue, nice things are furry. If something is green then it is nice. All red, green things are blue.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If Erin is rough and Erin is green then Erin is cold.
((("Erin" "is" "rough" "+") ("Erin" "is" "green" "+")) -> ("Erin" "is" "cold" "+"))
If something is nice then it is red.
((("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
All red things are green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
All cold, rough things are green.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
All blue, nice things are furry.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
If something is green then it is nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
All red, green things are blue.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Charlie is furry.
True
1
proof
[(triple1 OR ((((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule4)) -> rule8) triple2) -> rule6))]
("Charlie" "is" "furry" "+")
triple1
((((((triple2) -> (rule3 % int4)) ((((triple2) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) triple2) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Erin is not blue.
False
1
inv-proof
[(triple3 OR ((triple8 triple6) -> rule8) OR ((triple8 ((triple8) -> rule4)) -> rule8) OR ((triple8 ((triple4 triple9) -> rule5)) -> rule8) OR ((((triple7) -> rule3) triple6) -> rule8) OR ((((triple7) -> rule3) ((triple8) -> rule4)) -> rule8) OR ((((triple7) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) OR ((triple8 ((((triple7) -> rule3)) -> rule4)) -> rule8) OR ((((((triple6) -> rule7)) -> rule3) triple6) -> rule8) OR ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) OR ((((((triple6) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) OR ((((((triple6) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) OR ((((((triple6) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) OR ((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) triple6) -> rule8) OR ((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) OR ((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) OR ((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8))]
("Erin" "is" "blue" "-")
triple3
((triple8 triple6) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple8 ((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple8 ((triple4 triple9) -> (rule5 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple7) -> (rule3 % int2)) triple6) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple7) -> (rule3 % int3)) ((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple7) -> (rule3 % int3)) ((triple4 triple9) -> (rule5 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((triple8 ((((triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple6) -> (rule7 % int3))) -> (rule3 % int2)) triple6) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple6) -> (rule7 % int4))) -> (rule3 % int3)) ((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple6) -> (rule7 % int4))) -> (rule3 % int3)) ((triple4 triple9) -> (rule5 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple6) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple4 triple9) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple6) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple4 triple9) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple8) -> (rule4 % int4))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple4 triple9) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple4 triple9) -> (rule5 % int4))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple4 triple9) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((((triple7) -> (rule3 % int2))) -> (rule4 % int4))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Gary is red.
True
2
proof
[(((triple14) -> rule3) OR ((((triple13) -> rule7)) -> rule3) OR ((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3))]
("Gary" "is" "red" "+")
((triple14) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple13) -> (rule7 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple11 triple15) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Charlie is not red.
False
2
inv-proof
[(((triple2) -> rule3))]
("Charlie" "is" "red" "-")
((triple2) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
True
3
proof
[(((((triple2) -> rule3)) -> rule4))]
("Charlie" "is" "green" "+")
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not green.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule4))]
("Charlie" "is" "green" "-")
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
True
6
proof
[(((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule4)) -> rule8))]
("Charlie" "is" "blue" "+")
((((triple2) -> (rule3 % int3)) ((((triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not blue.
False
6
inv-proof
[(((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule4)) -> rule8))]
("Charlie" "is" "blue" "-")
((((triple2) -> (rule3 % int3)) ((((triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Charlie is furry.[(triple1 OR ((((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule4)) -> rule8) triple2) -> rule6))] Charlie is nice.[(triple2)] Erin is blue.[(triple3 OR ((triple8 triple6) -> rule8) OR ((triple8 ((triple8) -> rule4)) -> rule8) OR ((triple8 ((triple4 triple9) -> rule5)) -> rule8) OR ((((triple7) -> rule3) triple6) -> rule8) OR ((((triple7) -> rule3) ((triple8) -> rule4)) -> rule8) OR ((((triple7) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) OR ((triple8 ((((triple7) -> rule3)) -> rule4)) -> rule8) OR ((((((triple6) -> rule7)) -> rule3) triple6) -> rule8) OR ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) OR ((((((triple6) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) OR ((((((triple6) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) OR ((((((triple6) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) OR ((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) triple6) -> rule8) OR ((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) OR ((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) OR ((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8))] Erin is cold.[(triple4 OR ((triple9 triple6) -> rule2) OR ((triple9 ((triple8) -> rule4)) -> rule2) OR ((triple9 ((((triple7) -> rule3)) -> rule4)) -> rule2))] Erin is furry.[(triple5 OR ((triple3 triple7) -> rule6) OR ((triple3 ((triple6) -> rule7)) -> rule6) OR ((triple3 ((triple8) -> rule1)) -> rule6) OR ((((triple8 triple6) -> rule8) triple7) -> rule6) OR ((((triple8 triple6) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((triple8 triple6) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((triple3 ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((triple3 ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((triple8 ((triple8) -> rule4)) -> rule8) triple7) -> rule6) OR ((((triple8 ((triple4 triple9) -> rule5)) -> rule8) triple7) -> rule6) OR ((((((triple7) -> rule3) triple6) -> rule8) triple7) -> rule6) OR ((((triple8 triple6) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((triple8 triple6) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((triple8 ((triple8) -> rule4)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((triple8 ((triple8) -> rule4)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((triple8 ((triple4 triple9) -> rule5)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((triple8 ((triple4 triple9) -> rule5)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((triple7) -> rule3) triple6) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) triple6) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((triple7) -> rule3) ((triple8) -> rule4)) -> rule8) triple7) -> rule6) OR ((((((triple7) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) triple7) -> rule6) OR ((((triple8 ((triple8) -> rule4)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((triple8 ((triple8) -> rule4)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((triple8 ((triple4 triple9) -> rule5)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((triple8 ((triple4 triple9) -> rule5)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) triple6) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) triple6) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((triple8) -> rule4)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((triple8) -> rule4)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((triple7) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((triple7) -> rule3) ((triple8) -> rule4)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((triple8) -> rule4)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((triple8 ((((triple7) -> rule3)) -> rule4)) -> rule8) triple7) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) triple6) -> rule8) triple7) -> rule6) OR ((((triple8 ((((triple7) -> rule3)) -> rule4)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((triple8 ((((triple7) -> rule3)) -> rule4)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) triple7) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) triple6) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) triple6) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) triple7) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) triple7) -> rule6) OR ((((triple8 ((((triple7) -> rule3)) -> rule4)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((triple8 ((((triple7) -> rule3)) -> rule4)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) triple6) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) triple6) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) triple7) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) triple6) -> rule8) triple7) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) triple6) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) triple6) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) triple7) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) triple7) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) triple6) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) triple6) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) triple7) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple8) -> rule4)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((triple6) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((triple4 triple9) -> rule5)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((((triple8) -> rule4)) -> rule7)) -> rule6) OR ((((((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3) ((((triple7) -> rule3)) -> rule4)) -> rule8) ((((triple4 triple9) -> rule5)) -> rule7)) -> rule6))] Erin is green.[(triple6 OR ((triple8) -> rule4) OR ((triple4 triple9) -> rule5) OR ((((triple7) -> rule3)) -> rule4))] Erin is nice.[(triple7 OR ((triple6) -> rule7) OR ((triple8) -> rule1) OR ((((triple8) -> rule4)) -> rule7) OR ((((triple4 triple9) -> rule5)) -> rule7))] Erin is red.[(triple8 OR ((triple7) -> rule3) OR ((((triple6) -> rule7)) -> rule3) OR ((((((triple4 triple9) -> rule5)) -> rule7)) -> rule3))] Erin is rough.[(triple9)] Gary is blue.[(triple10 OR ((((triple14) -> rule3) triple13) -> rule8) OR ((((triple14) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) OR ((((((triple13) -> rule7)) -> rule3) triple13) -> rule8) OR ((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) OR ((((((triple13) -> rule7)) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) OR ((((((triple13) -> rule7)) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) OR ((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) triple13) -> rule8) OR ((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) OR ((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8))] Gary is cold.[(triple11)] Gary is furry.[(triple12 OR ((triple10 triple14) -> rule6) OR ((triple10 ((triple13) -> rule7)) -> rule6) OR ((triple10 ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) triple13) -> rule8) triple14) -> rule6) OR ((((((triple14) -> rule3) triple13) -> rule8) ((triple13) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) triple14) -> rule6) OR ((((((triple14) -> rule3) triple13) -> rule8) ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) ((triple13) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple13) -> rule7)) -> rule3) triple13) -> rule8) triple14) -> rule6) OR ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) triple14) -> rule6) OR ((((((((triple13) -> rule7)) -> rule3) triple13) -> rule8) ((triple13) -> rule7)) -> rule6) OR ((((((((triple13) -> rule7)) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) triple14) -> rule6) OR ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) ((triple13) -> rule7)) -> rule6) OR ((((((((triple13) -> rule7)) -> rule3) triple13) -> rule8) ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple13) -> rule7)) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) triple14) -> rule6) OR ((((((((triple13) -> rule7)) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) ((triple13) -> rule7)) -> rule6) OR ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple13) -> rule7)) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) ((triple13) -> rule7)) -> rule6) OR ((((((((triple13) -> rule7)) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6) OR ((((((((triple13) -> rule7)) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6) OR ((((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) triple13) -> rule8) triple14) -> rule6) OR ((((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) triple13) -> rule8) ((triple13) -> rule7)) -> rule6) OR ((((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) triple14) -> rule6) OR ((((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) triple13) -> rule8) ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6) OR ((((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) triple14) -> rule6) OR ((((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) ((triple13) -> rule7)) -> rule6) OR ((((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) ((triple13) -> rule7)) -> rule6) OR ((((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) ((triple11 triple15) -> rule5)) -> rule8) ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6) OR ((((((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3) ((((triple14) -> rule3)) -> rule4)) -> rule8) ((((triple11 triple15) -> rule5)) -> rule7)) -> rule6))] Gary is green.[(triple13 OR ((triple11 triple15) -> rule5) OR ((((triple14) -> rule3)) -> rule4))] Gary is nice.[(triple14 OR ((triple13) -> rule7) OR ((((triple11 triple15) -> rule5)) -> rule7))] Gary is rough.[(triple15)] @1: Charlie is red.[(((triple2) -> rule3))] Gary is red.[(((triple14) -> rule3) OR ((((triple13) -> rule7)) -> rule3) OR ((((((triple11 triple15) -> rule5)) -> rule7)) -> rule3))] @2: Charlie is green.[(((((triple2) -> rule3)) -> rule4))] @3: Charlie is blue.[(((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule4)) -> rule8))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
((((((triple2) -> (rule3 % int4)) ((((triple2) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) triple2) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
((triple8 triple6) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple8 ((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple8 ((triple4 triple9) -> (rule5 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple7) -> (rule3 % int2)) triple6) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple7) -> (rule3 % int3)) ((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple7) -> (rule3 % int3)) ((triple4 triple9) -> (rule5 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((triple8 ((((triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple6) -> (rule7 % int3))) -> (rule3 % int2)) triple6) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple6) -> (rule7 % int4))) -> (rule3 % int3)) ((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple6) -> (rule7 % int4))) -> (rule3 % int3)) ((triple4 triple9) -> (rule5 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple6) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple4 triple9) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple6) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple4 triple9) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple8) -> (rule4 % int4))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple4 triple9) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple4 triple9) -> (rule5 % int4))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple4 triple9) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((((triple7) -> (rule3 % int2))) -> (rule4 % int4))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
triple4
((triple9 triple6) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple9 ((triple8) -> (rule4 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple9 ((((triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
triple5
((triple3 triple7) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple3 ((triple6) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((triple3 ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple8 triple6) -> (rule8 % int2)) triple7) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple8 triple6) -> (rule8 % int3)) ((triple6) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple8 triple6) -> (rule8 % int3)) ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((triple3 ((((triple8) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((triple3 ((((triple4 triple9) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple8 ((triple8) -> (rule4 % int3))) -> (rule8 % int2)) triple7) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple8 ((triple4 triple9) -> (rule5 % int3))) -> (rule8 % int2)) triple7) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple7) -> (rule3 % int3)) triple6) -> (rule8 % int2)) triple7) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple8 triple6) -> (rule8 % int4)) ((((triple8) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple8 triple6) -> (rule8 % int4)) ((((triple4 triple9) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple8 ((triple8) -> (rule4 % int4))) -> (rule8 % int3)) ((triple6) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple8 ((triple8) -> (rule4 % int4))) -> (rule8 % int3)) ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple8 ((triple4 triple9) -> (rule5 % int4))) -> (rule8 % int3)) ((triple6) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple8 ((triple4 triple9) -> (rule5 % int4))) -> (rule8 % int3)) ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple7) -> (rule3 % int4)) triple6) -> (rule8 % int3)) ((triple6) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple7) -> (rule3 % int4)) triple6) -> (rule8 % int3)) ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple7) -> (rule3 % int4)) ((triple8) -> (rule4 % int3))) -> (rule8 % int2)) triple7) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple7) -> (rule3 % int4)) ((triple4 triple9) -> (rule5 % int3))) -> (rule8 % int2)) triple7) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple8 ((triple8) -> (rule4 % int4))) -> (rule8 % int3)) ((((triple8) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple8 ((triple8) -> (rule4 % int4))) -> (rule8 % int3)) ((((triple4 triple9) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple8 ((triple4 triple9) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple8) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple8 ((triple4 triple9) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple4 triple9) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple7) -> (rule3 % int5)) triple6) -> (rule8 % int4)) ((((triple8) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple7) -> (rule3 % int5)) triple6) -> (rule8 % int4)) ((((triple4 triple9) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple8) -> (rule4 % int4))) -> (rule8 % int3)) ((triple6) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple8) -> (rule4 % int4))) -> (rule8 % int3)) ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple4 triple9) -> (rule5 % int4))) -> (rule8 % int3)) ((triple6) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple4 triple9) -> (rule5 % int4))) -> (rule8 % int3)) ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple8) -> (rule4 % int4))) -> (rule8 % int3)) ((((triple8) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple8) -> (rule4 % int4))) -> (rule8 % int3)) ((((triple4 triple9) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple4 triple9) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple8) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple4 triple9) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple4 triple9) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple8 ((((triple7) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) triple7) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple6) -> (rule7 % int4))) -> (rule3 % int3)) triple6) -> (rule8 % int2)) triple7) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple8 ((((triple7) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule8 % int3)) ((triple6) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple8 ((((triple7) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule8 % int3)) ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) triple7) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((((triple6) -> (rule7 % int4))) -> (rule3 % int3)) triple6) -> (rule8 % int2)) ((triple6) -> (rule7 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple6) -> (rule7 % int4))) -> (rule3 % int3)) triple6) -> (rule8 % int2)) ((triple8) -> (rule1 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((((triple6) -> (rule7 % int5))) -> (rule3 % int4)) ((triple8) -> (rule4 % int3))) -> (rule8 % int2)) triple7) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple6) -> (rule7 % int5))) -> (rule3 % int4)) ((triple4 triple9) -> (rule5 % int3))) -> (rule8 % int2)) triple7) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((triple8 ((((triple7) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule8 % int3)) ((((triple8) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((triple8 ((((triple7) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule8 % int3)) ((((triple4 triple9) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule8 % int3)) ((triple6) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule8 % int3)) ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple6) -> (rule7 % int5))) -> (rule3 % int4)) triple6) -> (rule8 % int3)) ((((triple8) -> (rule4 % int2))) -> (rule7 % int5))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple6) -> (rule7 % int5))) -> (rule3 % int4)) triple6) -> (rule8 % int3)) ((((triple4 triple9) -> (rule5 % int2))) -> (rule7 % int5))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple6) -> (rule7 % int5))) -> (rule3 % int4)) ((triple8) -> (rule4 % int3))) -> (rule8 % int2)) ((triple6) -> (rule7 % int5))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple6) -> (rule7 % int5))) -> (rule3 % int4)) ((triple8) -> (rule4 % int3))) -> (rule8 % int2)) ((triple8) -> (rule1 % int5))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple6) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) triple7) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple6) -> (rule7 % int5))) -> (rule3 % int4)) ((triple4 triple9) -> (rule5 % int3))) -> (rule8 % int2)) ((triple6) -> (rule7 % int5))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple6) -> (rule7 % int5))) -> (rule3 % int4)) ((triple4 triple9) -> (rule5 % int3))) -> (rule8 % int2)) ((triple8) -> (rule1 % int5))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule8 % int3)) ((((triple8) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule8 % int3)) ((((triple4 triple9) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((((triple6) -> (rule7 % int5))) -> (rule3 % int4)) ((triple8) -> (rule4 % int3))) -> (rule8 % int2)) ((((triple8) -> (rule4 % int3))) -> (rule7 % int5))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple6) -> (rule7 % int5))) -> (rule3 % int4)) ((triple8) -> (rule4 % int3))) -> (rule8 % int2)) ((((triple4 triple9) -> (rule5 % int3))) -> (rule7 % int5))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple6) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) ((triple6) -> (rule7 % int5))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple6) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) ((triple8) -> (rule1 % int5))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple6) -> (rule7 % int5))) -> (rule3 % int4)) ((triple4 triple9) -> (rule5 % int3))) -> (rule8 % int2)) ((((triple8) -> (rule4 % int3))) -> (rule7 % int5))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple6) -> (rule7 % int5))) -> (rule3 % int4)) ((triple4 triple9) -> (rule5 % int3))) -> (rule8 % int2)) ((((triple4 triple9) -> (rule5 % int3))) -> (rule7 % int5))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple6) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) ((((triple8) -> (rule4 % int3))) -> (rule7 % int5))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple6) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) ((((triple4 triple9) -> (rule5 % int3))) -> (rule7 % int5))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) triple6) -> (rule8 % int2)) triple7) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) triple6) -> (rule8 % int2)) ((triple6) -> (rule7 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) triple6) -> (rule8 % int2)) ((triple8) -> (rule1 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple8) -> (rule4 % int5))) -> (rule8 % int2)) triple7) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple4 triple9) -> (rule5 % int5))) -> (rule8 % int2)) triple7) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) triple6) -> (rule8 % int2)) ((((triple8) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) triple6) -> (rule8 % int2)) ((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple8) -> (rule4 % int5))) -> (rule8 % int2)) ((triple6) -> (rule7 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple8) -> (rule4 % int5))) -> (rule8 % int2)) ((triple8) -> (rule1 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule4 % int5))) -> (rule8 % int2)) triple7) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple4 triple9) -> (rule5 % int5))) -> (rule8 % int2)) ((triple6) -> (rule7 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple4 triple9) -> (rule5 % int5))) -> (rule8 % int2)) ((triple8) -> (rule1 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple8) -> (rule4 % int5))) -> (rule8 % int2)) ((((triple8) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple8) -> (rule4 % int5))) -> (rule8 % int2)) ((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule4 % int5))) -> (rule8 % int2)) ((triple6) -> (rule7 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule4 % int5))) -> (rule8 % int2)) ((triple8) -> (rule1 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple4 triple9) -> (rule5 % int5))) -> (rule8 % int2)) ((((triple8) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple4 triple9) -> (rule5 % int5))) -> (rule8 % int2)) ((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule4 % int5))) -> (rule8 % int2)) ((((triple8) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule4 % int5))) -> (rule8 % int2)) ((((triple4 triple9) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
triple6
((triple8) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple4 triple9) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
triple7
((triple6) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple8) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple4 triple9) -> (rule5 % int2))) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple8
((triple7) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple6) -> (rule7 % int2))) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((((triple4 triple9) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10
((((triple14) -> (rule3 % int2)) triple13) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple14) -> (rule3 % int3)) ((triple11 triple15) -> (rule5 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple13) -> (rule7 % int3))) -> (rule3 % int2)) triple13) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple14) -> (rule3 % int3)) ((((triple14) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple13) -> (rule7 % int4))) -> (rule3 % int3)) ((triple11 triple15) -> (rule5 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple13) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple14) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((((triple11 triple15) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple13) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple11 triple15) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((triple11 triple15) -> (rule5 % int4))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple11 triple15) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) ((((triple14) -> (rule3 % int2))) -> (rule4 % int4))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple12
((triple10 triple14) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple10 ((triple13) -> (rule7 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((triple10 ((((triple11 triple15) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple14) -> (rule3 % int3)) triple13) -> (rule8 % int2)) triple14) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple14) -> (rule3 % int4)) triple13) -> (rule8 % int3)) ((triple13) -> (rule7 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple14) -> (rule3 % int4)) ((triple11 triple15) -> (rule5 % int3))) -> (rule8 % int2)) triple14) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple14) -> (rule3 % int5)) triple13) -> (rule8 % int4)) ((((triple11 triple15) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple14) -> (rule3 % int5)) ((triple11 triple15) -> (rule5 % int4))) -> (rule8 % int3)) ((triple13) -> (rule7 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((triple14) -> (rule3 % int5)) ((triple11 triple15) -> (rule5 % int4))) -> (rule8 % int3)) ((((triple11 triple15) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple13) -> (rule7 % int4))) -> (rule3 % int3)) triple13) -> (rule8 % int2)) triple14) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple14) -> (rule3 % int4)) ((((triple14) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) triple14) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple13) -> (rule7 % int4))) -> (rule3 % int3)) triple13) -> (rule8 % int2)) ((triple13) -> (rule7 % int4))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((((triple13) -> (rule7 % int5))) -> (rule3 % int4)) ((triple11 triple15) -> (rule5 % int3))) -> (rule8 % int2)) triple14) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple14) -> (rule3 % int5)) ((((triple14) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule8 % int3)) ((triple13) -> (rule7 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple13) -> (rule7 % int5))) -> (rule3 % int4)) triple13) -> (rule8 % int3)) ((((triple11 triple15) -> (rule5 % int2))) -> (rule7 % int5))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple13) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple14) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) triple14) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple13) -> (rule7 % int5))) -> (rule3 % int4)) ((triple11 triple15) -> (rule5 % int3))) -> (rule8 % int2)) ((triple13) -> (rule7 % int5))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple14) -> (rule3 % int5)) ((((triple14) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule8 % int3)) ((((triple11 triple15) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple13) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple14) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) ((triple13) -> (rule7 % int5))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple13) -> (rule7 % int5))) -> (rule3 % int4)) ((triple11 triple15) -> (rule5 % int3))) -> (rule8 % int2)) ((((triple11 triple15) -> (rule5 % int3))) -> (rule7 % int5))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple13) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple14) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) ((((triple11 triple15) -> (rule5 % int3))) -> (rule7 % int5))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple11 triple15) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) triple13) -> (rule8 % int2)) triple14) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple11 triple15) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) triple13) -> (rule8 % int2)) ((triple13) -> (rule7 % int4))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple11 triple15) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple11 triple15) -> (rule5 % int5))) -> (rule8 % int2)) triple14) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple11 triple15) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) triple13) -> (rule8 % int2)) ((((triple11 triple15) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple11 triple15) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple14) -> (rule3 % int3))) -> (rule4 % int5))) -> (rule8 % int2)) triple14) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple11 triple15) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple11 triple15) -> (rule5 % int5))) -> (rule8 % int2)) ((triple13) -> (rule7 % int4))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple11 triple15) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple14) -> (rule3 % int3))) -> (rule4 % int5))) -> (rule8 % int2)) ((triple13) -> (rule7 % int4))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple11 triple15) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((triple11 triple15) -> (rule5 % int5))) -> (rule8 % int2)) ((((triple11 triple15) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple11 triple15) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple14) -> (rule3 % int3))) -> (rule4 % int5))) -> (rule8 % int2)) ((((triple11 triple15) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
triple13
((triple11 triple15) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple14) -> (rule3 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
triple14
((triple13) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple11 triple15) -> (rule5 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
triple15
Charlie is red.
("Charlie" "is" "red" "+")
((triple2) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple14) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple13) -> (rule7 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple11 triple15) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple2) -> (rule3 % int3)) ((((triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3