The cat eats the dog. The cat is cold. The cat is not rough. The cat needs the dog. The cat visits the dog. The dog eats the cat. The dog does not eat the squirrel. The dog is red. The dog is rough. The dog visits the cat. The dog visits the squirrel. The squirrel eats the cat. The squirrel does not eat the dog. The squirrel is rough. The squirrel needs the dog. The squirrel visits the dog. If someone is cold and they do not eat the squirrel then they visit the cat. If someone is rough and they need the dog then they are not nice. If someone needs the dog and they eat the squirrel then they eat the cat. If someone is rough then they need the squirrel. If someone visits the dog and they are not blue then they do not need the cat. If the squirrel visits the cat then the squirrel eats the cat. If the dog does not need the cat then the cat needs the squirrel. If someone needs the squirrel and the squirrel eats the cat then the squirrel does not need the cat.
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is not rough.
("cat" "is" "rough" "-")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog does not eat the squirrel.
("dog" "eats" "squirrel" "-")
The dog is red.
("dog" "is" "red" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone is cold and they do not eat the squirrel then they visit the cat.
((("someone" "is" "cold" "+") ("someone" "eats" "squirrel" "~")) -> ("someone" "visits" "cat" "+"))
If someone is rough and they need the dog then they are not nice.
((("someone" "is" "rough" "+") ("someone" "needs" "dog" "+")) -> ("someone" "is" "nice" "-"))
If someone needs the dog and they eat the squirrel then they eat the cat.
((("someone" "needs" "dog" "+") ("someone" "eats" "squirrel" "+")) -> ("someone" "eats" "cat" "+"))
If someone is rough then they need the squirrel.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone visits the dog and they are not blue then they do not need the cat.
((("someone" "visits" "dog" "+") ("someone" "is" "blue" "~")) -> ("someone" "needs" "cat" "-"))
If the squirrel visits the cat then the squirrel eats the cat.
((("squirrel" "visits" "cat" "+")) -> ("squirrel" "eats" "cat" "+"))
If the dog does not need the cat then the cat needs the squirrel.
((("dog" "needs" "cat" "~")) -> ("cat" "needs" "squirrel" "+"))
If someone needs the squirrel and the squirrel eats the cat then the squirrel does not need the cat.
((("someone" "needs" "squirrel" "+") ("squirrel" "eats" "cat" "+")) -> ("squirrel" "needs" "cat" "-"))
The dog visits the cat.
True
1
proof
[(triple10)]
("dog" "visits" "cat" "+")
triple10
The cat is rough.
False
1
inv-proof
[(triple3)]
("cat" "is" "rough" "+")
triple3
The squirrel does not visit the cat.
Unknown
inv-rconc
[@1: The squirrel visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "visits" "cat" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The cat eats the dog.[(triple1)] The cat is cold.[(triple2)] The cat is not rough.[(triple3)] The cat needs the dog.[(triple4)] The cat visits the dog.[(triple5)] The dog does not eat the squirrel.[(triple7)] The dog eats the cat.[(triple6)] The dog is red.[(triple8)] The dog is rough.[(triple9)] The dog visits the cat.[(triple10)] The dog visits the squirrel.[(triple11)] The squirrel does not eat the dog.[(triple13)] The squirrel eats the cat.[(triple12)] The squirrel is rough.[(triple14)] The squirrel needs the dog.[(triple15)] The squirrel visits the dog.[(triple16)] @1: The dog needs the squirrel.[(((triple9) -> rule4))] The squirrel is not nice.[(((triple14 triple15) -> rule2))] The squirrel needs the squirrel.[(((triple14) -> rule4))] @2: The squirrel does not need the cat.[(((((triple14) -> rule4) triple12) -> rule8) OR ((((triple9) -> rule4) triple12) -> rule8))]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is not rough.
("cat" "is" "rough" "-")
triple3
The cat needs the dog.
("cat" "needs" "dog" "+")
triple4
The cat visits the dog.
("cat" "visits" "dog" "+")
triple5
The dog does not eat the squirrel.
("dog" "eats" "squirrel" "-")
triple7
The dog eats the cat.
("dog" "eats" "cat" "+")
triple6
The dog is red.
("dog" "is" "red" "+")
triple8
The dog is rough.
("dog" "is" "rough" "+")
triple9
The dog visits the cat.
("dog" "visits" "cat" "+")
triple10
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple11
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
triple13
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple14
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple15
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple16
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
((triple9) -> (rule4 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The squirrel is not nice.
("squirrel" "is" "nice" "-")
((triple14 triple15) -> (rule2 % int1))
The squirrel is not nice.
("squirrel" "is" "nice" "-")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple14) -> (rule4 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel does not need the cat.
("squirrel" "needs" "cat" "-")
((((triple14) -> (rule4 % int2)) triple12) -> (rule8 % int1))
The squirrel does not need the cat.
("squirrel" "needs" "cat" "-")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
((((triple9) -> (rule4 % int2)) triple12) -> (rule8 % int1))
The squirrel does not need the cat.
("squirrel" "needs" "cat" "-")
int1
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int2