The cat eats the squirrel. The cat is big. The cat is rough. The cat likes the squirrel. The cat visits the squirrel. The dog eats the cat. The dog eats the squirrel. The dog is big. The squirrel eats the dog. The squirrel is big. The squirrel is kind. The squirrel is young. The squirrel likes the cat. The squirrel likes the dog. The squirrel visits the cat. The squirrel visits the dog. If someone eats the dog and they like the cat then the dog is kind. If someone is kind then they like the dog.
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is big.
("dog" "is" "big" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone eats the dog and they like the cat then the dog is kind.
((("someone" "eats" "dog" "+") ("someone" "likes" "cat" "+")) -> ("dog" "is" "kind" "+"))
If someone is kind then they like the dog.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "dog" "+"))
The cat is big.
True
1
proof
[(triple2)]
("cat" "is" "big" "+")
triple2
The squirrel is not big.
False
1
inv-proof
[(triple10)]
("squirrel" "is" "big" "-")
triple10
The dog is kind.
True
3
proof
[(((triple9 triple13) -> rule1))]
("dog" "is" "kind" "+")
((triple9 triple13) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not kind.
False
3
inv-proof
[(((triple9 triple13) -> rule1))]
("dog" "is" "kind" "-")
((triple9 triple13) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog likes the dog.
True
4
proof
[(((((triple9 triple13) -> rule1)) -> rule2))]
("dog" "likes" "dog" "+")
((((triple9 triple13) -> (rule1 % int2))) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The dog does not like the dog.
False
4
inv-proof
[(((((triple9 triple13) -> rule1)) -> rule2))]
("dog" "likes" "dog" "-")
((((triple9 triple13) -> (rule1 % int2))) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The cat does not like the dog.
Unknown
inv-rconc
[@1: The cat likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "likes" "dog" "-")
The squirrel eats the cat.
Unknown
random
[@0: The squirrel eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cat" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
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 visits the cat.
Unknown
random
[@0: The dog visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "cat" "+")
@0: The cat eats the squirrel.[(triple1)] The cat is big.[(triple2)] The cat is rough.[(triple3)] The cat likes the squirrel.[(triple4)] The cat visits the squirrel.[(triple5)] The dog eats the cat.[(triple6)] The dog eats the squirrel.[(triple7)] The dog is big.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel is big.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the cat.[(triple13)] The squirrel likes the dog.[(triple14 OR ((triple11) -> rule2))] The squirrel visits the cat.[(triple15)] The squirrel visits the dog.[(triple16)] @1: The dog is kind.[(((triple9 triple13) -> rule1))] @2: The dog likes the dog.[(((((triple9 triple13) -> rule1)) -> rule2))]
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple4
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple5
The dog eats the cat.
("dog" "eats" "cat" "+")
triple6
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple7
The dog is big.
("dog" "is" "big" "+")
triple8
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel is young.
("squirrel" "is" "young" "+")
triple12
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple13
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple14
((triple11) -> (rule2 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple15
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple16
The dog is kind.
("dog" "is" "kind" "+")
((triple9 triple13) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
((((triple9 triple13) -> (rule1 % int2))) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2