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