Dave is blue. Dave is furry. Dave is green. Dave is quiet. Dave is red. Dave is smart. Dave is white. All white people are smart. If someone is green and smart then they are white. If someone is white and red then they are quiet. Furry, white people are red. If someone is furry and green then they are smart. All blue people are red. If someone is furry and white then they are quiet. Quiet people are green.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
All white people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
If someone is green and smart then they are white.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If someone is white and red then they are quiet.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Furry, white people are red.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If someone is furry and green then they are smart.
((("someone" "is" "furry" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
All blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is furry and white then they are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Quiet people are green.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
Dave is red.
True
1
proof
[(triple5 OR ((triple1) -> rule6) OR ((triple2 triple7) -> rule4) OR ((triple2 ((triple3 triple6) -> rule2)) -> rule4) OR ((triple2 ((triple3 ((triple2 triple3) -> rule5)) -> rule2)) -> rule4) OR ((triple2 ((((triple4) -> rule8) triple6) -> rule2)) -> rule4) OR ((triple2 ((((triple4) -> rule8) ((triple2 triple3) -> rule5)) -> rule2)) -> rule4) OR ((triple2 ((triple3 ((triple2 ((triple4) -> rule8)) -> rule5)) -> rule2)) -> rule4) OR ((triple2 ((((triple4) -> rule8) ((triple2 ((triple4) -> rule8)) -> rule5)) -> rule2)) -> rule4))]
("Dave" "is" "red" "+")
triple5
((triple1) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple2 triple7) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple2 ((triple3 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((triple2 ((triple3 ((triple2 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple2 ((((triple4) -> (rule8 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple2 ((((triple4) -> (rule8 % int4)) ((triple2 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple2 ((triple3 ((triple2 ((triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple2 ((((triple4) -> (rule8 % int4)) ((triple2 ((triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is not red.
False
1
inv-proof
[(triple5 OR ((triple1) -> rule6) OR ((triple2 triple7) -> rule4) OR ((triple2 ((triple3 triple6) -> rule2)) -> rule4) OR ((triple2 ((triple3 ((triple2 triple3) -> rule5)) -> rule2)) -> rule4) OR ((triple2 ((((triple4) -> rule8) triple6) -> rule2)) -> rule4) OR ((triple2 ((((triple4) -> rule8) ((triple2 triple3) -> rule5)) -> rule2)) -> rule4) OR ((triple2 ((triple3 ((triple2 ((triple4) -> rule8)) -> rule5)) -> rule2)) -> rule4) OR ((triple2 ((((triple4) -> rule8) ((triple2 ((triple4) -> rule8)) -> rule5)) -> rule2)) -> rule4))]
("Dave" "is" "red" "-")
triple5
((triple1) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple2 triple7) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple2 ((triple3 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((triple2 ((triple3 ((triple2 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple2 ((((triple4) -> (rule8 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple2 ((((triple4) -> (rule8 % int4)) ((triple2 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple2 ((triple3 ((triple2 ((triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple2 ((((triple4) -> (rule8 % int4)) ((triple2 ((triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3 OR ((triple4) -> rule8) OR ((((triple2 triple7) -> rule7)) -> rule8) OR ((((triple7 triple5) -> rule3)) -> rule8) OR ((((triple7 ((triple1) -> rule6)) -> rule3)) -> rule8) OR ((((triple7 ((triple2 triple7) -> rule4)) -> rule3)) -> rule8))] Dave is quiet.[(triple4 OR ((triple2 triple7) -> rule7) OR ((triple7 triple5) -> rule3) OR ((triple2 ((triple3 triple6) -> rule2)) -> rule7) OR ((triple7 ((triple1) -> rule6)) -> rule3) OR ((triple7 ((triple2 triple7) -> rule4)) -> rule3) OR ((((triple3 triple6) -> rule2) triple5) -> rule3) OR ((((triple3 triple6) -> rule2) ((triple1) -> rule6)) -> rule3) OR ((((triple3 triple6) -> rule2) ((triple2 triple7) -> rule4)) -> rule3) OR ((triple2 ((triple3 ((triple2 triple3) -> rule5)) -> rule2)) -> rule7) OR ((triple7 ((triple2 ((triple3 triple6) -> rule2)) -> rule4)) -> rule3) OR ((((triple3 ((triple2 triple3) -> rule5)) -> rule2) triple5) -> rule3) OR ((((triple3 triple6) -> rule2) ((triple2 ((triple3 triple6) -> rule2)) -> rule4)) -> rule3) OR ((((triple3 ((triple2 triple3) -> rule5)) -> rule2) ((triple1) -> rule6)) -> rule3) OR ((((triple3 ((triple2 triple3) -> rule5)) -> rule2) ((triple2 triple7) -> rule4)) -> rule3) OR ((((triple3 ((triple2 triple3) -> rule5)) -> rule2) ((triple2 ((triple3 triple6) -> rule2)) -> rule4)) -> rule3) OR ((triple7 ((triple2 ((triple3 ((triple2 triple3) -> rule5)) -> rule2)) -> rule4)) -> rule3) OR ((((triple3 triple6) -> rule2) ((triple2 ((triple3 ((triple2 triple3) -> rule5)) -> rule2)) -> rule4)) -> rule3) OR ((((triple3 ((triple2 triple3) -> rule5)) -> rule2) ((triple2 ((triple3 ((triple2 triple3) -> rule5)) -> rule2)) -> rule4)) -> rule3))] Dave is red.[(triple5 OR ((triple1) -> rule6) OR ((triple2 triple7) -> rule4) OR ((triple2 ((triple3 triple6) -> rule2)) -> rule4) OR ((triple2 ((triple3 ((triple2 triple3) -> rule5)) -> rule2)) -> rule4) OR ((triple2 ((((triple4) -> rule8) triple6) -> rule2)) -> rule4) OR ((triple2 ((((triple4) -> rule8) ((triple2 triple3) -> rule5)) -> rule2)) -> rule4) OR ((triple2 ((triple3 ((triple2 ((triple4) -> rule8)) -> rule5)) -> rule2)) -> rule4) OR ((triple2 ((((triple4) -> rule8) ((triple2 ((triple4) -> rule8)) -> rule5)) -> rule2)) -> rule4))] Dave is smart.[(triple6 OR ((triple7) -> rule1) OR ((triple2 triple3) -> rule5) OR ((triple2 ((triple4) -> rule8)) -> rule5) OR ((triple2 ((((triple2 triple7) -> rule7)) -> rule8)) -> rule5) OR ((triple2 ((((triple7 triple5) -> rule3)) -> rule8)) -> rule5) OR ((triple2 ((((triple7 ((triple1) -> rule6)) -> rule3)) -> rule8)) -> rule5) OR ((triple2 ((((triple7 ((triple2 triple7) -> rule4)) -> rule3)) -> rule8)) -> rule5))] Dave is white.[(triple7 OR ((triple3 triple6) -> rule2) OR ((triple3 ((triple2 triple3) -> rule5)) -> rule2) OR ((((triple4) -> rule8) triple6) -> rule2) OR ((((triple4) -> rule8) ((triple2 triple3) -> rule5)) -> rule2) OR ((triple3 ((triple2 ((triple4) -> rule8)) -> rule5)) -> rule2) OR ((((triple4) -> rule8) ((triple2 ((triple4) -> rule8)) -> rule5)) -> rule2))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
((triple4) -> (rule8 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple2 triple7) -> (rule7 % int2))) -> (rule8 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple7 triple5) -> (rule3 % int2))) -> (rule8 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((triple7 ((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple7 ((triple2 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
((triple2 triple7) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple7 triple5) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple2 ((triple3 triple6) -> (rule2 % int2))) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((triple7 ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((triple7 ((triple2 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple3 triple6) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple3 triple6) -> (rule2 % int3)) ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple3 triple6) -> (rule2 % int3)) ((triple2 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple2 ((triple3 ((triple2 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple7 ((triple2 ((triple3 triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple3 ((triple2 triple3) -> (rule5 % int3))) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple3 triple6) -> (rule2 % int3)) ((triple2 ((triple3 triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple3 ((triple2 triple3) -> (rule5 % int4))) -> (rule2 % int3)) ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple3 ((triple2 triple3) -> (rule5 % int4))) -> (rule2 % int3)) ((triple2 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple3 ((triple2 triple3) -> (rule5 % int4))) -> (rule2 % int3)) ((triple2 ((triple3 triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((triple7 ((triple2 ((triple3 ((triple2 triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple3 triple6) -> (rule2 % int4)) ((triple2 ((triple3 ((triple2 triple3) -> (rule5 % int3))) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple3 ((triple2 triple3) -> (rule5 % int4))) -> (rule2 % int3)) ((triple2 ((triple3 ((triple2 triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
triple5
((triple1) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple2 triple7) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple2 ((triple3 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((triple2 ((triple3 ((triple2 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple2 ((((triple4) -> (rule8 % int3)) triple6) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple2 ((((triple4) -> (rule8 % int4)) ((triple2 triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple2 ((triple3 ((triple2 ((triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple2 ((((triple4) -> (rule8 % int4)) ((triple2 ((triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
triple6
((triple7) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple2 triple3) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple2 ((triple4) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple2 ((((triple2 triple7) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((triple2 ((((triple7 triple5) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((triple2 ((((triple7 ((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((triple2 ((((triple7 ((triple2 triple7) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
triple7
((triple3 triple6) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple3 ((triple2 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple4) -> (rule8 % int2)) triple6) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple4) -> (rule8 % int3)) ((triple2 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple3 ((triple2 ((triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple4) -> (rule8 % int3)) ((triple2 ((triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3