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