The lion eats the squirrel. The lion is blue. The lion is cold. The lion is nice. The lion is red. The lion is rough. The lion likes the squirrel. The lion visits the squirrel. The squirrel eats the lion. The squirrel is blue. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel likes the lion. The squirrel visits the lion. If the squirrel visits the lion then the squirrel is blue. If something is red then it eats the squirrel. If something visits the lion and the lion does not eat the squirrel then the lion visits the squirrel.
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If the squirrel visits the lion then the squirrel is blue.
((("squirrel" "visits" "lion" "+")) -> ("squirrel" "is" "blue" "+"))
If something is red then it eats the squirrel.
((("something" "is" "red" "+")) -> ("something" "eats" "squirrel" "+"))
If something visits the lion and the lion does not eat the squirrel then the lion visits the squirrel.
((("something" "visits" "lion" "+") ("lion" "eats" "squirrel" "~")) -> ("lion" "visits" "squirrel" "+"))
The squirrel is rough.
True
1
proof
[(triple13)]
("squirrel" "is" "rough" "+")
triple13
The squirrel is not red.
False
1
inv-proof
[(triple12)]
("squirrel" "is" "red" "-")
triple12
The squirrel eats the squirrel.
True
2
proof
[(((triple12) -> rule2))]
("squirrel" "eats" "squirrel" "+")
((triple12) -> (rule2 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel does not eat the squirrel.
False
2
inv-proof
[(((triple12) -> rule2))]
("squirrel" "eats" "squirrel" "-")
((triple12) -> (rule2 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The lion eats the squirrel.[(triple1 OR ((triple5) -> rule2))] The lion is blue.[(triple2)] The lion is cold.[(triple3)] The lion is nice.[(triple4)] The lion is red.[(triple5)] The lion is rough.[(triple6)] The lion likes the squirrel.[(triple7)] The lion visits the squirrel.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel is blue.[(triple10 OR ((triple15) -> rule1))] The squirrel is nice.[(triple11)] The squirrel is red.[(triple12)] The squirrel is rough.[(triple13)] The squirrel likes the lion.[(triple14)] The squirrel visits the lion.[(triple15)] @1: The squirrel eats the squirrel.[(((triple12) -> rule2))]
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple1
((triple5) -> (rule2 % int1))
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
triple2
The lion is cold.
("lion" "is" "cold" "+")
triple3
The lion is nice.
("lion" "is" "nice" "+")
triple4
The lion is red.
("lion" "is" "red" "+")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple6
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple7
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple8
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple9
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
((triple15) -> (rule1 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple14
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple15
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple12) -> (rule2 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1