The cat is red. The cat is young. The cat needs the squirrel. The dog eats the cat. The dog likes the cat. The lion eats the dog. The lion likes the cat. The lion needs the cat. The squirrel eats the cat. The squirrel does not eat the dog. The squirrel eats the lion. The squirrel is round. If the dog likes the cat and the dog is rough then the cat is not nice. If the cat likes the lion and the lion needs the cat then the cat is not nice. If someone needs the cat and they eat the cat then the cat likes the dog. If someone needs the cat then the cat likes the lion. If someone is round then they need the cat. If the lion eats the dog then the lion eats the squirrel.
The cat is red.
("cat" "is" "red" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If the dog likes the cat and the dog is rough then the cat is not nice.
((("dog" "likes" "cat" "+") ("dog" "is" "rough" "+")) -> ("cat" "is" "nice" "-"))
If the cat likes the lion and the lion needs the cat then the cat is not nice.
((("cat" "likes" "lion" "+") ("lion" "needs" "cat" "+")) -> ("cat" "is" "nice" "-"))
If someone needs the cat and they eat the cat then the cat likes the dog.
((("someone" "needs" "cat" "+") ("someone" "eats" "cat" "+")) -> ("cat" "likes" "dog" "+"))
If someone needs the cat then the cat likes the lion.
((("someone" "needs" "cat" "+")) -> ("cat" "likes" "lion" "+"))
If someone is round then they need the cat.
((("someone" "is" "round" "+")) -> ("someone" "needs" "cat" "+"))
If the lion eats the dog then the lion eats the squirrel.
((("lion" "eats" "dog" "+")) -> ("lion" "eats" "squirrel" "+"))
The dog eats the cat.
True
1
proof
[(triple4)]
("dog" "eats" "cat" "+")
triple4
The cat is not red.
False
1
inv-proof
[(triple1)]
("cat" "is" "red" "-")
triple1
The squirrel needs the cat.
True
2
proof
[(((triple12) -> rule5))]
("squirrel" "needs" "cat" "+")
((triple12) -> (rule5 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The squirrel does not need the cat.
False
2
inv-proof
[(((triple12) -> rule5))]
("squirrel" "needs" "cat" "-")
((triple12) -> (rule5 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The cat likes the dog.
True
4
proof
[(((((triple12) -> rule5) triple9) -> rule3))]
("cat" "likes" "dog" "+")
((((triple12) -> (rule5 % int2)) triple9) -> (rule3 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int2
The cat does not like the dog.
False
4
inv-proof
[(((((triple12) -> rule5) triple9) -> rule3))]
("cat" "likes" "dog" "-")
((((triple12) -> (rule5 % int2)) triple9) -> (rule3 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int2
The dog does not need the cat.
Unknown
inv-rconc
[@1: The dog needs the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "needs" "cat" "-")
The cat needs the cat.
Unknown
rconc
[@1: The cat needs the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "needs" "cat" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The dog needs the squirrel.
Unknown
random
[@0: The dog needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "squirrel" "+")
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 cat is red.[(triple1)] The cat is young.[(triple2)] The cat needs the squirrel.[(triple3)] The dog eats the cat.[(triple4)] The dog likes the cat.[(triple5)] The lion eats the dog.[(triple6)] The lion likes the cat.[(triple7)] The lion needs the cat.[(triple8)] The squirrel does not eat the dog.[(triple10)] The squirrel eats the cat.[(triple9)] The squirrel eats the lion.[(triple11)] The squirrel is round.[(triple12)] @1: The cat likes the lion.[(((triple8) -> rule4) OR ((((triple12) -> rule5)) -> rule4))] The lion eats the squirrel.[(((triple6) -> rule6))] The squirrel needs the cat.[(((triple12) -> rule5))] @2: The cat is not nice.[(((((triple8) -> rule4) triple8) -> rule2) OR ((((((triple12) -> rule5)) -> rule4) triple8) -> rule2))] The cat likes the dog.[(((((triple12) -> rule5) triple9) -> rule3))]
The cat is red.
("cat" "is" "red" "+")
triple1
The cat is young.
("cat" "is" "young" "+")
triple2
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple3
The dog eats the cat.
("dog" "eats" "cat" "+")
triple4
The dog likes the cat.
("dog" "likes" "cat" "+")
triple5
The lion eats the dog.
("lion" "eats" "dog" "+")
triple6
The lion likes the cat.
("lion" "likes" "cat" "+")
triple7
The lion needs the cat.
("lion" "needs" "cat" "+")
triple8
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
triple10
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple9
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple11
The squirrel is round.
("squirrel" "is" "round" "+")
triple12
The cat likes the lion.
("cat" "likes" "lion" "+")
((triple8) -> (rule4 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
((((triple12) -> (rule5 % int2))) -> (rule4 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int2
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
((triple6) -> (rule6 % int1))
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
((triple12) -> (rule5 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The cat is not nice.
("cat" "is" "nice" "-")
((((triple8) -> (rule4 % int2)) triple8) -> (rule2 % int1))
The cat is not nice.
("cat" "is" "nice" "-")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
((((((triple12) -> (rule5 % int3))) -> (rule4 % int2)) triple8) -> (rule2 % int1))
The cat is not nice.
("cat" "is" "nice" "-")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int3
The cat likes the dog.
("cat" "likes" "dog" "+")
((((triple12) -> (rule5 % int2)) triple9) -> (rule3 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int2