The bear does not chase the squirrel. The bear is red. The bear is young. The bear does not see the cow. The cow chases the bear. The cow chases the squirrel. The cow eats the bear. The cow eats the squirrel. The cow is young. The cow sees the bear. The squirrel chases the bear. The squirrel does not chase the cow. The squirrel eats the cow. The squirrel is big. The squirrel is cold. The squirrel sees the bear. If something is cold and red then it chases the squirrel. If something sees the cow and the cow does not see the squirrel then it chases the bear. If something is cold and it sees the bear then it eats the bear. If something sees the squirrel then the squirrel is round. If something eats the bear and the bear is red then it is young. If something is young then it is red.
The bear does not chase the squirrel.
("bear" "chases" "squirrel" "-")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The bear does not see the cow.
("bear" "sees" "cow" "-")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If something is cold and red then it chases the squirrel.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "chases" "squirrel" "+"))
If something sees the cow and the cow does not see the squirrel then it chases the bear.
((("something" "sees" "cow" "+") ("cow" "sees" "squirrel" "~")) -> ("something" "chases" "bear" "+"))
If something is cold and it sees the bear then it eats the bear.
((("something" "is" "cold" "+") ("something" "sees" "bear" "+")) -> ("something" "eats" "bear" "+"))
If something sees the squirrel then the squirrel is round.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
If something eats the bear and the bear is red then it is young.
((("something" "eats" "bear" "+") ("bear" "is" "red" "+")) -> ("something" "is" "young" "+"))
If something is young then it is red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
The bear does not see the cow.
True
1
proof
[(triple4)]
("bear" "sees" "cow" "-")
triple4
The cow does not chase the bear.
False
1
inv-proof
[(triple5)]
("cow" "chases" "bear" "-")
triple5
The cow is red.
True
2
proof
[(((triple9) -> rule6) OR ((((triple7 triple2) -> rule5)) -> rule6) OR ((((triple7 ((triple3) -> rule6)) -> rule5)) -> rule6))]
("cow" "is" "red" "+")
((triple9) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((((triple7 triple2) -> (rule5 % int2))) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((((triple7 ((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The cow is not red.
False
2
inv-proof
[(((triple9) -> rule6) OR ((((triple7 triple2) -> rule5)) -> rule6) OR ((((triple7 ((triple3) -> rule6)) -> rule5)) -> rule6))]
("cow" "is" "red" "-")
((triple9) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((((triple7 triple2) -> (rule5 % int2))) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((((triple7 ((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The squirrel is young.
True
5
proof
[(((((triple15 triple16) -> rule3) triple2) -> rule5) OR ((((triple15 triple16) -> rule3) ((triple3) -> rule6)) -> rule5))]
("squirrel" "is" "young" "+")
((((triple15 triple16) -> (rule3 % int2)) triple2) -> (rule5 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
((((triple15 triple16) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int3
The squirrel is not young.
False
5
inv-proof
[(((((triple15 triple16) -> rule3) triple2) -> rule5) OR ((((triple15 triple16) -> rule3) ((triple3) -> rule6)) -> rule5))]
("squirrel" "is" "young" "-")
((((triple15 triple16) -> (rule3 % int2)) triple2) -> (rule5 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
((((triple15 triple16) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int3
The squirrel is red.
True
6
proof
[(((((((triple15 triple16) -> rule3) triple2) -> rule5)) -> rule6) OR ((((((triple15 triple16) -> rule3) ((triple3) -> rule6)) -> rule5)) -> rule6))]
("squirrel" "is" "red" "+")
((((((triple15 triple16) -> (rule3 % int3)) triple2) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int3
((((((triple15 triple16) -> (rule3 % int4)) ((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int4
The squirrel is not red.
False
6
inv-proof
[(((((((triple15 triple16) -> rule3) triple2) -> rule5)) -> rule6) OR ((((((triple15 triple16) -> rule3) ((triple3) -> rule6)) -> rule5)) -> rule6))]
("squirrel" "is" "red" "-")
((((((triple15 triple16) -> (rule3 % int3)) triple2) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int3
((((((triple15 triple16) -> (rule3 % int4)) ((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int4
The bear does not chase the bear.
Unknown
inv-rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "chases" "bear" "-")
The squirrel is round.
Unknown
rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "round" "+")
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "eats" "bear" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
The bear is not round.
Unknown
inv-random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
The cow does not see the squirrel.
Unknown
inv-random
[@0: The cow sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "squirrel" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear does not chase the squirrel.[(triple1)] The bear does not see the cow.[(triple4)] The bear is red.[(triple2 OR ((triple3) -> rule6))] The bear is young.[(triple3)] The cow chases the bear.[(triple5)] The cow chases the squirrel.[(triple6)] The cow eats the bear.[(triple7)] The cow eats the squirrel.[(triple8)] The cow is young.[(triple9 OR ((triple7 triple2) -> rule5) OR ((triple7 ((triple3) -> rule6)) -> rule5))] The cow sees the bear.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel does not chase the cow.[(triple12)] The squirrel eats the cow.[(triple13)] The squirrel is big.[(triple14)] The squirrel is cold.[(triple15)] The squirrel sees the bear.[(triple16)] @1: The cow is red.[(((triple9) -> rule6) OR ((((triple7 triple2) -> rule5)) -> rule6) OR ((((triple7 ((triple3) -> rule6)) -> rule5)) -> rule6))] The squirrel eats the bear.[(((triple15 triple16) -> rule3))] @2: The squirrel is young.[(((((triple15 triple16) -> rule3) triple2) -> rule5) OR ((((triple15 triple16) -> rule3) ((triple3) -> rule6)) -> rule5))] @3: The squirrel is red.[(((((((triple15 triple16) -> rule3) triple2) -> rule5)) -> rule6) OR ((((((triple15 triple16) -> rule3) ((triple3) -> rule6)) -> rule5)) -> rule6))] @4: The squirrel chases the squirrel.[(((triple15 ((((((triple15 triple16) -> rule3) triple2) -> rule5)) -> rule6)) -> rule1) OR ((triple15 ((((((triple15 triple16) -> rule3) ((triple3) -> rule6)) -> rule5)) -> rule6)) -> rule1))]
The bear does not chase the squirrel.
("bear" "chases" "squirrel" "-")
triple1
The bear does not see the cow.
("bear" "sees" "cow" "-")
triple4
The bear is red.
("bear" "is" "red" "+")
triple2
((triple3) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is young.
("bear" "is" "young" "+")
triple3
The cow chases the bear.
("cow" "chases" "bear" "+")
triple5
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple6
The cow eats the bear.
("cow" "eats" "bear" "+")
triple7
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple8
The cow is young.
("cow" "is" "young" "+")
triple9
((triple7 triple2) -> (rule5 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
((triple7 ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The cow sees the bear.
("cow" "sees" "bear" "+")
triple10
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple11
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
triple12
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple13
The squirrel is big.
("squirrel" "is" "big" "+")
triple14
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple15
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple16
The cow is red.
("cow" "is" "red" "+")
((triple9) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((((triple7 triple2) -> (rule5 % int2))) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
((((triple7 ((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
((triple15 triple16) -> (rule3 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((((triple15 triple16) -> (rule3 % int2)) triple2) -> (rule5 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
((((triple15 triple16) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
((((((triple15 triple16) -> (rule3 % int3)) triple2) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int3
((((((triple15 triple16) -> (rule3 % int4)) ((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int4
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple15 ((((((triple15 triple16) -> (rule3 % int4)) triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int4
((triple15 ((((((triple15 triple16) -> (rule3 % int5)) ((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The bear is red.
("bear" "is" "red" "+")
int4
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int5