The bear is not red. The bear does not see the rabbit. The bear sees the squirrel. The cat needs the rabbit. The rabbit is young. The squirrel is not young. The squirrel sees the cat. If someone sees the squirrel then the squirrel does not need the cat.
The bear is not red.
("bear" "is" "red" "-")
The bear does not see the rabbit.
("bear" "sees" "rabbit" "-")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The squirrel is not young.
("squirrel" "is" "young" "-")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If someone sees the squirrel then the squirrel does not need the cat.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "needs" "cat" "-"))
The rabbit is young.
True
1
proof
[(triple5)]
("rabbit" "is" "young" "+")
triple5
The rabbit is not young.
False
1
inv-proof
[(triple5)]
("rabbit" "is" "young" "-")
triple5
The squirrel does not need the cat.
True
2
proof
[(((triple3) -> rule1))]
("squirrel" "needs" "cat" "-")
((triple3) -> (rule1 % int1))
The squirrel does not need the cat.
("squirrel" "needs" "cat" "-")
int1
The squirrel needs the cat.
False
2
inv-proof
[(((triple3) -> rule1))]
("squirrel" "needs" "cat" "+")
((triple3) -> (rule1 % int1))
The squirrel does not need the cat.
("squirrel" "needs" "cat" "-")
int1
The bear does not need the rabbit.
Unknown
inv-random
[@0: The bear needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "rabbit" "-")
The cat sees the rabbit.
Unknown
random
[@0: The cat sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "rabbit" "+")
The rabbit is not blue.
Unknown
inv-random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "-")
The rabbit needs the cat.
Unknown
random
[@0: The rabbit needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "cat" "+")
@0: The bear does not see the rabbit.[(triple2)] The bear is not red.[(triple1)] The bear sees the squirrel.[(triple3)] The cat needs the rabbit.[(triple4)] The rabbit is young.[(triple5)] The squirrel is not young.[(triple6)] The squirrel sees the cat.[(triple7)] @1: The squirrel does not need the cat.[(((triple3) -> rule1))]
The bear does not see the rabbit.
("bear" "sees" "rabbit" "-")
triple2
The bear is not red.
("bear" "is" "red" "-")
triple1
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple3
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple4
The rabbit is young.
("rabbit" "is" "young" "+")
triple5
The squirrel is not young.
("squirrel" "is" "young" "-")
triple6
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple7
The squirrel does not need the cat.
("squirrel" "needs" "cat" "-")
((triple3) -> (rule1 % int1))
The squirrel does not need the cat.
("squirrel" "needs" "cat" "-")
int1