The dog is big. The dog is not cold. The dog is nice. The dog is rough. The dog is round. The dog likes the mouse. The dog needs the mouse. The dog does not visit the mouse. The mouse does not like the dog. The mouse needs the dog. If something visits the dog and the dog needs the mouse then the mouse is big.
The dog is big.
("dog" "is" "big" "+")
The dog is not cold.
("dog" "is" "cold" "-")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog does not visit the mouse.
("dog" "visits" "mouse" "-")
The mouse does not like the dog.
("mouse" "likes" "dog" "-")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
If something visits the dog and the dog needs the mouse then the mouse is big.
((("something" "visits" "dog" "+") ("dog" "needs" "mouse" "+")) -> ("mouse" "is" "big" "+"))
The dog is not cold.
True
1
proof
[(triple2)]
("dog" "is" "cold" "-")
triple2
The dog does not like the mouse.
False
1
inv-proof
[(triple6)]
("dog" "likes" "mouse" "-")
triple6
The mouse is not big.
Unknown
inv-rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "big" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The dog does not visit the mouse.[(triple8)] The dog is big.[(triple1)] The dog is nice.[(triple3)] The dog is not cold.[(triple2)] The dog is rough.[(triple4)] The dog is round.[(triple5)] The dog likes the mouse.[(triple6)] The dog needs the mouse.[(triple7)] The mouse does not like the dog.[(triple9)] The mouse needs the dog.[(triple10)]
The dog does not visit the mouse.
("dog" "visits" "mouse" "-")
triple8
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is nice.
("dog" "is" "nice" "+")
triple3
The dog is not cold.
("dog" "is" "cold" "-")
triple2
The dog is rough.
("dog" "is" "rough" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple6
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple7
The mouse does not like the dog.
("mouse" "likes" "dog" "-")
triple9
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple10