Anne is round. Anne is white. Bob is cold. Bob is kind. Dave is cold. Dave is kind. Dave is red. Dave is round. Dave is smart. Dave is white. Dave is young. Erin is red. Erin is round. Erin is smart. Erin is young. All red things are kind. All red things are smart. If something is white and young then it is kind. If something is cold then it is young. Kind, round things are cold. If something is red then it is white. All young things are red. White things are young.
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
All red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
All red things are smart.
((("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
If something is white and young then it is kind.
((("something" "is" "white" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something is cold then it is young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
Kind, round things are cold.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
If something is red then it is white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
All young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
White things are young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
Dave is red.
True
1
proof
[(triple7 OR ((triple11) -> rule7) OR ((((triple10) -> rule8)) -> rule7) OR ((((triple5) -> rule4)) -> rule7) OR ((((((triple6 triple8) -> rule5)) -> rule4)) -> rule7))]
("Dave" "is" "red" "+")
triple7
((triple11) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple5) -> (rule4 % int2))) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((((triple6 triple8) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not cold.
False
1
inv-proof
[(triple5 OR ((triple6 triple8) -> rule5) OR ((((triple7) -> rule1) triple8) -> rule5) OR ((((triple10 triple11) -> rule3) triple8) -> rule5) OR ((((((triple11) -> rule7)) -> rule1) triple8) -> rule5) OR ((((triple10 ((triple10) -> rule8)) -> rule3) triple8) -> rule5) OR ((((((triple7) -> rule6) triple11) -> rule3) triple8) -> rule5) OR ((((((triple7) -> rule6) ((triple10) -> rule8)) -> rule3) triple8) -> rule5) OR ((((((((triple10) -> rule8)) -> rule7)) -> rule1) triple8) -> rule5) OR ((((triple10 ((((triple7) -> rule6)) -> rule8)) -> rule3) triple8) -> rule5) OR ((((((((triple11) -> rule7)) -> rule6) triple11) -> rule3) triple8) -> rule5) OR ((((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule8)) -> rule3) triple8) -> rule5) OR ((((((((triple11) -> rule7)) -> rule6) ((triple10) -> rule8)) -> rule3) triple8) -> rule5) OR ((((((((triple11) -> rule7)) -> rule6) ((((triple7) -> rule6)) -> rule8)) -> rule3) triple8) -> rule5))]
("Dave" "is" "cold" "-")
triple5
((triple6 triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple7) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple10 triple11) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((((triple11) -> (rule7 % int3))) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple10 ((triple10) -> (rule8 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple7) -> (rule6 % int3)) triple11) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((triple7) -> (rule6 % int4)) ((triple10) -> (rule8 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((((triple10) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((triple10 ((((triple7) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((((triple11) -> (rule7 % int4))) -> (rule6 % int3)) triple11) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple7) -> (rule6 % int4)) ((((triple7) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((((triple11) -> (rule7 % int5))) -> (rule6 % int4)) ((triple10) -> (rule8 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple11) -> (rule7 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Anne is young.
True
2
proof
[(((triple2) -> rule8))]
("Anne" "is" "young" "+")
((triple2) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple2) -> rule8))]
("Anne" "is" "young" "-")
((triple2) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
@0: Anne is round.[(triple1)] Anne is white.[(triple2)] Bob is cold.[(triple3)] Bob is kind.[(triple4 OR ((((((triple3) -> rule4)) -> rule7)) -> rule1) OR ((((((((triple3) -> rule4)) -> rule7)) -> rule6) ((triple3) -> rule4)) -> rule3))] Dave is cold.[(triple5 OR ((triple6 triple8) -> rule5) OR ((((triple7) -> rule1) triple8) -> rule5) OR ((((triple10 triple11) -> rule3) triple8) -> rule5) OR ((((((triple11) -> rule7)) -> rule1) triple8) -> rule5) OR ((((triple10 ((triple10) -> rule8)) -> rule3) triple8) -> rule5) OR ((((((triple7) -> rule6) triple11) -> rule3) triple8) -> rule5) OR ((((((triple7) -> rule6) ((triple10) -> rule8)) -> rule3) triple8) -> rule5) OR ((((((((triple10) -> rule8)) -> rule7)) -> rule1) triple8) -> rule5) OR ((((triple10 ((((triple7) -> rule6)) -> rule8)) -> rule3) triple8) -> rule5) OR ((((((((triple11) -> rule7)) -> rule6) triple11) -> rule3) triple8) -> rule5) OR ((((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule8)) -> rule3) triple8) -> rule5) OR ((((((((triple11) -> rule7)) -> rule6) ((triple10) -> rule8)) -> rule3) triple8) -> rule5) OR ((((((((triple11) -> rule7)) -> rule6) ((((triple7) -> rule6)) -> rule8)) -> rule3) triple8) -> rule5))] Dave is kind.[(triple6 OR ((triple7) -> rule1) OR ((triple10 triple11) -> rule3) OR ((((triple11) -> rule7)) -> rule1) OR ((triple10 ((triple10) -> rule8)) -> rule3) OR ((triple10 ((triple5) -> rule4)) -> rule3) OR ((((triple7) -> rule6) triple11) -> rule3) OR ((((triple7) -> rule6) ((triple10) -> rule8)) -> rule3) OR ((((triple7) -> rule6) ((triple5) -> rule4)) -> rule3) OR ((((((triple10) -> rule8)) -> rule7)) -> rule1) OR ((((((triple5) -> rule4)) -> rule7)) -> rule1) OR ((triple10 ((((triple7) -> rule6)) -> rule8)) -> rule3) OR ((((((triple11) -> rule7)) -> rule6) triple11) -> rule3) OR ((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule8)) -> rule3) OR ((((((triple11) -> rule7)) -> rule6) ((triple10) -> rule8)) -> rule3) OR ((((((triple11) -> rule7)) -> rule6) ((triple5) -> rule4)) -> rule3) OR ((((((triple11) -> rule7)) -> rule6) ((((triple7) -> rule6)) -> rule8)) -> rule3) OR ((((((((triple5) -> rule4)) -> rule7)) -> rule6) triple11) -> rule3) OR ((((((((triple5) -> rule4)) -> rule7)) -> rule6) ((triple10) -> rule8)) -> rule3) OR ((((((((triple5) -> rule4)) -> rule7)) -> rule6) ((triple5) -> rule4)) -> rule3) OR ((((((((triple5) -> rule4)) -> rule7)) -> rule6) ((((triple7) -> rule6)) -> rule8)) -> rule3))] Dave is red.[(triple7 OR ((triple11) -> rule7) OR ((((triple10) -> rule8)) -> rule7) OR ((((triple5) -> rule4)) -> rule7) OR ((((((triple6 triple8) -> rule5)) -> rule4)) -> rule7))] Dave is round.[(triple8)] Dave is smart.[(triple9 OR ((triple7) -> rule2) OR ((((triple11) -> rule7)) -> rule2) OR ((((((triple10) -> rule8)) -> rule7)) -> rule2) OR ((((((triple5) -> rule4)) -> rule7)) -> rule2) OR ((((((((triple6 triple8) -> rule5)) -> rule4)) -> rule7)) -> rule2))] Dave is white.[(triple10 OR ((triple7) -> rule6) OR ((((triple11) -> rule7)) -> rule6) OR ((((((triple5) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple6 triple8) -> rule5)) -> rule4)) -> rule7)) -> rule6))] Dave is young.[(triple11 OR ((triple10) -> rule8) OR ((triple5) -> rule4) OR ((((triple7) -> rule6)) -> rule8) OR ((((triple6 triple8) -> rule5)) -> rule4) OR ((((((triple7) -> rule1) triple8) -> rule5)) -> rule4))] Erin is red.[(triple12 OR ((triple15) -> rule7))] Erin is round.[(triple13)] Erin is smart.[(triple14 OR ((triple12) -> rule2) OR ((((triple15) -> rule7)) -> rule2))] Erin is young.[(triple15 OR ((((triple12) -> rule6)) -> rule8) OR ((((((triple12) -> rule1) triple13) -> rule5)) -> rule4))] @1: Anne is young.[(((triple2) -> rule8))] Bob is young.[(((triple3) -> rule4))] Erin is kind.[(((triple12) -> rule1) OR ((((triple15) -> rule7)) -> rule1) OR ((((triple12) -> rule6) triple15) -> rule3) OR ((((((triple15) -> rule7)) -> rule6) triple15) -> rule3) OR ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule8)) -> rule3) OR ((((((triple15) -> rule7)) -> rule6) ((((triple12) -> rule6)) -> rule8)) -> rule3))] Erin is white.[(((triple12) -> rule6) OR ((((triple15) -> rule7)) -> rule6))] @2: Anne is kind.[(((triple2 ((triple2) -> rule8)) -> rule3) OR ((((((triple2) -> rule8)) -> rule7)) -> rule1))] Anne is red.[(((((triple2) -> rule8)) -> rule7))] Bob is red.[(((((triple3) -> rule4)) -> rule7))] Erin is cold.[(((((triple12) -> rule1) triple13) -> rule5) OR ((((((triple15) -> rule7)) -> rule1) triple13) -> rule5) OR ((((((triple12) -> rule6) triple15) -> rule3) triple13) -> rule5) OR ((((((((triple15) -> rule7)) -> rule6) triple15) -> rule3) triple13) -> rule5) OR ((((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule8)) -> rule3) triple13) -> rule5) OR ((((((((triple15) -> rule7)) -> rule6) ((((triple12) -> rule6)) -> rule8)) -> rule3) triple13) -> rule5))] @3: Anne is cold.[(((((triple2 ((triple2) -> rule8)) -> rule3) triple1) -> rule5) OR ((((((((triple2) -> rule8)) -> rule7)) -> rule1) triple1) -> rule5))] Anne is smart.[(((((((triple2) -> rule8)) -> rule7)) -> rule2))] Bob is smart.[(((((((triple3) -> rule4)) -> rule7)) -> rule2))] Bob is white.[(((((((triple3) -> rule4)) -> rule7)) -> rule6))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
((((((triple3) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((((triple3) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple3) -> (rule4 % int4))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
((triple6 triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple7) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple10 triple11) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((((triple11) -> (rule7 % int3))) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple10 ((triple10) -> (rule8 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple7) -> (rule6 % int3)) triple11) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((triple7) -> (rule6 % int4)) ((triple10) -> (rule8 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((((triple10) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((triple10 ((((triple7) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((((triple11) -> (rule7 % int4))) -> (rule6 % int3)) triple11) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple7) -> (rule6 % int4)) ((((triple7) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((((triple11) -> (rule7 % int5))) -> (rule6 % int4)) ((triple10) -> (rule8 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple11) -> (rule7 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
((triple7) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((triple10 triple11) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple11) -> (rule7 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((triple10 ((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((triple10 ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple7) -> (rule6 % int2)) triple11) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple7) -> (rule6 % int3)) ((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple7) -> (rule6 % int3)) ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((triple10) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((triple10 ((((triple7) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((triple11) -> (rule7 % int3))) -> (rule6 % int2)) triple11) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple7) -> (rule6 % int3)) ((((triple7) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((triple11) -> (rule7 % int4))) -> (rule6 % int3)) ((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple11) -> (rule7 % int4))) -> (rule6 % int3)) ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple11) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple11) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple10) -> (rule8 % int4))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple5) -> (rule4 % int4))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple7) -> (rule6 % int2))) -> (rule8 % int4))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
triple7
((triple11) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple10) -> (rule8 % int2))) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple5) -> (rule4 % int2))) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((((triple6 triple8) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is smart.
("Dave" "is" "smart" "+")
triple9
((triple7) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple11) -> (rule7 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((((triple10) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((((triple6 triple8) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
triple10
((triple7) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((triple11) -> (rule7 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((((triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((((triple6 triple8) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
triple11
((triple10) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple5) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple6 triple8) -> (rule5 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((((triple7) -> (rule1 % int3)) triple8) -> (rule5 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
triple12
((triple15) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple13
Erin is smart.
("Erin" "is" "smart" "+")
triple14
((triple12) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple15) -> (rule7 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
triple15
((((triple12) -> (rule6 % int2))) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((((triple12) -> (rule1 % int3)) triple13) -> (rule5 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
((triple2) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple3) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple12) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple15) -> (rule7 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple12) -> (rule6 % int2)) triple15) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((((triple15) -> (rule7 % int3))) -> (rule6 % int2)) triple15) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple12) -> (rule6 % int3)) ((((triple12) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple15) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple12) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
((triple12) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple15) -> (rule7 % int2))) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
((triple2 ((triple2) -> (rule8 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
((((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((triple3) -> (rule4 % int2))) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
((((triple12) -> (rule1 % int2)) triple13) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((((triple15) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple12) -> (rule6 % int3)) triple15) -> (rule3 % int2)) triple13) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((((triple15) -> (rule7 % int4))) -> (rule6 % int3)) triple15) -> (rule3 % int2)) triple13) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple12) -> (rule6 % int4)) ((((triple12) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) triple13) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((((triple15) -> (rule7 % int5))) -> (rule6 % int4)) ((((triple12) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) triple13) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
((((triple2 ((triple2) -> (rule8 % int3))) -> (rule3 % int2)) triple1) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((((triple2) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple1) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
((((((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
((((((triple3) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
((((((triple3) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3