The lion chases the squirrel. The lion is cold. The lion is kind. The lion is nice. The lion is red. The lion is round. The lion likes the squirrel. The lion needs the squirrel. The squirrel chases the lion. The squirrel is cold. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is round. The squirrel likes the lion. The squirrel needs the lion. If someone is cold and they need the lion then they like the squirrel.
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If someone is cold and they need the lion then they like the squirrel.
((("someone" "is" "cold" "+") ("someone" "needs" "lion" "+")) -> ("someone" "likes" "squirrel" "+"))
The lion is kind.
True
1
proof
[(triple3)]
("lion" "is" "kind" "+")
triple3
The squirrel does not need the lion.
False
1
inv-proof
[(triple16)]
("squirrel" "needs" "lion" "-")
triple16
The squirrel likes the squirrel.
True
3
proof
[(((triple10 triple16) -> rule1))]
("squirrel" "likes" "squirrel" "+")
((triple10 triple16) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel does not like the squirrel.
False
3
inv-proof
[(((triple10 triple16) -> rule1))]
("squirrel" "likes" "squirrel" "-")
((triple10 triple16) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The lion chases the squirrel.[(triple1)] The lion is cold.[(triple2)] The lion is kind.[(triple3)] The lion is nice.[(triple4)] The lion is red.[(triple5)] The lion is round.[(triple6)] The lion likes the squirrel.[(triple7)] The lion needs the squirrel.[(triple8)] The squirrel chases the lion.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is red.[(triple13)] The squirrel is round.[(triple14)] The squirrel likes the lion.[(triple15)] The squirrel needs the lion.[(triple16)] @1: The squirrel likes the squirrel.[(((triple10 triple16) -> rule1))]
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple2
The lion is kind.
("lion" "is" "kind" "+")
triple3
The lion is nice.
("lion" "is" "nice" "+")
triple4
The lion is red.
("lion" "is" "red" "+")
triple5
The lion is round.
("lion" "is" "round" "+")
triple6
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple7
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple8
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple9
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel is red.
("squirrel" "is" "red" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple15
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple16
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple10 triple16) -> (rule1 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1