The bear needs the squirrel. The lion eats the bear. The squirrel is rough. If the bear needs the squirrel then the bear needs the lion.
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If the bear needs the squirrel then the bear needs the lion.
((("bear" "needs" "squirrel" "+")) -> ("bear" "needs" "lion" "+"))
The lion eats the bear.
True
1
proof
[(triple2)]
("lion" "eats" "bear" "+")
triple2
The bear does not need the squirrel.
False
1
inv-proof
[(triple1)]
("bear" "needs" "squirrel" "-")
triple1
The bear needs the lion.
True
2
proof
[(((triple1) -> rule1))]
("bear" "needs" "lion" "+")
((triple1) -> (rule1 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1
The bear does not need the lion.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "needs" "lion" "-")
((triple1) -> (rule1 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1
The lion is not nice.
Unknown
inv-random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear needs the squirrel.[(triple1)] The lion eats the bear.[(triple2)] The squirrel is rough.[(triple3)] @1: The bear needs the lion.[(((triple1) -> rule1))]
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple1
The lion eats the bear.
("lion" "eats" "bear" "+")
triple2
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple3
The bear needs the lion.
("bear" "needs" "lion" "+")
((triple1) -> (rule1 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1