The cow likes the tiger. The cow needs the dog. The cow needs the tiger. The cow does not visit the tiger. The dog needs the squirrel. The dog needs the tiger. The dog visits the tiger. The squirrel is not big. The squirrel likes the cow. The squirrel likes the dog. The squirrel does not need the tiger. The squirrel visits the tiger. The tiger is not big. The tiger is blue. The tiger is rough. The tiger does not need the cow. If someone needs the tiger and the tiger does not visit the squirrel then they are nice.
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The cow does not visit the tiger.
("cow" "visits" "tiger" "-")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel does not need the tiger.
("squirrel" "needs" "tiger" "-")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is not big.
("tiger" "is" "big" "-")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger does not need the cow.
("tiger" "needs" "cow" "-")
If someone needs the tiger and the tiger does not visit the squirrel then they are nice.
((("someone" "needs" "tiger" "+") ("tiger" "visits" "squirrel" "~")) -> ("someone" "is" "nice" "+"))
The tiger does not need the cow.
True
1
proof
[(triple16)]
("tiger" "needs" "cow" "-")
triple16
The cow does not need the tiger.
False
1
inv-proof
[(triple3)]
("cow" "needs" "tiger" "-")
triple3
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "nice" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The cow does not visit the tiger.[(triple4)] The cow likes the tiger.[(triple1)] The cow needs the dog.[(triple2)] The cow needs the tiger.[(triple3)] The dog needs the squirrel.[(triple5)] The dog needs the tiger.[(triple6)] The dog visits the tiger.[(triple7)] The squirrel does not need the tiger.[(triple11)] The squirrel is not big.[(triple8)] The squirrel likes the cow.[(triple9)] The squirrel likes the dog.[(triple10)] The squirrel visits the tiger.[(triple12)] The tiger does not need the cow.[(triple16)] The tiger is blue.[(triple14)] The tiger is not big.[(triple13)] The tiger is rough.[(triple15)]
The cow does not visit the tiger.
("cow" "visits" "tiger" "-")
triple4
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple1
The cow needs the dog.
("cow" "needs" "dog" "+")
triple2
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple6
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple7
The squirrel does not need the tiger.
("squirrel" "needs" "tiger" "-")
triple11
The squirrel is not big.
("squirrel" "is" "big" "-")
triple8
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple9
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple10
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple12
The tiger does not need the cow.
("tiger" "needs" "cow" "-")
triple16
The tiger is blue.
("tiger" "is" "blue" "+")
triple14
The tiger is not big.
("tiger" "is" "big" "-")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple15