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