The cat does not chase the dog. The cat chases the mouse. The cat is big. The cat is not rough. The cat is round. The cat likes the mouse. The cat visits the dog. The cat visits the mouse. The dog is not cold. The dog visits the cat. The mouse chases the cat. The mouse chases the dog. The mouse is rough. The mouse likes the cat. The mouse does not like the dog. The mouse visits the cat. If someone visits the mouse then they like the dog.
The cat does not chase the dog.
("cat" "chases" "dog" "-")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is not rough.
("cat" "is" "rough" "-")
The cat is round.
("cat" "is" "round" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The dog is not cold.
("dog" "is" "cold" "-")
The dog visits the cat.
("dog" "visits" "cat" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse does not like the dog.
("mouse" "likes" "dog" "-")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
If someone visits the mouse then they like the dog.
((("someone" "visits" "mouse" "+")) -> ("someone" "likes" "dog" "+"))
The dog visits the cat.
True
1
proof
[(triple10)]
("dog" "visits" "cat" "+")
triple10
The cat chases the dog.
False
1
inv-proof
[(triple1)]
("cat" "chases" "dog" "+")
triple1
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "dog" "-")
The dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
@0: The cat chases the mouse.[(triple2)] The cat does not chase the dog.[(triple1)] The cat is big.[(triple3)] The cat is not rough.[(triple4)] The cat is round.[(triple5)] The cat likes the mouse.[(triple6)] The cat visits the dog.[(triple7)] The cat visits the mouse.[(triple8)] The dog is not cold.[(triple9)] The dog visits the cat.[(triple10)] The mouse chases the cat.[(triple11)] The mouse chases the dog.[(triple12)] The mouse does not like the dog.[(triple15)] The mouse is rough.[(triple13)] The mouse likes the cat.[(triple14)] The mouse visits the cat.[(triple16)] @1: The cat likes the dog.[(((triple8) -> rule1))]
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple2
The cat does not chase the dog.
("cat" "chases" "dog" "-")
triple1
The cat is big.
("cat" "is" "big" "+")
triple3
The cat is not rough.
("cat" "is" "rough" "-")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple6
The cat visits the dog.
("cat" "visits" "dog" "+")
triple7
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple8
The dog is not cold.
("dog" "is" "cold" "-")
triple9
The dog visits the cat.
("dog" "visits" "cat" "+")
triple10
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple11
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple12
The mouse does not like the dog.
("mouse" "likes" "dog" "-")
triple15
The mouse is rough.
("mouse" "is" "rough" "+")
triple13
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple14
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple16
The cat likes the dog.
("cat" "likes" "dog" "+")
((triple8) -> (rule1 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1