The cat is rough. The cat is young. The dog is not young. The rabbit is not cold. The rabbit is young. The rabbit needs the dog. The rabbit needs the squirrel. The rabbit visits the dog. The squirrel does not need the dog. The squirrel visits the cat. If someone needs the rabbit and the rabbit is rough then the rabbit needs the cat. If someone needs the cat then they see the dog. If someone needs the rabbit and they are young then the rabbit sees the squirrel. If the rabbit is cold then the rabbit is big. If the dog is rough then the dog sees the squirrel. If someone is cold then they see the cat. If someone sees the rabbit then they are big. If someone visits the dog and they do not see the dog then the dog does not see the rabbit.
The cat is rough.
("cat" "is" "rough" "+")
The cat is young.
("cat" "is" "young" "+")
The dog is not young.
("dog" "is" "young" "-")
The rabbit is not cold.
("rabbit" "is" "cold" "-")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone needs the rabbit and the rabbit is rough then the rabbit needs the cat.
((("someone" "needs" "rabbit" "+") ("rabbit" "is" "rough" "+")) -> ("rabbit" "needs" "cat" "+"))
If someone needs the cat then they see the dog.
((("someone" "needs" "cat" "+")) -> ("someone" "sees" "dog" "+"))
If someone needs the rabbit and they are young then the rabbit sees the squirrel.
((("someone" "needs" "rabbit" "+") ("someone" "is" "young" "+")) -> ("rabbit" "sees" "squirrel" "+"))
If the rabbit is cold then the rabbit is big.
((("rabbit" "is" "cold" "+")) -> ("rabbit" "is" "big" "+"))
If the dog is rough then the dog sees the squirrel.
((("dog" "is" "rough" "+")) -> ("dog" "sees" "squirrel" "+"))
If someone is cold then they see the cat.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "cat" "+"))
If someone sees the rabbit then they are big.
((("someone" "sees" "rabbit" "+")) -> ("someone" "is" "big" "+"))
If someone visits the dog and they do not see the dog then the dog does not see the rabbit.
((("someone" "visits" "dog" "+") ("someone" "sees" "dog" "~")) -> ("dog" "sees" "rabbit" "-"))
The rabbit is not cold.
True
1
proof
[(triple4)]
("rabbit" "is" "cold" "-")
triple4
The cat is not rough.
False
1
inv-proof
[(triple1)]
("cat" "is" "rough" "-")
triple1
The dog does not see the dog.
Unknown
inv-rconc
[@1: The dog sees the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "sees" "dog" "-")
The cat visits the squirrel.
Unknown
random
[@0: The cat visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "squirrel" "+")
@0: The cat is rough.[(triple1)] The cat is young.[(triple2)] The dog is not young.[(triple3)] The rabbit is not cold.[(triple4)] The rabbit is young.[(triple5)] The rabbit needs the dog.[(triple6)] The rabbit needs the squirrel.[(triple7)] The rabbit visits the dog.[(triple8)] The squirrel does not need the dog.[(triple9)] The squirrel visits the cat.[(triple10)]
The cat is rough.
("cat" "is" "rough" "+")
triple1
The cat is young.
("cat" "is" "young" "+")
triple2
The dog is not young.
("dog" "is" "young" "-")
triple3
The rabbit is not cold.
("rabbit" "is" "cold" "-")
triple4
The rabbit is young.
("rabbit" "is" "young" "+")
triple5
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple6
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple7
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple8
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
triple9
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple10