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