The lion chases the squirrel. The lion is big. The lion is kind. The lion is red. The lion is rough. The lion is young. The lion needs the squirrel. The lion does not visit the squirrel. The squirrel chases the lion. The squirrel is big. The squirrel is red. The squirrel is rough. The squirrel is young. The squirrel does not need the lion. The squirrel visits the lion. If the lion visits the squirrel then the lion is kind.
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The lion does not visit the squirrel.
("lion" "visits" "squirrel" "-")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel does not need the lion.
("squirrel" "needs" "lion" "-")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If the lion visits the squirrel then the lion is kind.
((("lion" "visits" "squirrel" "+")) -> ("lion" "is" "kind" "+"))
The squirrel is big.
True
1
proof
[(triple10)]
("squirrel" "is" "big" "+")
triple10
The lion visits the squirrel.
False
1
inv-proof
[(triple8)]
("lion" "visits" "squirrel" "+")
triple8
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 needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The lion chases the squirrel.[(triple1)] The lion does not visit the squirrel.[(triple8)] The lion is big.[(triple2)] The lion is kind.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5)] The lion is young.[(triple6)] The lion needs the squirrel.[(triple7)] The squirrel chases the lion.[(triple9)] The squirrel does not need the lion.[(triple14)] The squirrel is big.[(triple10)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is young.[(triple13)] The squirrel visits the lion.[(triple15)]
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple1
The lion does not visit the squirrel.
("lion" "visits" "squirrel" "-")
triple8
The lion is big.
("lion" "is" "big" "+")
triple2
The lion is kind.
("lion" "is" "kind" "+")
triple3
The lion is red.
("lion" "is" "red" "+")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple7
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple9
The squirrel does not need the lion.
("squirrel" "needs" "lion" "-")
triple14
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple15