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