The bear eats the squirrel. The bear is kind. The bear is nice. The bear likes the squirrel. The bear needs the squirrel. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel likes the bear. The squirrel needs the bear. If something likes the squirrel then it eats the bear. If something likes the bear and it eats the squirrel then the squirrel eats the bear. If something is kind and it eats the bear then it likes the bear.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If something likes the squirrel then it eats the bear.
((("something" "likes" "squirrel" "+")) -> ("something" "eats" "bear" "+"))
If something likes the bear and it eats the squirrel then the squirrel eats the bear.
((("something" "likes" "bear" "+") ("something" "eats" "squirrel" "+")) -> ("squirrel" "eats" "bear" "+"))
If something is kind and it eats the bear then it likes the bear.
((("something" "is" "kind" "+") ("something" "eats" "bear" "+")) -> ("something" "likes" "bear" "+"))
The squirrel is nice.
True
1
proof
[(triple7)]
("squirrel" "is" "nice" "+")
triple7
The squirrel is not nice.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "nice" "-")
triple7
The bear eats the bear.
True
2
proof
[(((triple4) -> rule1))]
("bear" "eats" "bear" "+")
((triple4) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear does not eat the bear.
False
2
inv-proof
[(((triple4) -> rule1))]
("bear" "eats" "bear" "-")
((triple4) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear likes the bear.
True
4
proof
[(((triple2 ((triple4) -> rule1)) -> rule3))]
("bear" "likes" "bear" "+")
((triple2 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear does not like the bear.
False
4
inv-proof
[(((triple2 ((triple4) -> rule1)) -> rule3))]
("bear" "likes" "bear" "-")
((triple2 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The squirrel eats the bear.
True
6
proof
[(((((triple2 ((triple4) -> rule1)) -> rule3) triple1) -> rule2))]
("squirrel" "eats" "bear" "+")
((((triple2 ((triple4) -> (rule1 % int3))) -> (rule3 % int2)) triple1) -> (rule2 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The squirrel does not eat the bear.
False
6
inv-proof
[(((((triple2 ((triple4) -> rule1)) -> rule3) triple1) -> rule2))]
("squirrel" "eats" "bear" "-")
((((triple2 ((triple4) -> (rule1 % int3))) -> (rule3 % int2)) triple1) -> (rule2 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear eats the squirrel.[(triple1)] The bear is kind.[(triple2)] The bear is nice.[(triple3)] The bear likes the squirrel.[(triple4)] The bear needs the squirrel.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is round.[(triple8)] The squirrel likes the bear.[(triple9 OR ((triple6 ((((triple2 ((triple4) -> rule1)) -> rule3) triple1) -> rule2)) -> rule3))] The squirrel needs the bear.[(triple10)] @1: The bear eats the bear.[(((triple4) -> rule1))] @2: The bear likes the bear.[(((triple2 ((triple4) -> rule1)) -> rule3))] @3: The squirrel eats the bear.[(((((triple2 ((triple4) -> rule1)) -> rule3) triple1) -> rule2))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple5
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple6
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple7
The squirrel is round.
("squirrel" "is" "round" "+")
triple8
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple9
((triple6 ((((triple2 ((triple4) -> (rule1 % int4))) -> (rule3 % int3)) triple1) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The bear likes the bear.
("bear" "likes" "bear" "+")
int3
The bear eats the bear.
("bear" "eats" "bear" "+")
int4
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple10
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple4) -> (rule1 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple2 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
((((triple2 ((triple4) -> (rule1 % int3))) -> (rule3 % int2)) triple1) -> (rule2 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3