The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is rough. The rabbit is round. The rabbit sees the squirrel. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is cold. The squirrel is green. The squirrel is rough. The squirrel is round. The squirrel sees the rabbit. If someone chases the squirrel and the squirrel eats the rabbit then the squirrel chases the rabbit. If someone chases the squirrel then the squirrel sees the rabbit.
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If someone chases the squirrel and the squirrel eats the rabbit then the squirrel chases the rabbit.
((("someone" "chases" "squirrel" "+") ("squirrel" "eats" "rabbit" "+")) -> ("squirrel" "chases" "rabbit" "+"))
If someone chases the squirrel then the squirrel sees the rabbit.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "sees" "rabbit" "+"))
The squirrel is cold.
True
1
proof
[(triple11)]
("squirrel" "is" "cold" "+")
triple11
The rabbit is not red.
False
1
inv-proof
[(triple5)]
("rabbit" "is" "red" "-")
triple5
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The rabbit chases the squirrel.[(triple1)] The rabbit eats the squirrel.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is green.[(triple4)] The rabbit is red.[(triple5)] The rabbit is rough.[(triple6)] The rabbit is round.[(triple7)] The rabbit sees the squirrel.[(triple8)] The squirrel chases the rabbit.[(triple9 OR ((triple1 triple10) -> rule1))] The squirrel eats the rabbit.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is round.[(triple14)] The squirrel sees the rabbit.[(triple15 OR ((triple1) -> rule2))]
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple2
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple3
The rabbit is green.
("rabbit" "is" "green" "+")
triple4
The rabbit is red.
("rabbit" "is" "red" "+")
triple5
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple6
The rabbit is round.
("rabbit" "is" "round" "+")
triple7
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple8
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple9
((triple1 triple10) -> (rule1 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple15
((triple1) -> (rule2 % int1))
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
int1