Dave is blue. Dave is furry. Dave is green. Dave is quiet. Erin is blue. Erin is furry. Erin is green. Erin is quiet. Erin is round. Erin is smart. Erin is white. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is smart. Fiona is white. Blue, quiet things are round. If something is smart then it is green. If Erin is furry then Erin is white. Quiet, blue things are round. If Dave is quiet and Dave is round then Dave is white. If something is quiet and green then it is blue. All blue, smart things are green. If something is white then it is smart.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Blue, quiet things are round.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
If something is smart then it is green.
((("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
If Erin is furry then Erin is white.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "white" "+"))
Quiet, blue things are round.
((("something" "is" "quiet" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
If Dave is quiet and Dave is round then Dave is white.
((("Dave" "is" "quiet" "+") ("Dave" "is" "round" "+")) -> ("Dave" "is" "white" "+"))
If something is quiet and green then it is blue.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
All blue, smart things are green.
((("something" "is" "blue" "+") ("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
If something is white then it is smart.
((("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
Erin is white.
True
1
proof
[(triple11 OR ((triple6) -> rule3))]
("Erin" "is" "white" "+")
triple11
((triple6) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is not furry.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "furry" "-")
triple12
Dave is round.
True
3
proof
[(((triple1 triple4) -> rule1) OR ((triple4 triple1) -> rule4) OR ((triple4 ((triple4 triple3) -> rule6)) -> rule4) OR ((((triple4 triple3) -> rule6) triple4) -> rule1))]
("Dave" "is" "round" "+")
((triple1 triple4) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple4 triple1) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple4 ((triple4 triple3) -> (rule6 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple4 triple3) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Fiona is not blue.
False
3
inv-proof
[(((triple14 triple13) -> rule6) OR ((triple14 ((triple15) -> rule2)) -> rule6) OR ((triple14 ((((triple16) -> rule8)) -> rule2)) -> rule6))]
("Fiona" "is" "blue" "-")
((triple14 triple13) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple14 ((triple15) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((triple14 ((((triple16) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Dave is white.
True
5
proof
[(((triple4 ((triple1 triple4) -> rule1)) -> rule5) OR ((triple4 ((triple4 triple1) -> rule4)) -> rule5) OR ((triple4 ((triple4 ((triple4 triple3) -> rule6)) -> rule4)) -> rule5) OR ((triple4 ((((triple4 triple3) -> rule6) triple4) -> rule1)) -> rule5))]
("Dave" "is" "white" "+")
((triple4 ((triple1 triple4) -> (rule1 % int2))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((triple4 ((triple4 triple1) -> (rule4 % int2))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((triple4 ((triple4 ((triple4 triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple4 ((((triple4 triple3) -> (rule6 % int3)) triple4) -> (rule1 % int2))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Fiona is not round.
False
5
inv-proof
[(((triple14 ((triple14 triple13) -> rule6)) -> rule4) OR ((((triple14 triple13) -> rule6) triple14) -> rule1) OR ((triple14 ((triple14 ((triple15) -> rule2)) -> rule6)) -> rule4) OR ((((triple14 ((triple15) -> rule2)) -> rule6) triple14) -> rule1) OR ((triple14 ((triple14 ((((triple16) -> rule8)) -> rule2)) -> rule6)) -> rule4) OR ((((triple14 ((((triple16) -> rule8)) -> rule2)) -> rule6) triple14) -> rule1))]
("Fiona" "is" "round" "-")
((triple14 ((triple14 triple13) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple14 triple13) -> (rule6 % int2)) triple14) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((triple14 ((triple14 ((triple15) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple14 ((triple15) -> (rule2 % int3))) -> (rule6 % int2)) triple14) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((triple14 ((triple14 ((((triple16) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((triple14 ((((triple16) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple14) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Dave is smart.
True
6
proof
[(((((triple4 ((triple1 triple4) -> rule1)) -> rule5)) -> rule8) OR ((((triple4 ((triple4 triple1) -> rule4)) -> rule5)) -> rule8) OR ((((triple4 ((triple4 ((triple4 triple3) -> rule6)) -> rule4)) -> rule5)) -> rule8) OR ((((triple4 ((((triple4 triple3) -> rule6) triple4) -> rule1)) -> rule5)) -> rule8))]
("Dave" "is" "smart" "+")
((((triple4 ((triple1 triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple4 ((triple4 triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple4 ((triple4 ((triple4 triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((triple4 ((((triple4 triple3) -> (rule6 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is not smart.
False
6
inv-proof
[(((((triple4 ((triple1 triple4) -> rule1)) -> rule5)) -> rule8) OR ((((triple4 ((triple4 triple1) -> rule4)) -> rule5)) -> rule8) OR ((((triple4 ((triple4 ((triple4 triple3) -> rule6)) -> rule4)) -> rule5)) -> rule8) OR ((((triple4 ((((triple4 triple3) -> rule6) triple4) -> rule1)) -> rule5)) -> rule8))]
("Dave" "is" "smart" "-")
((((triple4 ((triple1 triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple4 ((triple4 triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple4 ((triple4 ((triple4 triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((triple4 ((((triple4 triple3) -> (rule6 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
@0: Dave is blue.[(triple1 OR ((triple4 triple3) -> rule6))] Dave is furry.[(triple2)] Dave is green.[(triple3 OR ((((((triple4 ((triple1 triple4) -> rule1)) -> rule5)) -> rule8)) -> rule2) OR ((((((triple4 ((triple4 triple1) -> rule4)) -> rule5)) -> rule8)) -> rule2) OR ((triple1 ((((triple4 ((triple1 triple4) -> rule1)) -> rule5)) -> rule8)) -> rule7) OR ((triple1 ((((triple4 ((triple4 triple1) -> rule4)) -> rule5)) -> rule8)) -> rule7))] Dave is quiet.[(triple4)] Erin is blue.[(triple5 OR ((triple8 triple7) -> rule6) OR ((triple8 ((triple10) -> rule2)) -> rule6) OR ((triple8 ((((triple11) -> rule8)) -> rule2)) -> rule6) OR ((triple8 ((((((triple6) -> rule3)) -> rule8)) -> rule2)) -> rule6))] Erin is furry.[(triple6)] Erin is green.[(triple7 OR ((triple10) -> rule2) OR ((triple5 triple10) -> rule7) OR ((((triple11) -> rule8)) -> rule2) OR ((triple5 ((triple11) -> rule8)) -> rule7) OR ((((((triple6) -> rule3)) -> rule8)) -> rule2) OR ((triple5 ((((triple6) -> rule3)) -> rule8)) -> rule7))] Erin is quiet.[(triple8)] Erin is round.[(triple9 OR ((triple5 triple8) -> rule1) OR ((triple8 triple5) -> rule4) OR ((triple8 ((triple8 triple7) -> rule6)) -> rule4) OR ((((triple8 triple7) -> rule6) triple8) -> rule1) OR ((triple8 ((triple8 ((triple10) -> rule2)) -> rule6)) -> rule4) OR ((((triple8 ((triple10) -> rule2)) -> rule6) triple8) -> rule1) OR ((triple8 ((triple8 ((((triple11) -> rule8)) -> rule2)) -> rule6)) -> rule4) OR ((((triple8 ((((triple11) -> rule8)) -> rule2)) -> rule6) triple8) -> rule1) OR ((triple8 ((triple8 ((((((triple6) -> rule3)) -> rule8)) -> rule2)) -> rule6)) -> rule4) OR ((((triple8 ((((((triple6) -> rule3)) -> rule8)) -> rule2)) -> rule6) triple8) -> rule1))] Erin is smart.[(triple10 OR ((triple11) -> rule8) OR ((((triple6) -> rule3)) -> rule8))] Erin is white.[(triple11 OR ((triple6) -> rule3))] Fiona is furry.[(triple12)] Fiona is green.[(triple13 OR ((triple15) -> rule2) OR ((((triple16) -> rule8)) -> rule2))] Fiona is quiet.[(triple14)] Fiona is smart.[(triple15 OR ((triple16) -> rule8))] Fiona is white.[(triple16)] @1: Dave is round.[(((triple1 triple4) -> rule1) OR ((triple4 triple1) -> rule4) OR ((triple4 ((triple4 triple3) -> rule6)) -> rule4) OR ((((triple4 triple3) -> rule6) triple4) -> rule1))] Fiona is blue.[(((triple14 triple13) -> rule6) OR ((triple14 ((triple15) -> rule2)) -> rule6) OR ((triple14 ((((triple16) -> rule8)) -> rule2)) -> rule6))] @2: Dave is white.[(((triple4 ((triple1 triple4) -> rule1)) -> rule5) OR ((triple4 ((triple4 triple1) -> rule4)) -> rule5) OR ((triple4 ((triple4 ((triple4 triple3) -> rule6)) -> rule4)) -> rule5) OR ((triple4 ((((triple4 triple3) -> rule6) triple4) -> rule1)) -> rule5))] Fiona is round.[(((triple14 ((triple14 triple13) -> rule6)) -> rule4) OR ((((triple14 triple13) -> rule6) triple14) -> rule1) OR ((triple14 ((triple14 ((triple15) -> rule2)) -> rule6)) -> rule4) OR ((((triple14 ((triple15) -> rule2)) -> rule6) triple14) -> rule1) OR ((triple14 ((triple14 ((((triple16) -> rule8)) -> rule2)) -> rule6)) -> rule4) OR ((((triple14 ((((triple16) -> rule8)) -> rule2)) -> rule6) triple14) -> rule1))] @3: Dave is smart.[(((((triple4 ((triple1 triple4) -> rule1)) -> rule5)) -> rule8) OR ((((triple4 ((triple4 triple1) -> rule4)) -> rule5)) -> rule8) OR ((((triple4 ((triple4 ((triple4 triple3) -> rule6)) -> rule4)) -> rule5)) -> rule8) OR ((((triple4 ((((triple4 triple3) -> rule6) triple4) -> rule1)) -> rule5)) -> rule8))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
((triple4 triple3) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
((((((triple4 ((triple1 triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple4 ((triple4 triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple1 ((((triple4 ((triple1 triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((triple1 ((((triple4 ((triple4 triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
((triple8 triple7) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple8 ((triple10) -> (rule2 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple8 ((((triple11) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple8 ((((((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
((triple10) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple5 triple10) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple11) -> (rule8 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((triple5 ((triple11) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((((triple6) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple5 ((((triple6) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
((triple5 triple8) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple8 triple5) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple8 ((triple8 triple7) -> (rule6 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple8 triple7) -> (rule6 % int2)) triple8) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((triple8 ((triple8 ((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple8 ((triple10) -> (rule2 % int3))) -> (rule6 % int2)) triple8) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((triple8 ((triple8 ((((triple11) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple8 ((((triple11) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple8) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((triple8 ((triple8 ((((((triple6) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple8 ((((((triple6) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple8) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
triple10
((triple11) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
triple11
((triple6) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
triple13
((triple15) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple16) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
((triple16) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple16
Dave is round.
("Dave" "is" "round" "+")
((triple1 triple4) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple4 triple1) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple4 ((triple4 triple3) -> (rule6 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple4 triple3) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple14 triple13) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple14 ((triple15) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((triple14 ((((triple16) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
((triple4 ((triple1 triple4) -> (rule1 % int2))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((triple4 ((triple4 triple1) -> (rule4 % int2))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((triple4 ((triple4 ((triple4 triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple4 ((((triple4 triple3) -> (rule6 % int3)) triple4) -> (rule1 % int2))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
((triple14 ((triple14 triple13) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple14 triple13) -> (rule6 % int2)) triple14) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((triple14 ((triple14 ((triple15) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple14 ((triple15) -> (rule2 % int3))) -> (rule6 % int2)) triple14) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((triple14 ((triple14 ((((triple16) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((triple14 ((((triple16) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple14) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
((((triple4 ((triple1 triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple4 ((triple4 triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple4 ((triple4 ((triple4 triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((triple4 ((((triple4 triple3) -> (rule6 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4