Anne is cold. Anne is furry. Anne is red. Erin is furry. Erin is green. Erin is nice. Erin is red. Fiona is rough. Gary is green. Gary is rough. All red people are rough. If someone is furry and rough then they are nice. Red, rough people are cold. If someone is rough then they are red. If someone is cold then they are furry. All nice people are rough. If someone is cold and nice then they are blue.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is furry and rough then they are nice.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Red, rough people are cold.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough then they are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is cold then they are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
All nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and nice then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Gary is rough.
True
1
proof
[(triple10)]
("Gary" "is" "rough" "+")
triple10
Anne is not cold.
False
1
inv-proof
[(triple1 OR ((triple3 ((triple3) -> rule1)) -> rule3))]
("Anne" "is" "cold" "-")
triple1
((triple3 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is rough.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "rough" "+")
((triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple6) -> rule6) OR ((triple7) -> rule1))]
("Erin" "is" "rough" "-")
((triple6) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple7) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Anne is nice.
True
4
proof
[(((triple2 ((triple3) -> rule1)) -> rule2) OR ((((triple1) -> rule5) ((triple3) -> rule1)) -> rule2) OR ((((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule5) ((triple3) -> rule1)) -> rule2))]
("Anne" "is" "nice" "+")
((triple2 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple1) -> (rule5 % int3)) ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple3) -> (rule1 % int4))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is not nice.
False
4
inv-proof
[(((triple2 ((triple3) -> rule1)) -> rule2) OR ((((triple1) -> rule5) ((triple3) -> rule1)) -> rule2) OR ((((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule5) ((triple3) -> rule1)) -> rule2))]
("Anne" "is" "nice" "-")
((triple2 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple1) -> (rule5 % int3)) ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple3) -> (rule1 % int4))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Gary is furry.
True
5
proof
[(((((((triple10) -> rule4) triple10) -> rule3)) -> rule5))]
("Gary" "is" "furry" "+")
((((((triple10) -> (rule4 % int3)) triple10) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not furry.
False
5
inv-proof
[(((((((triple10) -> rule4) triple10) -> rule3)) -> rule5))]
("Gary" "is" "furry" "-")
((((((triple10) -> (rule4 % int3)) triple10) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
True
7
proof
[(((((((((triple10) -> rule4) triple10) -> rule3)) -> rule5) triple10) -> rule2))]
("Gary" "is" "nice" "+")
((((((((triple10) -> (rule4 % int4)) triple10) -> (rule3 % int3))) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is not nice.
False
7
inv-proof
[(((((((((triple10) -> rule4) triple10) -> rule3)) -> rule5) triple10) -> rule2))]
("Gary" "is" "nice" "-")
((((((((triple10) -> (rule4 % int4)) triple10) -> (rule3 % int3))) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is blue.
True
12
proof
[(((((((triple10) -> rule4) triple10) -> rule3) ((((((((triple10) -> rule4) triple10) -> rule3)) -> rule5) triple10) -> rule2)) -> rule7))]
("Gary" "is" "blue" "+")
((((((triple10) -> (rule4 % int5)) triple10) -> (rule3 % int4)) ((((((((triple10) -> (rule4 % int5)) triple10) -> (rule3 % int4))) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is not blue.
False
12
inv-proof
[(((((((triple10) -> rule4) triple10) -> rule3) ((((((((triple10) -> rule4) triple10) -> rule3)) -> rule5) triple10) -> rule2)) -> rule7))]
("Gary" "is" "blue" "-")
((((((triple10) -> (rule4 % int5)) triple10) -> (rule3 % int4)) ((((((((triple10) -> (rule4 % int5)) triple10) -> (rule3 % int4))) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Anne is cold.[(triple1 OR ((triple3 ((triple3) -> rule1)) -> rule3))] Anne is furry.[(triple2 OR ((triple1) -> rule5) OR ((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule5))] Anne is red.[(triple3)] Erin is furry.[(triple4 OR ((((triple7 ((triple6) -> rule6)) -> rule3)) -> rule5) OR ((((triple7 ((triple7) -> rule1)) -> rule3)) -> rule5) OR ((((((((triple6) -> rule6)) -> rule4) ((triple6) -> rule6)) -> rule3)) -> rule5) OR ((((((((triple6) -> rule6)) -> rule4) ((triple7) -> rule1)) -> rule3)) -> rule5))] Erin is green.[(triple5)] Erin is nice.[(triple6 OR ((triple4 ((triple7) -> rule1)) -> rule2) OR ((((((triple7 ((triple7) -> rule1)) -> rule3)) -> rule5) ((triple7) -> rule1)) -> rule2))] Erin is red.[(triple7 OR ((((triple6) -> rule6)) -> rule4))] Fiona is rough.[(triple8)] Gary is green.[(triple9)] Gary is rough.[(triple10)] @1: Anne is rough.[(((triple3) -> rule1))] Erin is rough.[(((triple6) -> rule6) OR ((triple7) -> rule1))] Fiona is red.[(((triple8) -> rule4))] Gary is red.[(((triple10) -> rule4))] @2: Anne is nice.[(((triple2 ((triple3) -> rule1)) -> rule2) OR ((((triple1) -> rule5) ((triple3) -> rule1)) -> rule2) OR ((((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule5) ((triple3) -> rule1)) -> rule2))] Erin is cold.[(((triple7 ((triple6) -> rule6)) -> rule3) OR ((triple7 ((triple7) -> rule1)) -> rule3) OR ((((((triple6) -> rule6)) -> rule4) ((triple6) -> rule6)) -> rule3) OR ((((((triple6) -> rule6)) -> rule4) ((triple7) -> rule1)) -> rule3))] Fiona is cold.[(((((triple8) -> rule4) triple8) -> rule3))] Gary is cold.[(((((triple10) -> rule4) triple10) -> rule3))] @3: Anne is blue.[(((triple1 ((triple2 ((triple3) -> rule1)) -> rule2)) -> rule7) OR ((triple1 ((((triple1) -> rule5) ((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((triple3 ((triple3) -> rule1)) -> rule3) ((triple2 ((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((triple3 ((triple3) -> rule1)) -> rule3) ((((triple1) -> rule5) ((triple3) -> rule1)) -> rule2)) -> rule7) OR ((triple1 ((((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule5) ((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((triple3 ((triple3) -> rule1)) -> rule3) ((((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule5) ((triple3) -> rule1)) -> rule2)) -> rule7))] Erin is blue.[(((((triple7 ((triple6) -> rule6)) -> rule3) triple6) -> rule7) OR ((((triple7 ((triple7) -> rule1)) -> rule3) triple6) -> rule7) OR ((((triple7 ((triple6) -> rule6)) -> rule3) ((triple4 ((triple7) -> rule1)) -> rule2)) -> rule7) OR ((((triple7 ((triple7) -> rule1)) -> rule3) ((triple4 ((triple7) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple6) -> rule6)) -> rule4) ((triple6) -> rule6)) -> rule3) triple6) -> rule7) OR ((((((((triple6) -> rule6)) -> rule4) ((triple7) -> rule1)) -> rule3) triple6) -> rule7) OR ((((((((triple6) -> rule6)) -> rule4) ((triple6) -> rule6)) -> rule3) ((triple4 ((triple7) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple6) -> rule6)) -> rule4) ((triple7) -> rule1)) -> rule3) ((triple4 ((triple7) -> rule1)) -> rule2)) -> rule7) OR ((((triple7 ((triple6) -> rule6)) -> rule3) ((((((triple7 ((triple7) -> rule1)) -> rule3)) -> rule5) ((triple7) -> rule1)) -> rule2)) -> rule7) OR ((((triple7 ((triple7) -> rule1)) -> rule3) ((((((triple7 ((triple7) -> rule1)) -> rule3)) -> rule5) ((triple7) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple6) -> rule6)) -> rule4) ((triple6) -> rule6)) -> rule3) ((((((triple7 ((triple7) -> rule1)) -> rule3)) -> rule5) ((triple7) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple6) -> rule6)) -> rule4) ((triple7) -> rule1)) -> rule3) ((((((triple7 ((triple7) -> rule1)) -> rule3)) -> rule5) ((triple7) -> rule1)) -> rule2)) -> rule7))] Fiona is furry.[(((((((triple8) -> rule4) triple8) -> rule3)) -> rule5))] Gary is furry.[(((((((triple10) -> rule4) triple10) -> rule3)) -> rule5))] @4: Fiona is nice.[(((((((((triple8) -> rule4) triple8) -> rule3)) -> rule5) triple8) -> rule2))] Gary is nice.[(((((((((triple10) -> rule4) triple10) -> rule3)) -> rule5) triple10) -> rule2))] @5: Fiona is blue.[(((((((triple8) -> rule4) triple8) -> rule3) ((((((((triple8) -> rule4) triple8) -> rule3)) -> rule5) triple8) -> rule2)) -> rule7))] Gary is blue.[(((((((triple10) -> rule4) triple10) -> rule3) ((((((((triple10) -> rule4) triple10) -> rule3)) -> rule5) triple10) -> rule2)) -> rule7))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple3 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple1) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
((((triple7 ((triple6) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple7 ((triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((((triple6) -> (rule6 % int4))) -> (rule4 % int3)) ((triple6) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((((triple6) -> (rule6 % int4))) -> (rule4 % int3)) ((triple7) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
((triple4 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple7) -> (rule1 % int4))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
triple7
((((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Anne is rough.
("Anne" "is" "rough" "+")
((triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple6) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple7) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple8) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple10) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((triple2 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple1) -> (rule5 % int3)) ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple3) -> (rule1 % int4))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
((triple7 ((triple6) -> (rule6 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((triple7 ((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((((triple6) -> (rule6 % int3))) -> (rule4 % int2)) ((triple6) -> (rule6 % int3))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple6) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7) -> (rule1 % int3))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple8) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((triple10) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
((triple1 ((triple2 ((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((triple1 ((((triple1) -> (rule5 % int4)) ((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule3 % int3)) ((triple2 ((triple3) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((triple3 ((triple3) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple1) -> (rule5 % int3)) ((triple3) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((triple1 ((((((triple3 ((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple3) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple3 ((triple3) -> (rule1 % int5))) -> (rule3 % int4)) ((((((triple3 ((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple3) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
((((triple7 ((triple6) -> (rule6 % int3))) -> (rule3 % int2)) triple6) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple7 ((triple7) -> (rule1 % int3))) -> (rule3 % int2)) triple6) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple7 ((triple6) -> (rule6 % int4))) -> (rule3 % int3)) ((triple4 ((triple7) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((triple7 ((triple7) -> (rule1 % int4))) -> (rule3 % int3)) ((triple4 ((triple7) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((((triple6) -> (rule6 % int4))) -> (rule4 % int3)) ((triple6) -> (rule6 % int4))) -> (rule3 % int2)) triple6) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((((triple6) -> (rule6 % int4))) -> (rule4 % int3)) ((triple7) -> (rule1 % int4))) -> (rule3 % int2)) triple6) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((((triple6) -> (rule6 % int5))) -> (rule4 % int4)) ((triple6) -> (rule6 % int5))) -> (rule3 % int3)) ((triple4 ((triple7) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((((triple6) -> (rule6 % int5))) -> (rule4 % int4)) ((triple7) -> (rule1 % int5))) -> (rule3 % int3)) ((triple4 ((triple7) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((triple7 ((triple6) -> (rule6 % int5))) -> (rule3 % int4)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((triple7 ((triple7) -> (rule1 % int5))) -> (rule3 % int4)) ((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((((triple6) -> (rule6 % int6))) -> (rule4 % int5)) ((triple6) -> (rule6 % int6))) -> (rule3 % int4)) ((((((triple7 ((triple7) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int6))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
int6
((((((((triple6) -> (rule6 % int6))) -> (rule4 % int5)) ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) ((((((triple7 ((triple7) -> (rule1 % int6))) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule1 % int6))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
int6
Fiona is furry.
("Fiona" "is" "furry" "+")
((((((triple8) -> (rule4 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
((((((triple10) -> (rule4 % int3)) triple10) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
((((((((triple8) -> (rule4 % int4)) triple8) -> (rule3 % int3))) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
((((((((triple10) -> (rule4 % int4)) triple10) -> (rule3 % int3))) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((triple8) -> (rule4 % int5)) triple8) -> (rule3 % int4)) ((((((((triple8) -> (rule4 % int5)) triple8) -> (rule3 % int4))) -> (rule5 % int3)) triple8) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
((((((triple10) -> (rule4 % int5)) triple10) -> (rule3 % int4)) ((((((((triple10) -> (rule4 % int5)) triple10) -> (rule3 % int4))) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5