The rabbit is green. The rabbit is rough. The rabbit does not see the squirrel. The rabbit sees the tiger. The squirrel chases the rabbit. The squirrel is young. The squirrel sees the rabbit. The squirrel sees the tiger. The squirrel visits the tiger. The tiger is blue. If something visits the squirrel then the squirrel chases the rabbit. If something chases the squirrel and the squirrel is not young then it is not rough.
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit does not see the squirrel.
("rabbit" "sees" "squirrel" "-")
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
If something visits the squirrel then the squirrel chases the rabbit.
((("something" "visits" "squirrel" "+")) -> ("squirrel" "chases" "rabbit" "+"))
If something chases the squirrel and the squirrel is not young then it is not rough.
((("something" "chases" "squirrel" "+") ("squirrel" "is" "young" "~")) -> ("something" "is" "rough" "-"))
The squirrel visits the tiger.
True
1
proof
[(triple9)]
("squirrel" "visits" "tiger" "+")
triple9
The rabbit is not rough.
False
1
inv-proof
[(triple2)]
("rabbit" "is" "rough" "-")
triple2
The rabbit is not blue.
Unknown
inv-random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
@0: The rabbit does not see the squirrel.[(triple3)] The rabbit is green.[(triple1)] The rabbit is rough.[(triple2)] The rabbit sees the tiger.[(triple4)] The squirrel chases the rabbit.[(triple5)] The squirrel is young.[(triple6)] The squirrel sees the rabbit.[(triple7)] The squirrel sees the tiger.[(triple8)] The squirrel visits the tiger.[(triple9)] The tiger is blue.[(triple10)]
The rabbit does not see the squirrel.
("rabbit" "sees" "squirrel" "-")
triple3
The rabbit is green.
("rabbit" "is" "green" "+")
triple1
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple2
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
triple4
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple5
The squirrel is young.
("squirrel" "is" "young" "+")
triple6
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple7
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple8
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10