The rabbit needs the squirrel. The rabbit sees the squirrel. The squirrel chases the rabbit. The squirrel is nice. The squirrel is young. The squirrel needs the rabbit. The squirrel sees the rabbit. If something chases the rabbit and the rabbit sees the squirrel then the rabbit is cold.
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If something chases the rabbit and the rabbit sees the squirrel then the rabbit is cold.
((("something" "chases" "rabbit" "+") ("rabbit" "sees" "squirrel" "+")) -> ("rabbit" "is" "cold" "+"))
The squirrel is nice.
True
1
proof
[(triple4)]
("squirrel" "is" "nice" "+")
triple4
The squirrel does not need the rabbit.
False
1
inv-proof
[(triple6)]
("squirrel" "needs" "rabbit" "-")
triple6
The rabbit is cold.
True
3
proof
[(((triple3 triple2) -> rule1))]
("rabbit" "is" "cold" "+")
((triple3 triple2) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is not cold.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("rabbit" "is" "cold" "-")
((triple3 triple2) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is not rough.
Unknown
inv-random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "-")
The rabbit is nice.
Unknown
random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit chases the squirrel.
Unknown
random
[@0: The rabbit chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "squirrel" "+")
@0: The rabbit needs the squirrel.[(triple1)] The rabbit sees the squirrel.[(triple2)] The squirrel chases the rabbit.[(triple3)] The squirrel is nice.[(triple4)] The squirrel is young.[(triple5)] The squirrel needs the rabbit.[(triple6)] The squirrel sees the rabbit.[(triple7)] @1: The rabbit is cold.[(((triple3 triple2) -> rule1))]
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple1
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple2
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple3
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple4
The squirrel is young.
("squirrel" "is" "young" "+")
triple5
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple6
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple7
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple3 triple2) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1