The lion chases the squirrel. The lion is blue. The lion is cold. The lion needs the squirrel. The lion sees the squirrel. The squirrel chases the lion. The squirrel is young. If someone chases the lion then they see the squirrel.
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If someone chases the lion then they see the squirrel.
((("someone" "chases" "lion" "+")) -> ("someone" "sees" "squirrel" "+"))
The lion needs the squirrel.
True
1
proof
[(triple4)]
("lion" "needs" "squirrel" "+")
triple4
The lion is not blue.
False
1
inv-proof
[(triple2)]
("lion" "is" "blue" "-")
triple2
The squirrel sees the squirrel.
True
2
proof
[(((triple6) -> rule1))]
("squirrel" "sees" "squirrel" "+")
((triple6) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel does not see the squirrel.
False
2
inv-proof
[(((triple6) -> rule1))]
("squirrel" "sees" "squirrel" "-")
((triple6) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The lion is not young.
Unknown
inv-random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "-")
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 see the lion.
Unknown
inv-random
[@0: The squirrel sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "lion" "-")
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 chases the squirrel.[(triple1)] The lion is blue.[(triple2)] The lion is cold.[(triple3)] The lion needs the squirrel.[(triple4)] The lion sees the squirrel.[(triple5)] The squirrel chases the lion.[(triple6)] The squirrel is young.[(triple7)] @1: The squirrel sees the squirrel.[(((triple6) -> rule1))]
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple1
The lion is blue.
("lion" "is" "blue" "+")
triple2
The lion is cold.
("lion" "is" "cold" "+")
triple3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple4
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple5
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple6
The squirrel is young.
("squirrel" "is" "young" "+")
triple7
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple6) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1