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