The bear needs the cat. The cat eats the bear. If someone needs the cat then the cat does not need the bear.
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
If someone needs the cat then the cat does not need the bear.
((("someone" "needs" "cat" "+")) -> ("cat" "needs" "bear" "-"))
The cat eats the bear.
True
1
proof
[(triple2)]
("cat" "eats" "bear" "+")
triple2
The cat does not eat the bear.
False
1
inv-proof
[(triple2)]
("cat" "eats" "bear" "-")
triple2
The cat does not need the bear.
True
2
proof
[(((triple1) -> rule1))]
("cat" "needs" "bear" "-")
((triple1) -> (rule1 % int1))
The cat does not need the bear.
("cat" "needs" "bear" "-")
int1
The cat needs the bear.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "needs" "bear" "+")
((triple1) -> (rule1 % int1))
The cat does not need the bear.
("cat" "needs" "bear" "-")
int1
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The cat is round.
Unknown
random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The bear needs the cat.[(triple1)] The cat eats the bear.[(triple2)] @1: The cat does not need the bear.[(((triple1) -> rule1))]
The bear needs the cat.
("bear" "needs" "cat" "+")
triple1
The cat eats the bear.
("cat" "eats" "bear" "+")
triple2
The cat does not need the bear.
("cat" "needs" "bear" "-")
((triple1) -> (rule1 % int1))
The cat does not need the bear.
("cat" "needs" "bear" "-")
int1