Anne is blue. Anne is cold. Anne is red. Anne is rough. Anne is young. Charlie is blue. Charlie is cold. Charlie is rough. Fiona is cold. Fiona is furry. Gary is blue. Gary is cold. Gary is furry. Gary is red. Gary is rough. Gary is young. Rough, blue things are young. If something is furry then it is rough. If Anne is rough then Anne is red. If something is cold and green then it is red. All red things are furry. Rough things are green. All red things are blue. If something is young then it is red.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
Rough, blue things are young.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If something is furry then it is rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
If Anne is rough then Anne is red.
((("Anne" "is" "rough" "+")) -> ("Anne" "is" "red" "+"))
If something is cold and green then it is red.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
All red things are furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
All red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
If something is young then it is red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Gary is young.
True
1
proof
[(triple16 OR ((triple15 triple11) -> rule1) OR ((triple15 ((triple14) -> rule7)) -> rule1) OR ((((triple13) -> rule2) triple11) -> rule1) OR ((((triple13) -> rule2) ((triple14) -> rule7)) -> rule1) OR ((((((triple14) -> rule5)) -> rule2) triple11) -> rule1) OR ((((((triple14) -> rule5)) -> rule2) ((triple14) -> rule7)) -> rule1) OR ((triple15 ((((triple12 ((triple15) -> rule6)) -> rule4)) -> rule7)) -> rule1) OR ((((triple13) -> rule2) ((((triple12 ((triple15) -> rule6)) -> rule4)) -> rule7)) -> rule1) OR ((((((triple14) -> rule5)) -> rule2) ((((triple12 ((triple15) -> rule6)) -> rule4)) -> rule7)) -> rule1) OR ((triple15 ((((triple12 ((((triple13) -> rule2)) -> rule6)) -> rule4)) -> rule7)) -> rule1) OR ((((triple13) -> rule2) ((((triple12 ((((triple13) -> rule2)) -> rule6)) -> rule4)) -> rule7)) -> rule1) OR ((((((triple14) -> rule5)) -> rule2) ((((triple12 ((((triple13) -> rule2)) -> rule6)) -> rule4)) -> rule7)) -> rule1))]
("Gary" "is" "young" "+")
triple16
((triple15 triple11) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple15 ((triple14) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple13) -> (rule2 % int2)) triple11) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple13) -> (rule2 % int3)) ((triple14) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple14) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple14) -> (rule5 % int4))) -> (rule2 % int3)) ((triple14) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((triple15 ((((triple12 ((triple15) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple13) -> (rule2 % int5)) ((((triple12 ((triple15) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((triple14) -> (rule5 % int6))) -> (rule2 % int5)) ((((triple12 ((triple15) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((triple15 ((((triple12 ((((triple13) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((triple13) -> (rule2 % int5)) ((((triple12 ((((triple13) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((triple14) -> (rule5 % int6))) -> (rule2 % int5)) ((((triple12 ((((triple13) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
Gary is not blue.
False
1
inv-proof
[(triple11 OR ((triple14) -> rule7) OR ((((triple16) -> rule8)) -> rule7) OR ((((triple12 ((triple15) -> rule6)) -> rule4)) -> rule7) OR ((((triple12 ((((triple13) -> rule2)) -> rule6)) -> rule4)) -> rule7))]
("Gary" "is" "blue" "-")
triple11
((triple14) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple16) -> (rule8 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple12 ((triple15) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple12 ((((triple13) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Fiona is rough.
True
2
proof
[(((triple10) -> rule2))]
("Fiona" "is" "rough" "+")
((triple10) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Charlie is not green.
False
2
inv-proof
[(((triple8) -> rule6))]
("Charlie" "is" "green" "-")
((triple8) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Fiona is green.
True
3
proof
[(((((triple10) -> rule2)) -> rule6))]
("Fiona" "is" "green" "+")
((((triple10) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not green.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule6))]
("Fiona" "is" "green" "-")
((((triple10) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is red.
True
5
proof
[(((triple9 ((((triple10) -> rule2)) -> rule6)) -> rule4))]
("Fiona" "is" "red" "+")
((triple9 ((((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is not red.
False
5
inv-proof
[(((triple9 ((((triple10) -> rule2)) -> rule6)) -> rule4))]
("Fiona" "is" "red" "-")
((triple9 ((((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is blue.
True
6
proof
[(((((triple9 ((((triple10) -> rule2)) -> rule6)) -> rule4)) -> rule7))]
("Fiona" "is" "blue" "+")
((((triple9 ((((triple10) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is not blue.
False
6
inv-proof
[(((((triple9 ((((triple10) -> rule2)) -> rule6)) -> rule4)) -> rule7))]
("Fiona" "is" "blue" "-")
((((triple9 ((((triple10) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is young.
True
9
proof
[(((((triple10) -> rule2) ((((triple9 ((((triple10) -> rule2)) -> rule6)) -> rule4)) -> rule7)) -> rule1))]
("Fiona" "is" "young" "+")
((((triple10) -> (rule2 % int5)) ((((triple9 ((((triple10) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is not young.
False
9
inv-proof
[(((((triple10) -> rule2) ((((triple9 ((((triple10) -> rule2)) -> rule6)) -> rule4)) -> rule7)) -> rule1))]
("Fiona" "is" "young" "-")
((((triple10) -> (rule2 % int5)) ((((triple9 ((((triple10) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
@0: Anne is blue.[(triple1 OR ((triple3) -> rule7) OR ((((triple4) -> rule3)) -> rule7) OR ((((triple5) -> rule8)) -> rule7) OR ((((triple2 ((triple4) -> rule6)) -> rule4)) -> rule7))] Anne is cold.[(triple2)] Anne is red.[(triple3 OR ((triple4) -> rule3) OR ((triple5) -> rule8) OR ((((triple4 triple1) -> rule1)) -> rule8) OR ((triple2 ((triple4) -> rule6)) -> rule4))] Anne is rough.[(triple4 OR ((((triple3) -> rule5)) -> rule2) OR ((((((triple5) -> rule8)) -> rule5)) -> rule2))] Anne is young.[(triple5 OR ((triple4 triple1) -> rule1) OR ((triple4 ((triple3) -> rule7)) -> rule1) OR ((triple4 ((((triple4) -> rule3)) -> rule7)) -> rule1) OR ((((((triple3) -> rule5)) -> rule2) triple1) -> rule1) OR ((((((triple3) -> rule5)) -> rule2) ((triple3) -> rule7)) -> rule1) OR ((((((triple3) -> rule5)) -> rule2) ((((triple4) -> rule3)) -> rule7)) -> rule1) OR ((triple4 ((((triple2 ((triple4) -> rule6)) -> rule4)) -> rule7)) -> rule1) OR ((((((triple3) -> rule5)) -> rule2) ((((triple2 ((triple4) -> rule6)) -> rule4)) -> rule7)) -> rule1))] Charlie is blue.[(triple6 OR ((((triple7 ((triple8) -> rule6)) -> rule4)) -> rule7))] Charlie is cold.[(triple7)] Charlie is rough.[(triple8)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10)] Gary is blue.[(triple11 OR ((triple14) -> rule7) OR ((((triple16) -> rule8)) -> rule7) OR ((((triple12 ((triple15) -> rule6)) -> rule4)) -> rule7) OR ((((triple12 ((((triple13) -> rule2)) -> rule6)) -> rule4)) -> rule7))] Gary is cold.[(triple12)] Gary is furry.[(triple13 OR ((triple14) -> rule5) OR ((((triple16) -> rule8)) -> rule5) OR ((((((triple15 triple11) -> rule1)) -> rule8)) -> rule5) OR ((((triple12 ((triple15) -> rule6)) -> rule4)) -> rule5))] Gary is red.[(triple14 OR ((triple16) -> rule8) OR ((((triple15 triple11) -> rule1)) -> rule8) OR ((triple12 ((triple15) -> rule6)) -> rule4) OR ((((((triple13) -> rule2) triple11) -> rule1)) -> rule8) OR ((triple12 ((((triple13) -> rule2)) -> rule6)) -> rule4))] Gary is rough.[(triple15 OR ((triple13) -> rule2) OR ((((triple14) -> rule5)) -> rule2) OR ((((((triple16) -> rule8)) -> rule5)) -> rule2))] Gary is young.[(triple16 OR ((triple15 triple11) -> rule1) OR ((triple15 ((triple14) -> rule7)) -> rule1) OR ((((triple13) -> rule2) triple11) -> rule1) OR ((((triple13) -> rule2) ((triple14) -> rule7)) -> rule1) OR ((((((triple14) -> rule5)) -> rule2) triple11) -> rule1) OR ((((((triple14) -> rule5)) -> rule2) ((triple14) -> rule7)) -> rule1) OR ((triple15 ((((triple12 ((triple15) -> rule6)) -> rule4)) -> rule7)) -> rule1) OR ((((triple13) -> rule2) ((((triple12 ((triple15) -> rule6)) -> rule4)) -> rule7)) -> rule1) OR ((((((triple14) -> rule5)) -> rule2) ((((triple12 ((triple15) -> rule6)) -> rule4)) -> rule7)) -> rule1) OR ((triple15 ((((triple12 ((((triple13) -> rule2)) -> rule6)) -> rule4)) -> rule7)) -> rule1) OR ((((triple13) -> rule2) ((((triple12 ((((triple13) -> rule2)) -> rule6)) -> rule4)) -> rule7)) -> rule1) OR ((((((triple14) -> rule5)) -> rule2) ((((triple12 ((((triple13) -> rule2)) -> rule6)) -> rule4)) -> rule7)) -> rule1))] @1: Anne is furry.[(((triple3) -> rule5) OR ((((triple4) -> rule3)) -> rule5) OR ((((triple5) -> rule8)) -> rule5) OR ((((((triple4 triple1) -> rule1)) -> rule8)) -> rule5) OR ((((triple2 ((triple4) -> rule6)) -> rule4)) -> rule5))] Anne is green.[(((triple4) -> rule6) OR ((((((triple3) -> rule5)) -> rule2)) -> rule6) OR ((((((((triple5) -> rule8)) -> rule5)) -> rule2)) -> rule6))] Charlie is green.[(((triple8) -> rule6))] Charlie is young.[(((triple8 triple6) -> rule1) OR ((triple8 ((((triple7 ((triple8) -> rule6)) -> rule4)) -> rule7)) -> rule1))] Fiona is rough.[(((triple10) -> rule2))] Gary is green.[(((triple15) -> rule6) OR ((((triple13) -> rule2)) -> rule6) OR ((((((triple14) -> rule5)) -> rule2)) -> rule6) OR ((((((((triple16) -> rule8)) -> rule5)) -> rule2)) -> rule6))] @2: Charlie is red.[(((((triple8 triple6) -> rule1)) -> rule8) OR ((triple7 ((triple8) -> rule6)) -> rule4))] Fiona is green.[(((((triple10) -> rule2)) -> rule6))] @3: Charlie is furry.[(((((((triple8 triple6) -> rule1)) -> rule8)) -> rule5) OR ((((triple7 ((triple8) -> rule6)) -> rule4)) -> rule5))] Fiona is red.[(((triple9 ((((triple10) -> rule2)) -> rule6)) -> rule4))] @4: Fiona is blue.[(((((triple9 ((((triple10) -> rule2)) -> rule6)) -> rule4)) -> rule7))] @5: Fiona is young.[(((((triple10) -> rule2) ((((triple9 ((((triple10) -> rule2)) -> rule6)) -> rule4)) -> rule7)) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple3) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple5) -> (rule8 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple2 ((triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
((triple4) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((triple5) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple4 triple1) -> (rule1 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((triple2 ((triple4) -> (rule6 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((((triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
triple5
((triple4 triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple4 ((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((triple4 ((((triple4) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple3) -> (rule5 % int3))) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple3) -> (rule5 % int4))) -> (rule2 % int3)) ((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple3) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple4) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((triple4 ((((triple2 ((triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple3) -> (rule5 % int6))) -> (rule2 % int5)) ((((triple2 ((triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
((((triple7 ((triple8) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple11
((triple14) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple16) -> (rule8 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple12 ((triple15) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple12 ((((triple13) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is furry.
("Gary" "is" "furry" "+")
triple13
((triple14) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple16) -> (rule8 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((((triple15 triple11) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple12 ((triple15) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
triple14
((triple16) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple15 triple11) -> (rule1 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((triple12 ((triple15) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple13) -> (rule2 % int3)) triple11) -> (rule1 % int2))) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((triple12 ((((triple13) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
triple15
((triple13) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple14) -> (rule5 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((((triple16) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
triple16
((triple15 triple11) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple15 ((triple14) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple13) -> (rule2 % int2)) triple11) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple13) -> (rule2 % int3)) ((triple14) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple14) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple14) -> (rule5 % int4))) -> (rule2 % int3)) ((triple14) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((triple15 ((((triple12 ((triple15) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple13) -> (rule2 % int5)) ((((triple12 ((triple15) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((triple14) -> (rule5 % int6))) -> (rule2 % int5)) ((((triple12 ((triple15) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((triple15 ((((triple12 ((((triple13) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((triple13) -> (rule2 % int5)) ((((triple12 ((((triple13) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((triple14) -> (rule5 % int6))) -> (rule2 % int5)) ((((triple12 ((((triple13) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
Anne is furry.
("Anne" "is" "furry" "+")
((triple3) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple5) -> (rule8 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((((triple4 triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((triple2 ((triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
((triple4) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((((triple5) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
((triple8) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple8 triple6) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple8 ((((triple7 ((triple8) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple10) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple15) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple13) -> (rule2 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((((triple14) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((((triple16) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
((((triple8 triple6) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple7 ((triple8) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
((((triple10) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
((((((triple8 triple6) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple7 ((triple8) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
((triple9 ((((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple9 ((((triple10) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
((((triple10) -> (rule2 % int5)) ((((triple9 ((((triple10) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5