The rabbit eats the squirrel. The rabbit is green. The rabbit is not kind. The rabbit is red. The rabbit is young. The rabbit needs the squirrel. The rabbit sees the squirrel. The squirrel does not eat the rabbit. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel needs the rabbit. The squirrel sees the rabbit. If the squirrel is young then the squirrel sees the rabbit. If something eats the squirrel and the squirrel is round then it does not see the rabbit.
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit is red.
("rabbit" "is" "red" "+")
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 does not eat the rabbit.
("squirrel" "eats" "rabbit" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
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 the squirrel is young then the squirrel sees the rabbit.
((("squirrel" "is" "young" "+")) -> ("squirrel" "sees" "rabbit" "+"))
If something eats the squirrel and the squirrel is round then it does not see the rabbit.
((("something" "eats" "squirrel" "+") ("squirrel" "is" "round" "+")) -> ("something" "sees" "rabbit" "-"))
The rabbit is green.
True
1
proof
[(triple2)]
("rabbit" "is" "green" "+")
triple2
The squirrel is not red.
False
1
inv-proof
[(triple11)]
("squirrel" "is" "red" "-")
triple11
The rabbit does not see the rabbit.
True
3
proof
[(((triple1 triple12) -> rule2))]
("rabbit" "sees" "rabbit" "-")
((triple1 triple12) -> (rule2 % int1))
The rabbit does not see the rabbit.
("rabbit" "sees" "rabbit" "-")
int1
The rabbit sees the rabbit.
False
3
inv-proof
[(((triple1 triple12) -> rule2))]
("rabbit" "sees" "rabbit" "+")
((triple1 triple12) -> (rule2 % int1))
The rabbit does not see the rabbit.
("rabbit" "sees" "rabbit" "-")
int1
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 eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
@0: The rabbit eats the squirrel.[(triple1)] The rabbit is green.[(triple2)] The rabbit is not kind.[(triple3)] The rabbit is red.[(triple4)] The rabbit is young.[(triple5)] The rabbit needs the squirrel.[(triple6)] The rabbit sees the squirrel.[(triple7)] The squirrel does not eat the rabbit.[(triple8)] The squirrel is green.[(triple9)] The squirrel is kind.[(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 OR ((triple13) -> rule1))] @1: The rabbit does not see the rabbit.[(((triple1 triple12) -> rule2))]
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple1
The rabbit is green.
("rabbit" "is" "green" "+")
triple2
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple3
The rabbit is red.
("rabbit" "is" "red" "+")
triple4
The rabbit is young.
("rabbit" "is" "young" "+")
triple5
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple6
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple7
The squirrel does not eat the rabbit.
("squirrel" "eats" "rabbit" "-")
triple8
The squirrel is green.
("squirrel" "is" "green" "+")
triple9
The squirrel is kind.
("squirrel" "is" "kind" "+")
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
((triple13) -> (rule1 % int1))
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int1
The rabbit does not see the rabbit.
("rabbit" "sees" "rabbit" "-")
((triple1 triple12) -> (rule2 % int1))
The rabbit does not see the rabbit.
("rabbit" "sees" "rabbit" "-")
int1