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