Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is young. Bob is blue. Bob is furry. Bob is kind. Bob is quiet. Bob is round. Bob is young. Gary is blue. Gary is cold. Gary is furry. Gary is kind. All young, cold people are round. If someone is round and kind then they are young. All round, cold people are blue. All blue people are kind. Kind, round people are blue. If Bob is round and Bob is blue then Bob is quiet. If someone is blue and kind then they are cold. All furry, cold people are round.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
All young, cold people are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is round and kind then they are young.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
All round, cold people are blue.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
All blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Kind, round people are blue.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If Bob is round and Bob is blue then Bob is quiet.
((("Bob" "is" "round" "+") ("Bob" "is" "blue" "+")) -> ("Bob" "is" "quiet" "+"))
If someone is blue and kind then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
All furry, cold people are round.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Gary is kind.
True
1
proof
[(triple16 OR ((triple13) -> rule4) OR ((((((triple15 triple14) -> rule8) triple14) -> rule3)) -> rule4))]
("Gary" "is" "kind" "+")
triple16
((triple13) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((((triple15 triple14) -> (rule8 % int3)) triple14) -> (rule3 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Bob is not young.
False
1
inv-proof
[(triple12 OR ((triple11 triple9) -> rule2) OR ((triple11 ((triple7) -> rule4)) -> rule2) OR ((((triple8 ((triple7 triple9) -> rule7)) -> rule8) triple9) -> rule2) OR ((((triple8 ((triple7 triple9) -> rule7)) -> rule8) ((triple7) -> rule4)) -> rule2) OR ((((triple8 ((triple7 ((triple7) -> rule4)) -> rule7)) -> rule8) triple9) -> rule2) OR ((((triple8 ((triple7 ((triple7) -> rule4)) -> rule7)) -> rule8) ((triple7) -> rule4)) -> rule2))]
("Bob" "is" "young" "-")
triple12
((triple11 triple9) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple11 ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple8 ((triple7 triple9) -> (rule7 % int3))) -> (rule8 % int2)) triple9) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple8 ((triple7 triple9) -> (rule7 % int4))) -> (rule8 % int3)) ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple8 ((triple7 ((triple7) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple9) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple8 ((triple7 ((triple7) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple7) -> (rule4 % int4))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Anne is round.
True
3
proof
[(((triple3 triple2) -> rule8) OR ((triple6 triple2) -> rule1) OR ((triple3 ((triple1 triple4) -> rule7)) -> rule8) OR ((triple6 ((triple1 triple4) -> rule7)) -> rule1) OR ((triple3 ((triple1 ((triple1) -> rule4)) -> rule7)) -> rule8) OR ((triple6 ((triple1 ((triple1) -> rule4)) -> rule7)) -> rule1))]
("Anne" "is" "round" "+")
((triple3 triple2) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple6 triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple3 ((triple1 triple4) -> (rule7 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple6 ((triple1 triple4) -> (rule7 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple3 ((triple1 ((triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((triple6 ((triple1 ((triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Gary is not round.
False
3
inv-proof
[(((triple15 triple14) -> rule8) OR ((triple15 ((triple13 triple16) -> rule7)) -> rule8) OR ((triple15 ((triple13 ((triple13) -> rule4)) -> rule7)) -> rule8))]
("Gary" "is" "round" "-")
((triple15 triple14) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple15 ((triple13 triple16) -> (rule7 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((triple15 ((triple13 ((triple13) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
True
5
proof
[(((((triple15 triple14) -> rule8) triple16) -> rule2) OR ((((triple15 triple14) -> rule8) ((triple13) -> rule4)) -> rule2) OR ((((triple15 ((triple13 triple16) -> rule7)) -> rule8) triple16) -> rule2) OR ((((triple15 ((triple13 triple16) -> rule7)) -> rule8) ((triple13) -> rule4)) -> rule2) OR ((((triple15 ((triple13 ((triple13) -> rule4)) -> rule7)) -> rule8) triple16) -> rule2) OR ((((triple15 triple14) -> rule8) ((((((triple15 triple14) -> rule8) triple14) -> rule3)) -> rule4)) -> rule2) OR ((((triple15 ((triple13 ((triple13) -> rule4)) -> rule7)) -> rule8) ((triple13) -> rule4)) -> rule2) OR ((((triple15 ((triple13 triple16) -> rule7)) -> rule8) ((((((triple15 triple14) -> rule8) triple14) -> rule3)) -> rule4)) -> rule2) OR ((((triple15 ((triple13 ((triple13) -> rule4)) -> rule7)) -> rule8) ((((((triple15 triple14) -> rule8) triple14) -> rule3)) -> rule4)) -> rule2))]
("Gary" "is" "young" "+")
((((triple15 triple14) -> (rule8 % int2)) triple16) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple15 triple14) -> (rule8 % int3)) ((triple13) -> (rule4 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple15 ((triple13 triple16) -> (rule7 % int3))) -> (rule8 % int2)) triple16) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple15 ((triple13 triple16) -> (rule7 % int4))) -> (rule8 % int3)) ((triple13) -> (rule4 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((triple15 ((triple13 ((triple13) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple16) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple15 triple14) -> (rule8 % int4)) ((((((triple15 triple14) -> (rule8 % int4)) triple14) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple15 ((triple13 ((triple13) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple13) -> (rule4 % int4))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple15 ((triple13 triple16) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple15 triple14) -> (rule8 % int4)) triple14) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((triple15 ((triple13 ((triple13) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple15 triple14) -> (rule8 % int3)) triple14) -> (rule3 % int2))) -> (rule4 % int5))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Gary is not young.
False
5
inv-proof
[(((((triple15 triple14) -> rule8) triple16) -> rule2) OR ((((triple15 triple14) -> rule8) ((triple13) -> rule4)) -> rule2) OR ((((triple15 ((triple13 triple16) -> rule7)) -> rule8) triple16) -> rule2) OR ((((triple15 ((triple13 triple16) -> rule7)) -> rule8) ((triple13) -> rule4)) -> rule2) OR ((((triple15 ((triple13 ((triple13) -> rule4)) -> rule7)) -> rule8) triple16) -> rule2) OR ((((triple15 triple14) -> rule8) ((((((triple15 triple14) -> rule8) triple14) -> rule3)) -> rule4)) -> rule2) OR ((((triple15 ((triple13 ((triple13) -> rule4)) -> rule7)) -> rule8) ((triple13) -> rule4)) -> rule2) OR ((((triple15 ((triple13 triple16) -> rule7)) -> rule8) ((((((triple15 triple14) -> rule8) triple14) -> rule3)) -> rule4)) -> rule2) OR ((((triple15 ((triple13 ((triple13) -> rule4)) -> rule7)) -> rule8) ((((((triple15 triple14) -> rule8) triple14) -> rule3)) -> rule4)) -> rule2))]
("Gary" "is" "young" "-")
((((triple15 triple14) -> (rule8 % int2)) triple16) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple15 triple14) -> (rule8 % int3)) ((triple13) -> (rule4 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple15 ((triple13 triple16) -> (rule7 % int3))) -> (rule8 % int2)) triple16) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple15 ((triple13 triple16) -> (rule7 % int4))) -> (rule8 % int3)) ((triple13) -> (rule4 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((triple15 ((triple13 ((triple13) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple16) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple15 triple14) -> (rule8 % int4)) ((((((triple15 triple14) -> (rule8 % int4)) triple14) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple15 ((triple13 ((triple13) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple13) -> (rule4 % int4))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple15 ((triple13 triple16) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple15 triple14) -> (rule8 % int4)) triple14) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((triple15 ((triple13 ((triple13) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple15 triple14) -> (rule8 % int3)) triple14) -> (rule3 % int2))) -> (rule4 % int5))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
@0: Anne is blue.[(triple1 OR ((triple4 ((triple3 triple2) -> rule8)) -> rule5) OR ((triple4 ((triple6 triple2) -> rule1)) -> rule5) OR ((((triple3 triple2) -> rule8) triple2) -> rule3) OR ((((triple6 triple2) -> rule1) triple2) -> rule3))] Anne is cold.[(triple2 OR ((triple1 triple4) -> rule7) OR ((triple1 ((triple1) -> rule4)) -> rule7))] Anne is furry.[(triple3)] Anne is kind.[(triple4 OR ((triple1) -> rule4) OR ((((((triple3 triple2) -> rule8) triple2) -> rule3)) -> rule4) OR ((((((triple6 triple2) -> rule1) triple2) -> rule3)) -> rule4))] Anne is quiet.[(triple5)] Anne is young.[(triple6 OR ((((triple3 triple2) -> rule8) triple4) -> rule2) OR ((((triple3 triple2) -> rule8) ((triple1) -> rule4)) -> rule2) OR ((((triple3 ((triple1 triple4) -> rule7)) -> rule8) triple4) -> rule2) OR ((((triple3 ((triple1 triple4) -> rule7)) -> rule8) ((triple1) -> rule4)) -> rule2) OR ((((triple3 ((triple1 ((triple1) -> rule4)) -> rule7)) -> rule8) triple4) -> rule2) OR ((((triple3 triple2) -> rule8) ((((((triple3 triple2) -> rule8) triple2) -> rule3)) -> rule4)) -> rule2) OR ((((triple3 ((triple1 ((triple1) -> rule4)) -> rule7)) -> rule8) ((triple1) -> rule4)) -> rule2) OR ((((triple3 ((triple1 triple4) -> rule7)) -> rule8) ((((((triple3 triple2) -> rule8) triple2) -> rule3)) -> rule4)) -> rule2) OR ((((triple3 ((triple1 ((triple1) -> rule4)) -> rule7)) -> rule8) ((((((triple3 triple2) -> rule8) triple2) -> rule3)) -> rule4)) -> rule2))] Bob is blue.[(triple7 OR ((triple9 triple11) -> rule5))] Bob is furry.[(triple8)] Bob is kind.[(triple9 OR ((triple7) -> rule4))] Bob is quiet.[(triple10 OR ((triple11 triple7) -> rule6) OR ((triple11 ((triple9 triple11) -> rule5)) -> rule6) OR ((((triple12 ((triple7 triple9) -> rule7)) -> rule1) triple7) -> rule6) OR ((((triple8 ((triple7 triple9) -> rule7)) -> rule8) triple7) -> rule6) OR ((((triple12 ((triple7 triple9) -> rule7)) -> rule1) ((triple9 triple11) -> rule5)) -> rule6) OR ((((triple8 ((triple7 triple9) -> rule7)) -> rule8) ((triple9 triple11) -> rule5)) -> rule6) OR ((((triple12 ((triple7 ((triple7) -> rule4)) -> rule7)) -> rule1) triple7) -> rule6) OR ((((triple8 ((triple7 ((triple7) -> rule4)) -> rule7)) -> rule8) triple7) -> rule6) OR ((((triple12 ((triple7 ((triple7) -> rule4)) -> rule7)) -> rule1) ((triple9 triple11) -> rule5)) -> rule6) OR ((((triple8 ((triple7 ((triple7) -> rule4)) -> rule7)) -> rule8) ((triple9 triple11) -> rule5)) -> rule6))] Bob is round.[(triple11 OR ((triple12 ((triple7 triple9) -> rule7)) -> rule1) OR ((triple8 ((triple7 triple9) -> rule7)) -> rule8) OR ((triple12 ((triple7 ((triple7) -> rule4)) -> rule7)) -> rule1) OR ((triple8 ((triple7 ((triple7) -> rule4)) -> rule7)) -> rule8))] Bob is young.[(triple12 OR ((triple11 triple9) -> rule2) OR ((triple11 ((triple7) -> rule4)) -> rule2) OR ((((triple8 ((triple7 triple9) -> rule7)) -> rule8) triple9) -> rule2) OR ((((triple8 ((triple7 triple9) -> rule7)) -> rule8) ((triple7) -> rule4)) -> rule2) OR ((((triple8 ((triple7 ((triple7) -> rule4)) -> rule7)) -> rule8) triple9) -> rule2) OR ((((triple8 ((triple7 ((triple7) -> rule4)) -> rule7)) -> rule8) ((triple7) -> rule4)) -> rule2))] Gary is blue.[(triple13 OR ((triple16 ((triple15 triple14) -> rule8)) -> rule5) OR ((((triple15 triple14) -> rule8) triple14) -> rule3))] Gary is cold.[(triple14 OR ((triple13 triple16) -> rule7) OR ((triple13 ((triple13) -> rule4)) -> rule7))] Gary is furry.[(triple15)] Gary is kind.[(triple16 OR ((triple13) -> rule4) OR ((((((triple15 triple14) -> rule8) triple14) -> rule3)) -> rule4))] @1: Anne is round.[(((triple3 triple2) -> rule8) OR ((triple6 triple2) -> rule1) OR ((triple3 ((triple1 triple4) -> rule7)) -> rule8) OR ((triple6 ((triple1 triple4) -> rule7)) -> rule1) OR ((triple3 ((triple1 ((triple1) -> rule4)) -> rule7)) -> rule8) OR ((triple6 ((triple1 ((triple1) -> rule4)) -> rule7)) -> rule1))] Bob is cold.[(((triple7 triple9) -> rule7) OR ((triple7 ((triple7) -> rule4)) -> rule7) OR ((((triple9 triple11) -> rule5) triple9) -> rule7) OR ((((triple9 triple11) -> rule5) ((triple7) -> rule4)) -> rule7))] Gary is round.[(((triple15 triple14) -> rule8) OR ((triple15 ((triple13 triple16) -> rule7)) -> rule8) OR ((triple15 ((triple13 ((triple13) -> rule4)) -> rule7)) -> rule8))] @2: Gary is young.[(((((triple15 triple14) -> rule8) triple16) -> rule2) OR ((((triple15 triple14) -> rule8) ((triple13) -> rule4)) -> rule2) OR ((((triple15 ((triple13 triple16) -> rule7)) -> rule8) triple16) -> rule2) OR ((((triple15 ((triple13 triple16) -> rule7)) -> rule8) ((triple13) -> rule4)) -> rule2) OR ((((triple15 ((triple13 ((triple13) -> rule4)) -> rule7)) -> rule8) triple16) -> rule2) OR ((((triple15 triple14) -> rule8) ((((((triple15 triple14) -> rule8) triple14) -> rule3)) -> rule4)) -> rule2) OR ((((triple15 ((triple13 ((triple13) -> rule4)) -> rule7)) -> rule8) ((triple13) -> rule4)) -> rule2) OR ((((triple15 ((triple13 triple16) -> rule7)) -> rule8) ((((((triple15 triple14) -> rule8) triple14) -> rule3)) -> rule4)) -> rule2) OR ((((triple15 ((triple13 ((triple13) -> rule4)) -> rule7)) -> rule8) ((((((triple15 triple14) -> rule8) triple14) -> rule3)) -> rule4)) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple4 ((triple3 triple2) -> (rule8 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((triple4 ((triple6 triple2) -> (rule1 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple3 triple2) -> (rule8 % int2)) triple2) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple6 triple2) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple1 triple4) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple1 ((triple1) -> (rule4 % int2))) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
((triple1) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((((triple3 triple2) -> (rule8 % int3)) triple2) -> (rule3 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple6 triple2) -> (rule1 % int3)) triple2) -> (rule3 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
((((triple3 triple2) -> (rule8 % int2)) triple4) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple3 triple2) -> (rule8 % int3)) ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple3 ((triple1 triple4) -> (rule7 % int3))) -> (rule8 % int2)) triple4) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple3 ((triple1 triple4) -> (rule7 % int4))) -> (rule8 % int3)) ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((triple3 ((triple1 ((triple1) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple4) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple3 triple2) -> (rule8 % int4)) ((((((triple3 triple2) -> (rule8 % int4)) triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple3 ((triple1 ((triple1) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple1) -> (rule4 % int4))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple3 ((triple1 triple4) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple3 triple2) -> (rule8 % int4)) triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((triple3 ((triple1 ((triple1) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple3 triple2) -> (rule8 % int3)) triple2) -> (rule3 % int2))) -> (rule4 % int5))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
triple7
((triple9 triple11) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
triple9
((triple7) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple10
((triple11 triple7) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple11 ((triple9 triple11) -> (rule5 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple12 ((triple7 triple9) -> (rule7 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple8 ((triple7 triple9) -> (rule7 % int3))) -> (rule8 % int2)) triple7) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple12 ((triple7 triple9) -> (rule7 % int4))) -> (rule1 % int3)) ((triple9 triple11) -> (rule5 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple8 ((triple7 triple9) -> (rule7 % int4))) -> (rule8 % int3)) ((triple9 triple11) -> (rule5 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple12 ((triple7 ((triple7) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple8 ((triple7 ((triple7) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple7) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple12 ((triple7 ((triple7) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((triple9 triple11) -> (rule5 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple8 ((triple7 ((triple7) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple9 triple11) -> (rule5 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is round.
("Bob" "is" "round" "+")
triple11
((triple12 ((triple7 triple9) -> (rule7 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((triple8 ((triple7 triple9) -> (rule7 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((triple12 ((triple7 ((triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple8 ((triple7 ((triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
triple12
((triple11 triple9) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple11 ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple8 ((triple7 triple9) -> (rule7 % int3))) -> (rule8 % int2)) triple9) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple8 ((triple7 triple9) -> (rule7 % int4))) -> (rule8 % int3)) ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple8 ((triple7 ((triple7) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple9) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple8 ((triple7 ((triple7) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple7) -> (rule4 % int4))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
triple13
((triple16 ((triple15 triple14) -> (rule8 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple15 triple14) -> (rule8 % int2)) triple14) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
triple14
((triple13 triple16) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple13 ((triple13) -> (rule4 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
triple15
Gary is kind.
("Gary" "is" "kind" "+")
triple16
((triple13) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((((triple15 triple14) -> (rule8 % int3)) triple14) -> (rule3 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
((triple3 triple2) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple6 triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple3 ((triple1 triple4) -> (rule7 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple6 ((triple1 triple4) -> (rule7 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple3 ((triple1 ((triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((triple6 ((triple1 ((triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
((triple7 triple9) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple7 ((triple7) -> (rule4 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple9 triple11) -> (rule5 % int2)) triple9) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple9 triple11) -> (rule5 % int3)) ((triple7) -> (rule4 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
((triple15 triple14) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple15 ((triple13 triple16) -> (rule7 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((triple15 ((triple13 ((triple13) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((((triple15 triple14) -> (rule8 % int2)) triple16) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple15 triple14) -> (rule8 % int3)) ((triple13) -> (rule4 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple15 ((triple13 triple16) -> (rule7 % int3))) -> (rule8 % int2)) triple16) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple15 ((triple13 triple16) -> (rule7 % int4))) -> (rule8 % int3)) ((triple13) -> (rule4 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((triple15 ((triple13 ((triple13) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple16) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple15 triple14) -> (rule8 % int4)) ((((((triple15 triple14) -> (rule8 % int4)) triple14) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple15 ((triple13 ((triple13) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple13) -> (rule4 % int4))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple15 ((triple13 triple16) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple15 triple14) -> (rule8 % int4)) triple14) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((triple15 ((triple13 ((triple13) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple15 triple14) -> (rule8 % int3)) triple14) -> (rule3 % int2))) -> (rule4 % int5))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5