The lion is kind. The lion is red. The lion is round. The lion likes the squirrel. The lion sees the squirrel. The squirrel is kind. The squirrel does not like the lion. If someone needs the squirrel and they do not like the lion then the lion likes the squirrel. If the squirrel sees the lion and the lion is red then the lion is not blue.
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel does not like the lion.
("squirrel" "likes" "lion" "-")
If someone needs the squirrel and they do not like the lion then the lion likes the squirrel.
((("someone" "needs" "squirrel" "+") ("someone" "likes" "lion" "~")) -> ("lion" "likes" "squirrel" "+"))
If the squirrel sees the lion and the lion is red then the lion is not blue.
((("squirrel" "sees" "lion" "+") ("lion" "is" "red" "+")) -> ("lion" "is" "blue" "-"))
The lion is red.
True
1
proof
[(triple2)]
("lion" "is" "red" "+")
triple2
The lion does not like the squirrel.
False
1
inv-proof
[(triple4)]
("lion" "likes" "squirrel" "-")
triple4
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The lion is kind.[(triple1)] The lion is red.[(triple2)] The lion is round.[(triple3)] The lion likes the squirrel.[(triple4)] The lion sees the squirrel.[(triple5)] The squirrel does not like the lion.[(triple7)] The squirrel is kind.[(triple6)]
The lion is kind.
("lion" "is" "kind" "+")
triple1
The lion is red.
("lion" "is" "red" "+")
triple2
The lion is round.
("lion" "is" "round" "+")
triple3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple4
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple5
The squirrel does not like the lion.
("squirrel" "likes" "lion" "-")
triple7
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple6