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