The cat chases the squirrel. The cat needs the squirrel. The dog chases the squirrel. The dog needs the squirrel. The squirrel chases the cat. The squirrel is nice. The squirrel is red. The squirrel is young. The squirrel needs the cat. The squirrel needs the dog. If something is cold then it chases the dog. If something needs the squirrel then it chases the cat. If something is red then it needs the cat. If something is cold and it chases the squirrel then it eats the dog. If something chases the cat and the cat chases the dog then the dog eats the squirrel. If something needs the squirrel then the squirrel needs the cat. If something needs the dog then the dog eats the squirrel. If the dog is nice and the dog is big then the dog chases the squirrel.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If something is cold then it chases the dog.
((("something" "is" "cold" "+")) -> ("something" "chases" "dog" "+"))
If something needs the squirrel then it chases the cat.
((("something" "needs" "squirrel" "+")) -> ("something" "chases" "cat" "+"))
If something is red then it needs the cat.
((("something" "is" "red" "+")) -> ("something" "needs" "cat" "+"))
If something is cold and it chases the squirrel then it eats the dog.
((("something" "is" "cold" "+") ("something" "chases" "squirrel" "+")) -> ("something" "eats" "dog" "+"))
If something chases the cat and the cat chases the dog then the dog eats the squirrel.
((("something" "chases" "cat" "+") ("cat" "chases" "dog" "+")) -> ("dog" "eats" "squirrel" "+"))
If something needs the squirrel then the squirrel needs the cat.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "needs" "cat" "+"))
If something needs the dog then the dog eats the squirrel.
((("something" "needs" "dog" "+")) -> ("dog" "eats" "squirrel" "+"))
If the dog is nice and the dog is big then the dog chases the squirrel.
((("dog" "is" "nice" "+") ("dog" "is" "big" "+")) -> ("dog" "chases" "squirrel" "+"))
The dog chases the squirrel.
True
1
proof
[(triple3)]
("dog" "chases" "squirrel" "+")
triple3
The cat does not chase the squirrel.
False
1
inv-proof
[(triple1)]
("cat" "chases" "squirrel" "-")
triple1
The cat does not eat the dog.
Unknown
inv-rconc
[@1: The cat eats the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "eats" "dog" "-")
The cat eats the squirrel.
Unknown
random
[@0: The cat eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "squirrel" "+")
@0: The cat chases the squirrel.[(triple1)] The cat needs the squirrel.[(triple2)] The dog chases the squirrel.[(triple3)] The dog needs the squirrel.[(triple4)] The squirrel chases the cat.[(triple5)] The squirrel is nice.[(triple6)] The squirrel is red.[(triple7)] The squirrel is young.[(triple8)] The squirrel needs the cat.[(triple9 OR ((triple2) -> rule6) OR ((triple4) -> rule6) OR ((triple7) -> rule3))] The squirrel needs the dog.[(triple10)] @1: The cat chases the cat.[(((triple2) -> rule2))] The dog chases the cat.[(((triple4) -> rule2))] The dog eats the squirrel.[(((triple10) -> rule7))]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple2
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple4
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple5
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple6
The squirrel is red.
("squirrel" "is" "red" "+")
triple7
The squirrel is young.
("squirrel" "is" "young" "+")
triple8
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple9
((triple2) -> (rule6 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
((triple4) -> (rule6 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
((triple7) -> (rule3 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple10
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple2) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
((triple4) -> (rule2 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
((triple10) -> (rule7 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1