The bear is kind. The cow chases the squirrel. The cow eats the bear. The cow is big. The cow likes the bear. The squirrel chases the cow. The squirrel is blue. The squirrel is red. The squirrel likes the bear. The squirrel likes the cow. If something is cold then it is blue. If something chases the cow then the cow likes the squirrel. If something likes the bear then the bear eats the squirrel. If something is blue and big then it chases the squirrel. If something chases the squirrel then the squirrel eats the cow. If something is red and it likes the cow then the cow is blue. If something likes the cow and the cow eats the bear then it is red. If something is big and blue then it chases the cow.
The bear is kind.
("bear" "is" "kind" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is big.
("cow" "is" "big" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
If something is cold then it is blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If something chases the cow then the cow likes the squirrel.
((("something" "chases" "cow" "+")) -> ("cow" "likes" "squirrel" "+"))
If something likes the bear then the bear eats the squirrel.
((("something" "likes" "bear" "+")) -> ("bear" "eats" "squirrel" "+"))
If something is blue and big then it chases the squirrel.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "chases" "squirrel" "+"))
If something chases the squirrel then the squirrel eats the cow.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "eats" "cow" "+"))
If something is red and it likes the cow then the cow is blue.
((("something" "is" "red" "+") ("something" "likes" "cow" "+")) -> ("cow" "is" "blue" "+"))
If something likes the cow and the cow eats the bear then it is red.
((("something" "likes" "cow" "+") ("cow" "eats" "bear" "+")) -> ("something" "is" "red" "+"))
If something is big and blue then it chases the cow.
((("something" "is" "big" "+") ("something" "is" "blue" "+")) -> ("something" "chases" "cow" "+"))
The squirrel is blue.
True
1
proof
[(triple7)]
("squirrel" "is" "blue" "+")
triple7
The cow is not big.
False
1
inv-proof
[(triple4)]
("cow" "is" "big" "-")
triple4
The bear eats the squirrel.
True
2
proof
[(((triple5) -> rule3) OR ((triple9) -> rule3))]
("bear" "eats" "squirrel" "+")
((triple5) -> (rule3 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
((triple9) -> (rule3 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The cow does not like the squirrel.
False
2
inv-proof
[(((triple6) -> rule2) OR ((((triple4 ((triple8 triple10) -> rule6)) -> rule8)) -> rule2) OR ((((triple4 ((((triple10 triple3) -> rule7) triple10) -> rule6)) -> rule8)) -> rule2))]
("cow" "likes" "squirrel" "-")
((triple6) -> (rule2 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
((((triple4 ((triple8 triple10) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
((((triple4 ((((triple10 triple3) -> (rule7 % int4)) triple10) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The cow chases the cow.
True
5
proof
[(((triple4 ((triple8 triple10) -> rule6)) -> rule8) OR ((triple4 ((((triple10 triple3) -> rule7) triple10) -> rule6)) -> rule8))]
("cow" "chases" "cow" "+")
((triple4 ((triple8 triple10) -> (rule6 % int2))) -> (rule8 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
((triple4 ((((triple10 triple3) -> (rule7 % int3)) triple10) -> (rule6 % int2))) -> (rule8 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The cow does not chase the cow.
False
5
inv-proof
[(((triple4 ((triple8 triple10) -> rule6)) -> rule8) OR ((triple4 ((((triple10 triple3) -> rule7) triple10) -> rule6)) -> rule8))]
("cow" "chases" "cow" "-")
((triple4 ((triple8 triple10) -> (rule6 % int2))) -> (rule8 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
((triple4 ((((triple10 triple3) -> (rule7 % int3)) triple10) -> (rule6 % int2))) -> (rule8 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The cow is not red.
Unknown
inv-rconc
[@1: The cow is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "is" "red" "-")
The bear is blue.
Unknown
rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "blue" "+")
The bear does not chase the squirrel.
Unknown
inv-rconc
[@1: The bear chases the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "chases" "squirrel" "-")
The cow eats the squirrel.
Unknown
random
[@0: The cow eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "squirrel" "+")
The cow is not cold.
Unknown
inv-random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bear is kind.[(triple1)] The cow chases the squirrel.[(triple2 OR ((((triple8 triple10) -> rule6) triple4) -> rule4) OR ((((((triple10 triple3) -> rule7) triple10) -> rule6) triple4) -> rule4))] The cow eats the bear.[(triple3)] The cow is big.[(triple4)] The cow likes the bear.[(triple5)] The squirrel chases the cow.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is red.[(triple8 OR ((triple10 triple3) -> rule7))] The squirrel likes the bear.[(triple9)] The squirrel likes the cow.[(triple10)] @1: The bear eats the squirrel.[(((triple5) -> rule3) OR ((triple9) -> rule3))] The cow is blue.[(((triple8 triple10) -> rule6) OR ((((triple10 triple3) -> rule7) triple10) -> rule6))] The cow likes the squirrel.[(((triple6) -> rule2) OR ((((triple4 ((triple8 triple10) -> rule6)) -> rule8)) -> rule2) OR ((((triple4 ((((triple10 triple3) -> rule7) triple10) -> rule6)) -> rule8)) -> rule2))] The squirrel eats the cow.[(((triple2) -> rule5) OR ((((((triple8 triple10) -> rule6) triple4) -> rule4)) -> rule5) OR ((((((((triple10 triple3) -> rule7) triple10) -> rule6) triple4) -> rule4)) -> rule5))] @2: The cow chases the cow.[(((triple4 ((triple8 triple10) -> rule6)) -> rule8) OR ((triple4 ((((triple10 triple3) -> rule7) triple10) -> rule6)) -> rule8))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
((((triple8 triple10) -> (rule6 % int2)) triple4) -> (rule4 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
((((((triple10 triple3) -> (rule7 % int3)) triple10) -> (rule6 % int2)) triple4) -> (rule4 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The cow eats the bear.
("cow" "eats" "bear" "+")
triple3
The cow is big.
("cow" "is" "big" "+")
triple4
The cow likes the bear.
("cow" "likes" "bear" "+")
triple5
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple6
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple7
The squirrel is red.
("squirrel" "is" "red" "+")
triple8
((triple10 triple3) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple9
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple10
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
((triple5) -> (rule3 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
((triple9) -> (rule3 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
((triple8 triple10) -> (rule6 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
((((triple10 triple3) -> (rule7 % int2)) triple10) -> (rule6 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
((triple6) -> (rule2 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
((((triple4 ((triple8 triple10) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
((((triple4 ((((triple10 triple3) -> (rule7 % int4)) triple10) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
((triple2) -> (rule5 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
((((((triple8 triple10) -> (rule6 % int3)) triple4) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
((((((((triple10 triple3) -> (rule7 % int4)) triple10) -> (rule6 % int3)) triple4) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple4 ((triple8 triple10) -> (rule6 % int2))) -> (rule8 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
((triple4 ((((triple10 triple3) -> (rule7 % int3)) triple10) -> (rule6 % int2))) -> (rule8 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3