The cat eats the squirrel. The cat needs the lion. The dog eats the lion. The dog needs the squirrel. The lion does not eat the squirrel. The lion needs the cat. The squirrel eats the dog. The squirrel is round. The squirrel needs the cat. The squirrel visits the cat. If the dog visits the cat then the dog is not big. If something eats the squirrel then it eats the lion. If the dog needs the lion and the cat does not eat the dog then the lion does not need the dog. If something eats the lion and it is big then it is not blue. If something needs the cat and it is cold then it needs the lion. If something needs the dog and the dog needs the squirrel then it needs the cat. If something visits the squirrel and the squirrel is round then the squirrel eats the dog. If the dog visits the squirrel and the dog does not need the cat then the squirrel is round.
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
The lion needs the cat.
("lion" "needs" "cat" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If the dog visits the cat then the dog is not big.
((("dog" "visits" "cat" "+")) -> ("dog" "is" "big" "-"))
If something eats the squirrel then it eats the lion.
((("something" "eats" "squirrel" "+")) -> ("something" "eats" "lion" "+"))
If the dog needs the lion and the cat does not eat the dog then the lion does not need the dog.
((("dog" "needs" "lion" "+") ("cat" "eats" "dog" "~")) -> ("lion" "needs" "dog" "-"))
If something eats the lion and it is big then it is not blue.
((("something" "eats" "lion" "+") ("something" "is" "big" "+")) -> ("something" "is" "blue" "-"))
If something needs the cat and it is cold then it needs the lion.
((("something" "needs" "cat" "+") ("something" "is" "cold" "+")) -> ("something" "needs" "lion" "+"))
If something needs the dog and the dog needs the squirrel then it needs the cat.
((("something" "needs" "dog" "+") ("dog" "needs" "squirrel" "+")) -> ("something" "needs" "cat" "+"))
If something visits the squirrel and the squirrel is round then the squirrel eats the dog.
((("something" "visits" "squirrel" "+") ("squirrel" "is" "round" "+")) -> ("squirrel" "eats" "dog" "+"))
If the dog visits the squirrel and the dog does not need the cat then the squirrel is round.
((("dog" "visits" "squirrel" "+") ("dog" "needs" "cat" "~")) -> ("squirrel" "is" "round" "+"))
The dog needs the squirrel.
True
1
proof
[(triple4)]
("dog" "needs" "squirrel" "+")
triple4
The squirrel does not visit the cat.
False
1
inv-proof
[(triple10)]
("squirrel" "visits" "cat" "-")
triple10
The cat eats the lion.
True
2
proof
[(((triple1) -> rule2))]
("cat" "eats" "lion" "+")
((triple1) -> (rule2 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The cat does not eat the lion.
False
2
inv-proof
[(((triple1) -> rule2))]
("cat" "eats" "lion" "-")
((triple1) -> (rule2 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The lion does not need the lion.
Unknown
inv-rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "needs" "lion" "-")
The dog needs the cat.
Unknown
rconc
[@1: The dog needs the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "needs" "cat" "+")
The lion does not visit the cat.
Unknown
inv-random
[@0: The lion visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "cat" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
@0: The cat eats the squirrel.[(triple1)] The cat needs the lion.[(triple2)] The dog eats the lion.[(triple3)] The dog needs the squirrel.[(triple4)] The lion does not eat the squirrel.[(triple5)] The lion needs the cat.[(triple6)] The squirrel eats the dog.[(triple7)] The squirrel is round.[(triple8)] The squirrel needs the cat.[(triple9)] The squirrel visits the cat.[(triple10)] @1: The cat eats the lion.[(((triple1) -> rule2))]
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple1
The cat needs the lion.
("cat" "needs" "lion" "+")
triple2
The dog eats the lion.
("dog" "eats" "lion" "+")
triple3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple4
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
triple5
The lion needs the cat.
("lion" "needs" "cat" "+")
triple6
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple7
The squirrel is round.
("squirrel" "is" "round" "+")
triple8
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple9
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple10
The cat eats the lion.
("cat" "eats" "lion" "+")
((triple1) -> (rule2 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1