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