The cat chases the squirrel. The cat eats the squirrel. The cat is young. The cat likes the squirrel. The dog chases the cat. The dog eats the cat. The dog eats the squirrel. The dog is kind. The dog is not red. The dog likes the cat. The dog likes the squirrel. The squirrel chases the dog. The squirrel eats the dog. The squirrel is rough. The squirrel likes the cat. The squirrel does not like the dog. If the dog likes the cat and the dog is kind then the cat likes the squirrel. If something is kind then it chases the squirrel. If something eats the squirrel then the squirrel likes the cat. If something is rough and round then it likes the squirrel. If something eats the cat then the cat is not red. If something eats the cat then it eats the dog. If something likes the squirrel and the squirrel likes the cat then the cat eats the dog. If the squirrel does not eat the dog then the dog likes the squirrel.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is not red.
("dog" "is" "red" "-")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
If the dog likes the cat and the dog is kind then the cat likes the squirrel.
((("dog" "likes" "cat" "+") ("dog" "is" "kind" "+")) -> ("cat" "likes" "squirrel" "+"))
If something is kind then it chases the squirrel.
((("something" "is" "kind" "+")) -> ("something" "chases" "squirrel" "+"))
If something eats the squirrel then the squirrel likes the cat.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "likes" "cat" "+"))
If something is rough and round then it likes the squirrel.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "likes" "squirrel" "+"))
If something eats the cat then the cat is not red.
((("something" "eats" "cat" "+")) -> ("cat" "is" "red" "-"))
If something eats the cat then it eats the dog.
((("something" "eats" "cat" "+")) -> ("something" "eats" "dog" "+"))
If something likes the squirrel and the squirrel likes the cat then the cat eats the dog.
((("something" "likes" "squirrel" "+") ("squirrel" "likes" "cat" "+")) -> ("cat" "eats" "dog" "+"))
If the squirrel does not eat the dog then the dog likes the squirrel.
((("squirrel" "eats" "dog" "~")) -> ("dog" "likes" "squirrel" "+"))
The squirrel is rough.
True
1
proof
[(triple14)]
("squirrel" "is" "rough" "+")
triple14
The dog does not like the squirrel.
False
1
inv-proof
[(triple11)]
("dog" "likes" "squirrel" "-")
triple11
The cat eats the dog.
True
3
proof
[(((triple11 triple15) -> rule7) OR ((triple4 triple15) -> rule7) OR ((triple11 ((triple2) -> rule3)) -> rule7) OR ((triple11 ((triple7) -> rule3)) -> rule7) OR ((triple4 ((triple2) -> rule3)) -> rule7) OR ((triple4 ((triple7) -> rule3)) -> rule7) OR ((((triple10 triple8) -> rule1) triple15) -> rule7) OR ((((triple10 triple8) -> rule1) ((triple2) -> rule3)) -> rule7) OR ((((triple10 triple8) -> rule1) ((triple7) -> rule3)) -> rule7))]
("cat" "eats" "dog" "+")
((triple11 triple15) -> (rule7 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
((triple4 triple15) -> (rule7 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
((triple11 ((triple2) -> (rule3 % int2))) -> (rule7 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
((triple11 ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
((triple4 ((triple2) -> (rule3 % int2))) -> (rule7 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
((triple4 ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
((((triple10 triple8) -> (rule1 % int2)) triple15) -> (rule7 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2
((((triple10 triple8) -> (rule1 % int3)) ((triple2) -> (rule3 % int2))) -> (rule7 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int3
((((triple10 triple8) -> (rule1 % int3)) ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int3
The cat is red.
False
2
inv-proof
[(((triple6) -> rule5))]
("cat" "is" "red" "+")
((triple6) -> (rule5 % int1))
The cat is not red.
("cat" "is" "red" "-")
int1
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "likes" "squirrel" "+")
The cat does not like the dog.
Unknown
inv-random
[@0: The cat likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "dog" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
@0: The cat chases the squirrel.[(triple1)] The cat eats the squirrel.[(triple2)] The cat is young.[(triple3)] The cat likes the squirrel.[(triple4 OR ((triple10 triple8) -> rule1))] The dog chases the cat.[(triple5)] The dog eats the cat.[(triple6)] The dog eats the squirrel.[(triple7)] The dog is kind.[(triple8)] The dog is not red.[(triple9)] The dog likes the cat.[(triple10)] The dog likes the squirrel.[(triple11)] The squirrel chases the dog.[(triple12)] The squirrel does not like the dog.[(triple16)] The squirrel eats the dog.[(triple13)] The squirrel is rough.[(triple14)] The squirrel likes the cat.[(triple15 OR ((triple2) -> rule3) OR ((triple7) -> rule3))] @1: The cat eats the dog.[(((triple11 triple15) -> rule7) OR ((triple4 triple15) -> rule7) OR ((triple11 ((triple2) -> rule3)) -> rule7) OR ((triple11 ((triple7) -> rule3)) -> rule7) OR ((triple4 ((triple2) -> rule3)) -> rule7) OR ((triple4 ((triple7) -> rule3)) -> rule7) OR ((((triple10 triple8) -> rule1) triple15) -> rule7) OR ((((triple10 triple8) -> rule1) ((triple2) -> rule3)) -> rule7) OR ((((triple10 triple8) -> rule1) ((triple7) -> rule3)) -> rule7))] The cat is not red.[(((triple6) -> rule5))] The dog chases the squirrel.[(((triple8) -> rule2))] The dog eats the dog.[(((triple6) -> rule6))]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple4
((triple10 triple8) -> (rule1 % int1))
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
triple5
The dog eats the cat.
("dog" "eats" "cat" "+")
triple6
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple7
The dog is kind.
("dog" "is" "kind" "+")
triple8
The dog is not red.
("dog" "is" "red" "-")
triple9
The dog likes the cat.
("dog" "likes" "cat" "+")
triple10
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple11
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple12
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
triple16
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple13
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple14
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple15
((triple2) -> (rule3 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
((triple7) -> (rule3 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The cat eats the dog.
("cat" "eats" "dog" "+")
((triple11 triple15) -> (rule7 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
((triple4 triple15) -> (rule7 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
((triple11 ((triple2) -> (rule3 % int2))) -> (rule7 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
((triple11 ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
((triple4 ((triple2) -> (rule3 % int2))) -> (rule7 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
((triple4 ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
((((triple10 triple8) -> (rule1 % int2)) triple15) -> (rule7 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int2
((((triple10 triple8) -> (rule1 % int3)) ((triple2) -> (rule3 % int2))) -> (rule7 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int3
((((triple10 triple8) -> (rule1 % int3)) ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
int3
The cat is not red.
("cat" "is" "red" "-")
((triple6) -> (rule5 % int1))
The cat is not red.
("cat" "is" "red" "-")
int1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
((triple8) -> (rule2 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple6) -> (rule6 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1