The bear chases the squirrel. The bear eats the squirrel. The bear is kind. The bear does not like the squirrel. The squirrel chases the bear. The squirrel is red. The squirrel does not like the bear. If something eats the squirrel then it eats the bear. If something eats the bear and it likes the squirrel then the squirrel likes the bear. If something chases the bear then it is young. If the squirrel chases the bear and the bear is kind then the bear eats the squirrel. If something eats the bear then the bear is red. If something is red then it chases the bear.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel does not like the bear.
("squirrel" "likes" "bear" "-")
If something eats the squirrel then it eats the bear.
((("something" "eats" "squirrel" "+")) -> ("something" "eats" "bear" "+"))
If something eats the bear and it likes the squirrel then the squirrel likes the bear.
((("something" "eats" "bear" "+") ("something" "likes" "squirrel" "+")) -> ("squirrel" "likes" "bear" "+"))
If something chases the bear then it is young.
((("something" "chases" "bear" "+")) -> ("something" "is" "young" "+"))
If the squirrel chases the bear and the bear is kind then the bear eats the squirrel.
((("squirrel" "chases" "bear" "+") ("bear" "is" "kind" "+")) -> ("bear" "eats" "squirrel" "+"))
If something eats the bear then the bear is red.
((("something" "eats" "bear" "+")) -> ("bear" "is" "red" "+"))
If something is red then it chases the bear.
((("something" "is" "red" "+")) -> ("something" "chases" "bear" "+"))
The bear does not like the squirrel.
True
1
proof
[(triple4)]
("bear" "likes" "squirrel" "-")
triple4
The squirrel likes the bear.
False
1
inv-proof
[(triple7)]
("squirrel" "likes" "bear" "+")
triple7
The bear eats the bear.
True
2
proof
[(((triple2) -> rule1) OR ((((triple5 triple3) -> rule4)) -> rule1) OR ((((((triple6) -> rule6) triple3) -> rule4)) -> rule1))]
("bear" "eats" "bear" "+")
((triple2) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
((((triple5 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
((((((triple6) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int3
The bear does not eat the bear.
False
2
inv-proof
[(((triple2) -> rule1) OR ((((triple5 triple3) -> rule4)) -> rule1) OR ((((((triple6) -> rule6) triple3) -> rule4)) -> rule1))]
("bear" "eats" "bear" "-")
((triple2) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
((((triple5 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
((((((triple6) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int3
The bear is red.
True
3
proof
[(((((triple2) -> rule1)) -> rule5) OR ((((((triple5 triple3) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple6) -> rule6) triple3) -> rule4)) -> rule1)) -> rule5))]
("bear" "is" "red" "+")
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
((((((triple5 triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int3
((((((((triple6) -> (rule6 % int4)) triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int3
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int4
The bear is not red.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule5) OR ((((((triple5 triple3) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple6) -> rule6) triple3) -> rule4)) -> rule1)) -> rule5))]
("bear" "is" "red" "-")
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
((((((triple5 triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int3
((((((((triple6) -> (rule6 % int4)) triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int3
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int4
The bear chases the bear.
True
4
proof
[(((((((triple2) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple5 triple3) -> rule4)) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple6) -> rule6) triple3) -> rule4)) -> rule1)) -> rule5)) -> rule6))]
("bear" "chases" "bear" "+")
((((((triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
((((((((triple5 triple3) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int4
((((((((((triple6) -> (rule6 % int5)) triple3) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int4
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int5
The bear does not chase the bear.
False
4
inv-proof
[(((((((triple2) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple5 triple3) -> rule4)) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple6) -> rule6) triple3) -> rule4)) -> rule1)) -> rule5)) -> rule6))]
("bear" "chases" "bear" "-")
((((((triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
((((((((triple5 triple3) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int4
((((((((((triple6) -> (rule6 % int5)) triple3) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int4
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int5
The squirrel does not eat the bear.
Unknown
inv-rconc
[@1: The squirrel eats the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "eats" "bear" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
The squirrel is not big.
Unknown
inv-random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The bear chases the squirrel.[(triple1)] The bear does not like the squirrel.[(triple4)] The bear eats the squirrel.[(triple2 OR ((triple5 triple3) -> rule4) OR ((((triple6) -> rule6) triple3) -> rule4))] The bear is kind.[(triple3)] The squirrel chases the bear.[(triple5 OR ((triple6) -> rule6))] The squirrel does not like the bear.[(triple7)] The squirrel is red.[(triple6)] @1: The bear eats the bear.[(((triple2) -> rule1) OR ((((triple5 triple3) -> rule4)) -> rule1) OR ((((((triple6) -> rule6) triple3) -> rule4)) -> rule1))] The squirrel is young.[(((triple5) -> rule3) OR ((((triple6) -> rule6)) -> rule3))] @2: The bear is red.[(((((triple2) -> rule1)) -> rule5) OR ((((((triple5 triple3) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple6) -> rule6) triple3) -> rule4)) -> rule1)) -> rule5))] @3: The bear chases the bear.[(((((((triple2) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple5 triple3) -> rule4)) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple6) -> rule6) triple3) -> rule4)) -> rule1)) -> rule5)) -> rule6))] @4: The bear is young.[(((((((((triple2) -> rule1)) -> rule5)) -> rule6)) -> rule3) OR ((((((((((triple5 triple3) -> rule4)) -> rule1)) -> rule5)) -> rule6)) -> rule3) OR ((((((((((((triple6) -> rule6) triple3) -> rule4)) -> rule1)) -> rule5)) -> rule6)) -> rule3))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
triple4
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
((triple5 triple3) -> (rule4 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
((((triple6) -> (rule6 % int2)) triple3) -> (rule4 % int1))
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple5
((triple6) -> (rule6 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel does not like the bear.
("squirrel" "likes" "bear" "-")
triple7
The squirrel is red.
("squirrel" "is" "red" "+")
triple6
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple2) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
((((triple5 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
((((((triple6) -> (rule6 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
((triple5) -> (rule3 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The bear is red.
("bear" "is" "red" "+")
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
((((((triple5 triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int3
((((((((triple6) -> (rule6 % int4)) triple3) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int3
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int4
The bear chases the bear.
("bear" "chases" "bear" "+")
((((((triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
((((((((triple5 triple3) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int4
((((((((((triple6) -> (rule6 % int5)) triple3) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int4
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int5
The bear is young.
("bear" "is" "young" "+")
((((((((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear eats the bear.
("bear" "eats" "bear" "+")
int4
((((((((((triple5 triple3) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear eats the bear.
("bear" "eats" "bear" "+")
int4
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int5
((((((((((((triple6) -> (rule6 % int6)) triple3) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear eats the bear.
("bear" "eats" "bear" "+")
int4
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
int5
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int6