The cat chases the squirrel. The cat is rough. The cat needs the squirrel. The dog is round. The dog is young. The dog visits the squirrel. The squirrel is cold. The squirrel needs the cat. The squirrel visits the cat. The squirrel visits the dog. If the cat is round then the cat needs the squirrel. If the cat needs the dog then the dog is rough. If someone needs the dog then the dog needs the squirrel. If someone visits the cat and the cat visits the dog then the cat needs the squirrel. If someone visits the squirrel then the squirrel needs the dog. If someone is young and they chase the dog then the dog chases the squirrel.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If the cat is round then the cat needs the squirrel.
((("cat" "is" "round" "+")) -> ("cat" "needs" "squirrel" "+"))
If the cat needs the dog then the dog is rough.
((("cat" "needs" "dog" "+")) -> ("dog" "is" "rough" "+"))
If someone needs the dog then the dog needs the squirrel.
((("someone" "needs" "dog" "+")) -> ("dog" "needs" "squirrel" "+"))
If someone visits the cat and the cat visits the dog then the cat needs the squirrel.
((("someone" "visits" "cat" "+") ("cat" "visits" "dog" "+")) -> ("cat" "needs" "squirrel" "+"))
If someone visits the squirrel then the squirrel needs the dog.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "needs" "dog" "+"))
If someone is young and they chase the dog then the dog chases the squirrel.
((("someone" "is" "young" "+") ("someone" "chases" "dog" "+")) -> ("dog" "chases" "squirrel" "+"))
The cat needs the squirrel.
True
1
proof
[(triple3)]
("cat" "needs" "squirrel" "+")
triple3
The squirrel does not need the cat.
False
1
inv-proof
[(triple8)]
("squirrel" "needs" "cat" "-")
triple8
The squirrel needs the dog.
True
2
proof
[(((triple6) -> rule5))]
("squirrel" "needs" "dog" "+")
((triple6) -> (rule5 % int1))
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int1
The squirrel does not need the dog.
False
2
inv-proof
[(((triple6) -> rule5))]
("squirrel" "needs" "dog" "-")
((triple6) -> (rule5 % int1))
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int1
The dog needs the squirrel.
True
3
proof
[(((((triple6) -> rule5)) -> rule3))]
("dog" "needs" "squirrel" "+")
((((triple6) -> (rule5 % int2))) -> (rule3 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int2
The dog does not need the squirrel.
False
3
inv-proof
[(((((triple6) -> rule5)) -> rule3))]
("dog" "needs" "squirrel" "-")
((((triple6) -> (rule5 % int2))) -> (rule3 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int2
The dog does not chase the squirrel.
Unknown
inv-rconc
[@1: The dog chases the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "chases" "squirrel" "-")
The dog is rough.
Unknown
rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "rough" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The squirrel chases the cat.
Unknown
random
[@0: The squirrel chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "cat" "+")
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The cat chases the squirrel.[(triple1)] The cat is rough.[(triple2)] The cat needs the squirrel.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5)] The dog visits the squirrel.[(triple6)] The squirrel is cold.[(triple7)] The squirrel needs the cat.[(triple8)] The squirrel visits the cat.[(triple9)] The squirrel visits the dog.[(triple10)] @1: The squirrel needs the dog.[(((triple6) -> rule5))] @2: The dog needs the squirrel.[(((((triple6) -> rule5)) -> rule3))]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat is rough.
("cat" "is" "rough" "+")
triple2
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple6
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple8
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple9
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple10
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
((triple6) -> (rule5 % int1))
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int1
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
((((triple6) -> (rule5 % int2))) -> (rule3 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int2