Bob is big. Bob is blue. Bob is green. Bob is red. Bob is rough. Bob is round. Dave is big. Dave is blue. Dave is green. Dave is red. Dave is rough. Dave is round. Dave is white. Erin is big. Erin is red. Erin is round. Red, blue people are white. Big people are red. All blue people are green. If someone is big then they are rough. Big, round people are rough. White people are green. All big, round people are rough. All red, rough people are white.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Red, blue people are white.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
Big people are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
All blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Big, round people are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
White people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
All big, round people are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
All red, rough people are white.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
Dave is big.
True
1
proof
[(triple7)]
("Dave" "is" "big" "+")
triple7
Bob is not blue.
False
1
inv-proof
[(triple2)]
("Bob" "is" "blue" "-")
triple2
Erin is rough.
True
2
proof
[(((triple14) -> rule4) OR ((triple14 triple16) -> rule5) OR ((triple14 triple16) -> rule7))]
("Erin" "is" "rough" "+")
((triple14) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple14 triple16) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple14 triple16) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple14) -> rule4) OR ((triple14 triple16) -> rule5) OR ((triple14 triple16) -> rule7))]
("Erin" "is" "rough" "-")
((triple14) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple14 triple16) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple14 triple16) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
True
4
proof
[(((triple15 ((triple14) -> rule4)) -> rule8) OR ((triple15 ((triple14 triple16) -> rule5)) -> rule8) OR ((triple15 ((triple14 triple16) -> rule7)) -> rule8) OR ((((triple14) -> rule2) ((triple14) -> rule4)) -> rule8) OR ((((triple14) -> rule2) ((triple14 triple16) -> rule5)) -> rule8) OR ((((triple14) -> rule2) ((triple14 triple16) -> rule7)) -> rule8))]
("Erin" "is" "white" "+")
((triple15 ((triple14) -> (rule4 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((triple15 ((triple14 triple16) -> (rule5 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((triple15 ((triple14 triple16) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple14) -> (rule2 % int3)) ((triple14) -> (rule4 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple14) -> (rule2 % int3)) ((triple14 triple16) -> (rule5 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple14) -> (rule2 % int3)) ((triple14 triple16) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is not white.
False
4
inv-proof
[(((triple15 ((triple14) -> rule4)) -> rule8) OR ((triple15 ((triple14 triple16) -> rule5)) -> rule8) OR ((triple15 ((triple14 triple16) -> rule7)) -> rule8) OR ((((triple14) -> rule2) ((triple14) -> rule4)) -> rule8) OR ((((triple14) -> rule2) ((triple14 triple16) -> rule5)) -> rule8) OR ((((triple14) -> rule2) ((triple14 triple16) -> rule7)) -> rule8))]
("Erin" "is" "white" "-")
((triple15 ((triple14) -> (rule4 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((triple15 ((triple14 triple16) -> (rule5 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((triple15 ((triple14 triple16) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple14) -> (rule2 % int3)) ((triple14) -> (rule4 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple14) -> (rule2 % int3)) ((triple14 triple16) -> (rule5 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple14) -> (rule2 % int3)) ((triple14 triple16) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is green.
True
5
proof
[(((((triple15 ((triple14) -> rule4)) -> rule8)) -> rule6) OR ((((triple15 ((triple14 triple16) -> rule5)) -> rule8)) -> rule6) OR ((((triple15 ((triple14 triple16) -> rule7)) -> rule8)) -> rule6) OR ((((((triple14) -> rule2) ((triple14) -> rule4)) -> rule8)) -> rule6) OR ((((((triple14) -> rule2) ((triple14 triple16) -> rule5)) -> rule8)) -> rule6) OR ((((((triple14) -> rule2) ((triple14 triple16) -> rule7)) -> rule8)) -> rule6))]
("Erin" "is" "green" "+")
((((triple15 ((triple14) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple15 ((triple14 triple16) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple15 ((triple14 triple16) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple14) -> (rule2 % int4)) ((triple14) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple14) -> (rule2 % int4)) ((triple14 triple16) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple14) -> (rule2 % int4)) ((triple14 triple16) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is not green.
False
5
inv-proof
[(((((triple15 ((triple14) -> rule4)) -> rule8)) -> rule6) OR ((((triple15 ((triple14 triple16) -> rule5)) -> rule8)) -> rule6) OR ((((triple15 ((triple14 triple16) -> rule7)) -> rule8)) -> rule6) OR ((((((triple14) -> rule2) ((triple14) -> rule4)) -> rule8)) -> rule6) OR ((((((triple14) -> rule2) ((triple14 triple16) -> rule5)) -> rule8)) -> rule6) OR ((((((triple14) -> rule2) ((triple14 triple16) -> rule7)) -> rule8)) -> rule6))]
("Erin" "is" "green" "-")
((((triple15 ((triple14) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple15 ((triple14 triple16) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple15 ((triple14 triple16) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple14) -> (rule2 % int4)) ((triple14) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple14) -> (rule2 % int4)) ((triple14 triple16) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple14) -> (rule2 % int4)) ((triple14 triple16) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3 OR ((triple2) -> rule3) OR ((((triple4 triple2) -> rule1)) -> rule6) OR ((((triple4 triple5) -> rule8)) -> rule6) OR ((((triple4 ((triple1) -> rule4)) -> rule8)) -> rule6) OR ((((triple4 ((triple1 triple6) -> rule5)) -> rule8)) -> rule6) OR ((((triple4 ((triple1 triple6) -> rule7)) -> rule8)) -> rule6) OR ((((((triple1) -> rule2) triple2) -> rule1)) -> rule6) OR ((((((triple1) -> rule2) triple5) -> rule8)) -> rule6) OR ((((((triple1) -> rule2) ((triple1) -> rule4)) -> rule8)) -> rule6) OR ((((((triple1) -> rule2) ((triple1 triple6) -> rule5)) -> rule8)) -> rule6) OR ((((((triple1) -> rule2) ((triple1 triple6) -> rule7)) -> rule8)) -> rule6))] Bob is red.[(triple4 OR ((triple1) -> rule2))] Bob is rough.[(triple5 OR ((triple1) -> rule4) OR ((triple1 triple6) -> rule5) OR ((triple1 triple6) -> rule7))] Bob is round.[(triple6)] Dave is big.[(triple7)] Dave is blue.[(triple8)] Dave is green.[(triple9 OR ((triple13) -> rule6) OR ((triple8) -> rule3) OR ((((triple10 triple11) -> rule8)) -> rule6) OR ((((triple10 triple8) -> rule1)) -> rule6) OR ((((triple10 ((triple7) -> rule4)) -> rule8)) -> rule6) OR ((((triple10 ((triple7 triple12) -> rule5)) -> rule8)) -> rule6) OR ((((triple10 ((triple7 triple12) -> rule7)) -> rule8)) -> rule6) OR ((((((triple7) -> rule2) triple11) -> rule8)) -> rule6) OR ((((((triple7) -> rule2) triple8) -> rule1)) -> rule6) OR ((((((triple7) -> rule2) ((triple7) -> rule4)) -> rule8)) -> rule6) OR ((((((triple7) -> rule2) ((triple7 triple12) -> rule5)) -> rule8)) -> rule6) OR ((((((triple7) -> rule2) ((triple7 triple12) -> rule7)) -> rule8)) -> rule6))] Dave is red.[(triple10 OR ((triple7) -> rule2))] Dave is rough.[(triple11 OR ((triple7) -> rule4) OR ((triple7 triple12) -> rule5) OR ((triple7 triple12) -> rule7))] Dave is round.[(triple12)] Dave is white.[(triple13 OR ((triple10 triple11) -> rule8) OR ((triple10 triple8) -> rule1) OR ((triple10 ((triple7) -> rule4)) -> rule8) OR ((triple10 ((triple7 triple12) -> rule5)) -> rule8) OR ((triple10 ((triple7 triple12) -> rule7)) -> rule8) OR ((((triple7) -> rule2) triple11) -> rule8) OR ((((triple7) -> rule2) triple8) -> rule1) OR ((((triple7) -> rule2) ((triple7) -> rule4)) -> rule8) OR ((((triple7) -> rule2) ((triple7 triple12) -> rule5)) -> rule8) OR ((((triple7) -> rule2) ((triple7 triple12) -> rule7)) -> rule8))] Erin is big.[(triple14)] Erin is red.[(triple15 OR ((triple14) -> rule2))] Erin is round.[(triple16)] @1: Bob is white.[(((triple4 triple2) -> rule1) OR ((triple4 triple5) -> rule8) OR ((triple4 ((triple1) -> rule4)) -> rule8) OR ((triple4 ((triple1 triple6) -> rule5)) -> rule8) OR ((triple4 ((triple1 triple6) -> rule7)) -> rule8) OR ((((triple1) -> rule2) triple2) -> rule1) OR ((((triple1) -> rule2) triple5) -> rule8) OR ((((triple1) -> rule2) ((triple1) -> rule4)) -> rule8) OR ((((triple1) -> rule2) ((triple1 triple6) -> rule5)) -> rule8) OR ((((triple1) -> rule2) ((triple1 triple6) -> rule7)) -> rule8))] Erin is rough.[(((triple14) -> rule4) OR ((triple14 triple16) -> rule5) OR ((triple14 triple16) -> rule7))] @2: Erin is white.[(((triple15 ((triple14) -> rule4)) -> rule8) OR ((triple15 ((triple14 triple16) -> rule5)) -> rule8) OR ((triple15 ((triple14 triple16) -> rule7)) -> rule8) OR ((((triple14) -> rule2) ((triple14) -> rule4)) -> rule8) OR ((((triple14) -> rule2) ((triple14 triple16) -> rule5)) -> rule8) OR ((((triple14) -> rule2) ((triple14 triple16) -> rule7)) -> rule8))] @3: Erin is green.[(((((triple15 ((triple14) -> rule4)) -> rule8)) -> rule6) OR ((((triple15 ((triple14 triple16) -> rule5)) -> rule8)) -> rule6) OR ((((triple15 ((triple14 triple16) -> rule7)) -> rule8)) -> rule6) OR ((((((triple14) -> rule2) ((triple14) -> rule4)) -> rule8)) -> rule6) OR ((((((triple14) -> rule2) ((triple14 triple16) -> rule5)) -> rule8)) -> rule6) OR ((((((triple14) -> rule2) ((triple14 triple16) -> rule7)) -> rule8)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple2) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple4 triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple4 triple5) -> (rule8 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple4 ((triple1) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple4 ((triple1 triple6) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple4 ((triple1 triple6) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple1) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple1) -> (rule2 % int3)) triple5) -> (rule8 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple1) -> (rule2 % int4)) ((triple1) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple1) -> (rule2 % int4)) ((triple1 triple6) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple1) -> (rule2 % int4)) ((triple1 triple6) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
triple4
((triple1) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple5
((triple1) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple1 triple6) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple1 triple6) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple6
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple9
((triple13) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple8) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple10 triple11) -> (rule8 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple10 triple8) -> (rule1 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple10 ((triple7) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple10 ((triple7 triple12) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple10 ((triple7 triple12) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple7) -> (rule2 % int3)) triple11) -> (rule8 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple7) -> (rule2 % int3)) triple8) -> (rule1 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple7) -> (rule2 % int4)) ((triple7) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple7) -> (rule2 % int4)) ((triple7 triple12) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple7) -> (rule2 % int4)) ((triple7 triple12) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
triple10
((triple7) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple11
((triple7) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple7 triple12) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple7 triple12) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
triple12
Dave is white.
("Dave" "is" "white" "+")
triple13
((triple10 triple11) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple10 triple8) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple10 ((triple7) -> (rule4 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((triple10 ((triple7 triple12) -> (rule5 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((triple10 ((triple7 triple12) -> (rule7 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple7) -> (rule2 % int2)) triple11) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple7) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple7) -> (rule2 % int3)) ((triple7) -> (rule4 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple7) -> (rule2 % int3)) ((triple7 triple12) -> (rule5 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple7) -> (rule2 % int3)) ((triple7 triple12) -> (rule7 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
triple14
Erin is red.
("Erin" "is" "red" "+")
triple15
((triple14) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple16
Bob is white.
("Bob" "is" "white" "+")
((triple4 triple2) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple4 triple5) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple4 ((triple1) -> (rule4 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((triple4 ((triple1 triple6) -> (rule5 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((triple4 ((triple1 triple6) -> (rule7 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple1) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple1) -> (rule2 % int2)) triple5) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple1) -> (rule2 % int3)) ((triple1) -> (rule4 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple1) -> (rule2 % int3)) ((triple1 triple6) -> (rule5 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple1) -> (rule2 % int3)) ((triple1 triple6) -> (rule7 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
((triple14) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple14 triple16) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple14 triple16) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple15 ((triple14) -> (rule4 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((triple15 ((triple14 triple16) -> (rule5 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((triple15 ((triple14 triple16) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple14) -> (rule2 % int3)) ((triple14) -> (rule4 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple14) -> (rule2 % int3)) ((triple14 triple16) -> (rule5 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple14) -> (rule2 % int3)) ((triple14 triple16) -> (rule7 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
((((triple15 ((triple14) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple15 ((triple14 triple16) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple15 ((triple14 triple16) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple14) -> (rule2 % int4)) ((triple14) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple14) -> (rule2 % int4)) ((triple14 triple16) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((((triple14) -> (rule2 % int4)) ((triple14 triple16) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4