The rabbit needs the squirrel. The squirrel is cold. The squirrel sees the rabbit. If someone needs the squirrel then the squirrel is nice.
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If someone needs the squirrel then the squirrel is nice.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "is" "nice" "+"))
The rabbit needs the squirrel.
True
1
proof
[(triple1)]
("rabbit" "needs" "squirrel" "+")
triple1
The squirrel does not see the rabbit.
False
1
inv-proof
[(triple3)]
("squirrel" "sees" "rabbit" "-")
triple3
The squirrel is nice.
True
2
proof
[(((triple1) -> rule1))]
("squirrel" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is not nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("squirrel" "is" "nice" "-")
((triple1) -> (rule1 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The rabbit does not like the squirrel.
Unknown
inv-random
[@0: The rabbit likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "squirrel" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
The squirrel does not like the rabbit.
Unknown
inv-random
[@0: The squirrel likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "rabbit" "-")
The squirrel needs the rabbit.
Unknown
random
[@0: The squirrel needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "rabbit" "+")
@0: The rabbit needs the squirrel.[(triple1)] The squirrel is cold.[(triple2)] The squirrel sees the rabbit.[(triple3)] @1: The squirrel is nice.[(((triple1) -> rule1))]
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple2
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple3
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1