The cat eats the dog. The dog is green. The squirrel needs the dog. If something eats the squirrel and it eats the dog then it is young. If something visits the cat then it visits the dog. If the dog needs the squirrel and the dog is young then the squirrel needs the cat. If something eats the dog and the dog is rough then it is rough. If something visits the dog and it is young then the dog is young. If something needs the dog then the dog eats the squirrel.
The cat eats the dog.
("cat" "eats" "dog" "+")
The dog is green.
("dog" "is" "green" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If something eats the squirrel and it eats the dog then it is young.
((("something" "eats" "squirrel" "+") ("something" "eats" "dog" "+")) -> ("something" "is" "young" "+"))
If something visits the cat then it visits the dog.
((("something" "visits" "cat" "+")) -> ("something" "visits" "dog" "+"))
If the dog needs the squirrel and the dog is young then the squirrel needs the cat.
((("dog" "needs" "squirrel" "+") ("dog" "is" "young" "+")) -> ("squirrel" "needs" "cat" "+"))
If something eats the dog and the dog is rough then it is rough.
((("something" "eats" "dog" "+") ("dog" "is" "rough" "+")) -> ("something" "is" "rough" "+"))
If something visits the dog and it is young then the dog is young.
((("something" "visits" "dog" "+") ("something" "is" "young" "+")) -> ("dog" "is" "young" "+"))
If something needs the dog then the dog eats the squirrel.
((("something" "needs" "dog" "+")) -> ("dog" "eats" "squirrel" "+"))
The dog is green.
True
1
proof
[(triple2)]
("dog" "is" "green" "+")
triple2
The squirrel does not need the dog.
False
1
inv-proof
[(triple3)]
("squirrel" "needs" "dog" "-")
triple3
The dog eats the squirrel.
True
2
proof
[(((triple3) -> rule6))]
("dog" "eats" "squirrel" "+")
((triple3) -> (rule6 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog does not eat the squirrel.
False
2
inv-proof
[(((triple3) -> rule6))]
("dog" "eats" "squirrel" "-")
((triple3) -> (rule6 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "rough" "-")
The cat visits the dog.
Unknown
rconc
[@1: The cat visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "visits" "dog" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
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 eats the dog.[(triple1)] The dog is green.[(triple2)] The squirrel needs the dog.[(triple3)] @1: The dog eats the squirrel.[(((triple3) -> rule6))]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
((triple3) -> (rule6 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1