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