The bear eats the rabbit. The bear eats the squirrel. The bear is green. The bear is round. The bear is young. The bear needs the rabbit. The bear needs the squirrel. The bear sees the rabbit. The rabbit eats the squirrel. The rabbit is green. The rabbit is young. The squirrel eats the rabbit. The squirrel is green. The squirrel needs the bear. The squirrel sees the bear. If someone needs the squirrel then the squirrel eats the bear.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If someone needs the squirrel then the squirrel eats the bear.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "eats" "bear" "+"))
The bear needs the rabbit.
True
1
proof
[(triple6)]
("bear" "needs" "rabbit" "+")
triple6
The squirrel is not green.
False
1
inv-proof
[(triple13)]
("squirrel" "is" "green" "-")
triple13
The squirrel eats the bear.
True
2
proof
[(((triple7) -> rule1))]
("squirrel" "eats" "bear" "+")
((triple7) -> (rule1 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel does not eat the bear.
False
2
inv-proof
[(((triple7) -> rule1))]
("squirrel" "eats" "bear" "-")
((triple7) -> (rule1 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
The rabbit does not eat the bear.
Unknown
inv-random
[@0: The rabbit eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "bear" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
@0: The bear eats the rabbit.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is green.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5)] The bear needs the rabbit.[(triple6)] The bear needs the squirrel.[(triple7)] The bear sees the rabbit.[(triple8)] The rabbit eats the squirrel.[(triple9)] The rabbit is green.[(triple10)] The rabbit is young.[(triple11)] The squirrel eats the rabbit.[(triple12)] The squirrel is green.[(triple13)] The squirrel needs the bear.[(triple14)] The squirrel sees the bear.[(triple15)] @1: The squirrel eats the bear.[(((triple7) -> rule1))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple6
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple7
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple8
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple9
The rabbit is green.
("rabbit" "is" "green" "+")
triple10
The rabbit is young.
("rabbit" "is" "young" "+")
triple11
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple12
The squirrel is green.
("squirrel" "is" "green" "+")
triple13
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple14
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple15
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
((triple7) -> (rule1 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1