The lion chases the squirrel. The mouse sees the squirrel. The squirrel does not see the lion. All young people are not blue. All blue people are not young.
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel does not see the lion.
("squirrel" "sees" "lion" "-")
All young people are not blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "-"))
All blue people are not young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "-"))
The mouse sees the squirrel.
True
1
proof
[(triple2)]
("mouse" "sees" "squirrel" "+")
triple2
The lion does not chase the squirrel.
False
1
inv-proof
[(triple1)]
("lion" "chases" "squirrel" "-")
triple1
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The lion chases the squirrel.[(triple1)] The mouse sees the squirrel.[(triple2)] The squirrel does not see the lion.[(triple3)]
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple1
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple2
The squirrel does not see the lion.
("squirrel" "sees" "lion" "-")
triple3