The cow is big. The cow is green. The cow is round. Rough things are big. If something is big then it is round. Green, round things are rough. All big things are rough. If something is green and round then it is rough. If something is round and big then it is green. Blue things are not green. If something is green and rough then it is not blue.
The cow is big.
("cow" "is" "big" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is round.
("cow" "is" "round" "+")
Rough things are big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If something is big then it is round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
Green, round things are rough.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
All big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
If something is green and round then it is rough.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If something is round and big then it is green.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
Blue things are not green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "-"))
If something is green and rough then it is not blue.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "-"))
The cow is green.
True
1
proof
[(triple2 OR ((triple3 triple1) -> rule6) OR ((((triple1) -> rule2) triple1) -> rule6))]
("cow" "is" "green" "+")
triple2
((triple3 triple1) -> (rule6 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((((triple1) -> (rule2 % int2)) triple1) -> (rule6 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is not big.
False
1
inv-proof
[(triple1 OR ((((triple2 triple3) -> rule3)) -> rule1) OR ((((triple2 triple3) -> rule5)) -> rule1))]
("cow" "is" "big" "-")
triple1
((((triple2 triple3) -> (rule3 % int2))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((((triple2 triple3) -> (rule5 % int2))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is rough.
True
2
proof
[(((triple1) -> rule4) OR ((triple2 triple3) -> rule3) OR ((triple2 triple3) -> rule5) OR ((triple2 ((triple1) -> rule2)) -> rule3) OR ((triple2 ((triple1) -> rule2)) -> rule5) OR ((((triple3 triple1) -> rule6) triple3) -> rule3) OR ((((triple3 triple1) -> rule6) triple3) -> rule5) OR ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule3) OR ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule5) OR ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule3) OR ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule5) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule3) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule5))]
("cow" "is" "rough" "+")
((triple1) -> (rule4 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((triple2 triple3) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((triple2 triple3) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((triple2 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
((triple2 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
((((triple3 triple1) -> (rule6 % int2)) triple3) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
((((triple3 triple1) -> (rule6 % int2)) triple3) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
((((triple3 triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((((triple3 triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int2)) triple3) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int2)) triple3) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int2)) ((triple1) -> (rule2 % int3))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int2)) ((triple1) -> (rule2 % int3))) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is not rough.
False
2
inv-proof
[(((triple1) -> rule4) OR ((triple2 triple3) -> rule3) OR ((triple2 triple3) -> rule5) OR ((triple2 ((triple1) -> rule2)) -> rule3) OR ((triple2 ((triple1) -> rule2)) -> rule5) OR ((((triple3 triple1) -> rule6) triple3) -> rule3) OR ((((triple3 triple1) -> rule6) triple3) -> rule5) OR ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule3) OR ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule5) OR ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule3) OR ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule5) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule3) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule5))]
("cow" "is" "rough" "-")
((triple1) -> (rule4 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((triple2 triple3) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((triple2 triple3) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((triple2 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
((triple2 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
((((triple3 triple1) -> (rule6 % int2)) triple3) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
((((triple3 triple1) -> (rule6 % int2)) triple3) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
((((triple3 triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((((triple3 triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int2)) triple3) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int2)) triple3) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int2)) ((triple1) -> (rule2 % int3))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int2)) ((triple1) -> (rule2 % int3))) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is not blue.
True
4
proof
[(((triple2 ((triple1) -> rule4)) -> rule8) OR ((triple2 ((triple2 triple3) -> rule3)) -> rule8) OR ((triple2 ((triple2 triple3) -> rule5)) -> rule8) OR ((((triple3 triple1) -> rule6) ((triple1) -> rule4)) -> rule8) OR ((((triple3 triple1) -> rule6) ((triple2 triple3) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule6) ((triple2 triple3) -> rule5)) -> rule8) OR ((triple2 ((triple2 ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((triple2 ((triple2 ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((triple2 ((((triple3 triple1) -> rule6) triple3) -> rule3)) -> rule8) OR ((triple2 ((((triple3 triple1) -> rule6) triple3) -> rule5)) -> rule8) OR ((triple2 ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((triple2 ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((triple3 triple1) -> rule6) ((triple2 ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule6) ((triple2 ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((triple3 triple1) -> rule6) triple3) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((triple3 triple1) -> rule6) triple3) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule4)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple2 triple3) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple2 triple3) -> rule5)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple2 ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple2 ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((triple3 triple1) -> rule6) triple3) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((triple3 triple1) -> rule6) triple3) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((triple2 ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule3)) -> rule8) OR ((triple2 ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule5)) -> rule8) OR ((triple2 ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((triple2 ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule5)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule5)) -> rule8))]
("cow" "is" "blue" "-")
((triple2 ((triple1) -> (rule4 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((triple2 ((triple2 triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((triple2 ((triple2 triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((((triple3 triple1) -> (rule6 % int3)) ((triple1) -> (rule4 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((((triple3 triple1) -> (rule6 % int3)) ((triple2 triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((((triple3 triple1) -> (rule6 % int3)) ((triple2 triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((triple2 ((triple2 ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((triple2 ((triple2 ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((triple2 ((((triple3 triple1) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((triple2 ((((triple3 triple1) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((triple2 ((((triple3 triple1) -> (rule6 % int4)) ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((triple2 ((((triple3 triple1) -> (rule6 % int4)) ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((triple2 ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((triple2 ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int3)) ((((triple3 triple1) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((((triple3 triple1) -> (rule6 % int3)) ((((triple3 triple1) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple1) -> (rule4 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple2 triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple2 triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((triple3 triple1) -> (rule6 % int4)) ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((triple3 triple1) -> (rule6 % int4)) ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple2 ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple2 ((triple1) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((triple3 triple1) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((triple3 triple1) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((triple3 triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((triple3 triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((triple2 ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((triple2 ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((triple2 ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((triple2 ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int4)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int4)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int4)) ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int4)) ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
The cow is blue.
False
4
inv-proof
[(((triple2 ((triple1) -> rule4)) -> rule8) OR ((triple2 ((triple2 triple3) -> rule3)) -> rule8) OR ((triple2 ((triple2 triple3) -> rule5)) -> rule8) OR ((((triple3 triple1) -> rule6) ((triple1) -> rule4)) -> rule8) OR ((((triple3 triple1) -> rule6) ((triple2 triple3) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule6) ((triple2 triple3) -> rule5)) -> rule8) OR ((triple2 ((triple2 ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((triple2 ((triple2 ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((triple2 ((((triple3 triple1) -> rule6) triple3) -> rule3)) -> rule8) OR ((triple2 ((((triple3 triple1) -> rule6) triple3) -> rule5)) -> rule8) OR ((triple2 ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((triple2 ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((triple3 triple1) -> rule6) ((triple2 ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule6) ((triple2 ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((triple3 triple1) -> rule6) triple3) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((triple3 triple1) -> rule6) triple3) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule4)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple2 triple3) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple2 triple3) -> rule5)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple2 ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple2 ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((triple3 triple1) -> rule6) triple3) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((triple3 triple1) -> rule6) triple3) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((triple2 ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule3)) -> rule8) OR ((triple2 ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule5)) -> rule8) OR ((triple2 ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((triple2 ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule5)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule5)) -> rule8))]
("cow" "is" "blue" "+")
((triple2 ((triple1) -> (rule4 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((triple2 ((triple2 triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((triple2 ((triple2 triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((((triple3 triple1) -> (rule6 % int3)) ((triple1) -> (rule4 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((((triple3 triple1) -> (rule6 % int3)) ((triple2 triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((((triple3 triple1) -> (rule6 % int3)) ((triple2 triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((triple2 ((triple2 ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((triple2 ((triple2 ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((triple2 ((((triple3 triple1) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((triple2 ((((triple3 triple1) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((triple2 ((((triple3 triple1) -> (rule6 % int4)) ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((triple2 ((((triple3 triple1) -> (rule6 % int4)) ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((triple2 ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((triple2 ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int3)) ((((triple3 triple1) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((((triple3 triple1) -> (rule6 % int3)) ((((triple3 triple1) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple1) -> (rule4 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple2 triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple2 triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((triple3 triple1) -> (rule6 % int4)) ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((triple3 triple1) -> (rule6 % int4)) ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple2 ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple2 ((triple1) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((triple3 triple1) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((triple3 triple1) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((triple3 triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((triple3 triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((triple2 ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((triple2 ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((triple2 ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((triple2 ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int4)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int4)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int4)) ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int4)) ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cow is big.[(triple1 OR ((((triple2 triple3) -> rule3)) -> rule1) OR ((((triple2 triple3) -> rule5)) -> rule1))] The cow is green.[(triple2 OR ((triple3 triple1) -> rule6) OR ((((triple1) -> rule2) triple1) -> rule6))] The cow is round.[(triple3 OR ((triple1) -> rule2))] @1: The cow is rough.[(((triple1) -> rule4) OR ((triple2 triple3) -> rule3) OR ((triple2 triple3) -> rule5) OR ((triple2 ((triple1) -> rule2)) -> rule3) OR ((triple2 ((triple1) -> rule2)) -> rule5) OR ((((triple3 triple1) -> rule6) triple3) -> rule3) OR ((((triple3 triple1) -> rule6) triple3) -> rule5) OR ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule3) OR ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule5) OR ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule3) OR ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule5) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule3) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule5))] @2: The cow is not blue.[(((triple2 ((triple1) -> rule4)) -> rule8) OR ((triple2 ((triple2 triple3) -> rule3)) -> rule8) OR ((triple2 ((triple2 triple3) -> rule5)) -> rule8) OR ((((triple3 triple1) -> rule6) ((triple1) -> rule4)) -> rule8) OR ((((triple3 triple1) -> rule6) ((triple2 triple3) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule6) ((triple2 triple3) -> rule5)) -> rule8) OR ((triple2 ((triple2 ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((triple2 ((triple2 ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((triple2 ((((triple3 triple1) -> rule6) triple3) -> rule3)) -> rule8) OR ((triple2 ((((triple3 triple1) -> rule6) triple3) -> rule5)) -> rule8) OR ((triple2 ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((triple2 ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((triple3 triple1) -> rule6) ((triple2 ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule6) ((triple2 ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((triple3 triple1) -> rule6) triple3) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((triple3 triple1) -> rule6) triple3) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule4)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple2 triple3) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple2 triple3) -> rule5)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple2 ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((triple2 ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((triple3 triple1) -> rule6) triple3) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((triple3 triple1) -> rule6) triple3) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((triple3 triple1) -> rule6) ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((triple2 ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule3)) -> rule8) OR ((triple2 ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule5)) -> rule8) OR ((triple2 ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((triple2 ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule5)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((triple3 triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) triple3) -> rule5)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) triple1) -> rule6) ((((((triple1) -> rule2) triple1) -> rule6) ((triple1) -> rule2)) -> rule5)) -> rule8))]
The cow is big.
("cow" "is" "big" "+")
triple1
((((triple2 triple3) -> (rule3 % int2))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((((triple2 triple3) -> (rule5 % int2))) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
triple2
((triple3 triple1) -> (rule6 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
((((triple1) -> (rule2 % int2)) triple1) -> (rule6 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is round.
("cow" "is" "round" "+")
triple3
((triple1) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
((triple1) -> (rule4 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((triple2 triple3) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((triple2 triple3) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((triple2 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
((triple2 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
((((triple3 triple1) -> (rule6 % int2)) triple3) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
((((triple3 triple1) -> (rule6 % int2)) triple3) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
((((triple3 triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((((triple3 triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int2)) triple3) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int2)) triple3) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int2)) ((triple1) -> (rule2 % int3))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int2)) ((triple1) -> (rule2 % int3))) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is not blue.
("cow" "is" "blue" "-")
((triple2 ((triple1) -> (rule4 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((triple2 ((triple2 triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((triple2 ((triple2 triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
((((triple3 triple1) -> (rule6 % int3)) ((triple1) -> (rule4 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((((triple3 triple1) -> (rule6 % int3)) ((triple2 triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((((triple3 triple1) -> (rule6 % int3)) ((triple2 triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((triple2 ((triple2 ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((triple2 ((triple2 ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
((triple2 ((((triple3 triple1) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((triple2 ((((triple3 triple1) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((triple2 ((((triple3 triple1) -> (rule6 % int4)) ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((triple2 ((((triple3 triple1) -> (rule6 % int4)) ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((triple2 ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((triple2 ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int3)) ((((triple3 triple1) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((((triple3 triple1) -> (rule6 % int3)) ((((triple3 triple1) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple1) -> (rule4 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple2 triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple2 triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((triple3 triple1) -> (rule6 % int4)) ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((triple3 triple1) -> (rule6 % int4)) ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple2 ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple2 ((triple1) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((triple3 triple1) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((triple3 triple1) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((triple3 triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((triple3 triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((triple2 ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((triple2 ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((triple2 ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((triple2 ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int4)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int4)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int4)) ((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((triple3 triple1) -> (rule6 % int4)) ((((((triple1) -> (rule2 % int3)) triple1) -> (rule6 % int4)) ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cow is green.
("cow" "is" "green" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((((((triple1) -> (rule2 % int4)) triple1) -> (rule6 % int3)) ((triple1) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
The cow is not blue.
("cow" "is" "blue" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4