The dog is round. The dog is not young. The dog sees the tiger. The dog visits the tiger. The mouse is round. The mouse is young. The mouse likes the tiger. The mouse sees the dog. The mouse sees the squirrel. The mouse visits the dog. The mouse visits the squirrel. The mouse visits the tiger. The squirrel sees the mouse. The squirrel visits the tiger. The tiger is not cold. The tiger visits the mouse. If something likes the squirrel and it is young then it does not see the mouse. If the tiger likes the squirrel then the squirrel is round. If the dog visits the mouse then the mouse is blue. If the dog does not visit the mouse then the mouse sees the squirrel. If something is round and it visits the mouse then it is rough. If the squirrel sees the dog and the dog is not rough then the dog is not blue.
The dog is round.
("dog" "is" "round" "+")
The dog is not young.
("dog" "is" "young" "-")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is not cold.
("tiger" "is" "cold" "-")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If something likes the squirrel and it is young then it does not see the mouse.
((("something" "likes" "squirrel" "+") ("something" "is" "young" "+")) -> ("something" "sees" "mouse" "-"))
If the tiger likes the squirrel then the squirrel is round.
((("tiger" "likes" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
If the dog visits the mouse then the mouse is blue.
((("dog" "visits" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
If the dog does not visit the mouse then the mouse sees the squirrel.
((("dog" "visits" "mouse" "~")) -> ("mouse" "sees" "squirrel" "+"))
If something is round and it visits the mouse then it is rough.
((("something" "is" "round" "+") ("something" "visits" "mouse" "+")) -> ("something" "is" "rough" "+"))
If the squirrel sees the dog and the dog is not rough then the dog is not blue.
((("squirrel" "sees" "dog" "+") ("dog" "is" "rough" "~")) -> ("dog" "is" "blue" "-"))
The dog sees the tiger.
True
1
proof
[(triple3)]
("dog" "sees" "tiger" "+")
triple3
The mouse does not see the dog.
False
1
inv-proof
[(triple8)]
("mouse" "sees" "dog" "-")
triple8
The tiger is not rough.
Unknown
inv-rconc
[@1: The tiger is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "is" "rough" "-")
The dog visits the squirrel.
Unknown
random
[@0: The dog visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "squirrel" "+")
@0: The dog is not young.[(triple2)] The dog is round.[(triple1)] The dog sees the tiger.[(triple3)] The dog visits the tiger.[(triple4)] The mouse is round.[(triple5)] The mouse is young.[(triple6)] The mouse likes the tiger.[(triple7)] The mouse sees the dog.[(triple8)] The mouse sees the squirrel.[(triple9)] The mouse visits the dog.[(triple10)] The mouse visits the squirrel.[(triple11)] The mouse visits the tiger.[(triple12)] The squirrel sees the mouse.[(triple13)] The squirrel visits the tiger.[(triple14)] The tiger is not cold.[(triple15)] The tiger visits the mouse.[(triple16)]
The dog is not young.
("dog" "is" "young" "-")
triple2
The dog is round.
("dog" "is" "round" "+")
triple1
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple3
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple4
The mouse is round.
("mouse" "is" "round" "+")
triple5
The mouse is young.
("mouse" "is" "young" "+")
triple6
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple7
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple8
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple9
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple10
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple11
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple12
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple13
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple14
The tiger is not cold.
("tiger" "is" "cold" "-")
triple15
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple16