The lion is young. The lion likes the squirrel. The lion needs the squirrel. The squirrel is kind. The squirrel is red. The squirrel is young. The squirrel needs the lion. If someone chases the lion then they are kind. If the lion likes the squirrel then the lion is kind.
The lion is young.
("lion" "is" "young" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If someone chases the lion then they are kind.
((("someone" "chases" "lion" "+")) -> ("someone" "is" "kind" "+"))
If the lion likes the squirrel then the lion is kind.
((("lion" "likes" "squirrel" "+")) -> ("lion" "is" "kind" "+"))
The lion likes the squirrel.
True
1
proof
[(triple2)]
("lion" "likes" "squirrel" "+")
triple2
The squirrel is not red.
False
1
inv-proof
[(triple5)]
("squirrel" "is" "red" "-")
triple5
The squirrel does not chase the lion.
Unknown
inv-random
[@0: The squirrel chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "lion" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The lion is young.[(triple1)] The lion likes the squirrel.[(triple2)] The lion needs the squirrel.[(triple3)] The squirrel is kind.[(triple4)] The squirrel is red.[(triple5)] The squirrel is young.[(triple6)] The squirrel needs the lion.[(triple7)] @1: The lion is kind.[(((triple2) -> rule2))]
The lion is young.
("lion" "is" "young" "+")
triple1
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple3
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple4
The squirrel is red.
("squirrel" "is" "red" "+")
triple5
The squirrel is young.
("squirrel" "is" "young" "+")
triple6
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple7
The lion is kind.
("lion" "is" "kind" "+")
((triple2) -> (rule2 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1