The lion chases the squirrel. The lion eats the squirrel. The lion is young. The lion does not see the squirrel. The squirrel chases the lion. The squirrel eats the lion. The squirrel is young. If something eats the lion then it chases the squirrel.
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is young.
("lion" "is" "young" "+")
The lion does not see the squirrel.
("lion" "sees" "squirrel" "-")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If something eats the lion then it chases the squirrel.
((("something" "eats" "lion" "+")) -> ("something" "chases" "squirrel" "+"))
The lion is young.
True
1
proof
[(triple3)]
("lion" "is" "young" "+")
triple3
The squirrel is not young.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "young" "-")
triple7
The squirrel chases the squirrel.
True
2
proof
[(((triple6) -> rule1))]
("squirrel" "chases" "squirrel" "+")
((triple6) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel does not chase the squirrel.
False
2
inv-proof
[(((triple6) -> rule1))]
("squirrel" "chases" "squirrel" "-")
((triple6) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The lion chases the squirrel.[(triple1)] The lion does not see the squirrel.[(triple4)] The lion eats the squirrel.[(triple2)] The lion is young.[(triple3)] The squirrel chases the lion.[(triple5)] The squirrel eats the lion.[(triple6)] The squirrel is young.[(triple7)] @1: The squirrel chases the squirrel.[(((triple6) -> rule1))]
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple1
The lion does not see the squirrel.
("lion" "sees" "squirrel" "-")
triple4
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple2
The lion is young.
("lion" "is" "young" "+")
triple3
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple5
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple6
The squirrel is young.
("squirrel" "is" "young" "+")
triple7
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple6) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1