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