The bear sees the dog. The cat chases the bear. The cat is round. The cat visits the mouse. The dog chases the bear. The dog chases the cat. The dog is big. The dog is blue. The dog is rough. The dog visits the bear. The mouse chases the bear. The mouse is round. The mouse sees the bear. The mouse sees the dog. The mouse visits the bear. If something visits the dog and the dog chases the mouse then the dog is rough. If something chases the bear then it sees the mouse.
The bear sees the dog.
("bear" "sees" "dog" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is round.
("cat" "is" "round" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If something visits the dog and the dog chases the mouse then the dog is rough.
((("something" "visits" "dog" "+") ("dog" "chases" "mouse" "+")) -> ("dog" "is" "rough" "+"))
If something chases the bear then it sees the mouse.
((("something" "chases" "bear" "+")) -> ("something" "sees" "mouse" "+"))
The mouse chases the bear.
True
1
proof
[(triple11)]
("mouse" "chases" "bear" "+")
triple11
The mouse is not round.
False
1
inv-proof
[(triple12)]
("mouse" "is" "round" "-")
triple12
The bear does not see the mouse.
Unknown
inv-rconc
[@1: The bear sees the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "sees" "mouse" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear sees the dog.[(triple1)] The cat chases the bear.[(triple2)] The cat is round.[(triple3)] The cat visits the mouse.[(triple4)] The dog chases the bear.[(triple5)] The dog chases the cat.[(triple6)] The dog is big.[(triple7)] The dog is blue.[(triple8)] The dog is rough.[(triple9)] The dog visits the bear.[(triple10)] The mouse chases the bear.[(triple11)] The mouse is round.[(triple12)] The mouse sees the bear.[(triple13)] The mouse sees the dog.[(triple14)] The mouse visits the bear.[(triple15)] @1: The cat sees the mouse.[(((triple2) -> rule2))] The dog sees the mouse.[(((triple5) -> rule2))] The mouse sees the mouse.[(((triple11) -> rule2))]
The bear sees the dog.
("bear" "sees" "dog" "+")
triple1
The cat chases the bear.
("cat" "chases" "bear" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple4
The dog chases the bear.
("dog" "chases" "bear" "+")
triple5
The dog chases the cat.
("dog" "chases" "cat" "+")
triple6
The dog is big.
("dog" "is" "big" "+")
triple7
The dog is blue.
("dog" "is" "blue" "+")
triple8
The dog is rough.
("dog" "is" "rough" "+")
triple9
The dog visits the bear.
("dog" "visits" "bear" "+")
triple10
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple11
The mouse is round.
("mouse" "is" "round" "+")
triple12
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple13
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple14
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple15
The cat sees the mouse.
("cat" "sees" "mouse" "+")
((triple2) -> (rule2 % int1))
The cat sees the mouse.
("cat" "sees" "mouse" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
((triple5) -> (rule2 % int1))
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple11) -> (rule2 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1