The bear likes the dog. The dog visits the mouse. The mouse is not green. The mouse is nice. The mouse likes the dog. The tiger is big. The tiger visits the dog. If someone chases the dog and the dog is green then the dog visits the bear. If someone visits the mouse and the mouse chases the bear then the bear visits the dog. If someone visits the mouse then the mouse chases the bear. If someone likes the mouse and the mouse is rough then the mouse is not big. If someone likes the bear then they chase the dog. If the tiger is rough then the tiger does not chase the dog.
The bear likes the dog.
("bear" "likes" "dog" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse is not green.
("mouse" "is" "green" "-")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If someone chases the dog and the dog is green then the dog visits the bear.
((("someone" "chases" "dog" "+") ("dog" "is" "green" "+")) -> ("dog" "visits" "bear" "+"))
If someone visits the mouse and the mouse chases the bear then the bear visits the dog.
((("someone" "visits" "mouse" "+") ("mouse" "chases" "bear" "+")) -> ("bear" "visits" "dog" "+"))
If someone visits the mouse then the mouse chases the bear.
((("someone" "visits" "mouse" "+")) -> ("mouse" "chases" "bear" "+"))
If someone likes the mouse and the mouse is rough then the mouse is not big.
((("someone" "likes" "mouse" "+") ("mouse" "is" "rough" "+")) -> ("mouse" "is" "big" "-"))
If someone likes the bear then they chase the dog.
((("someone" "likes" "bear" "+")) -> ("someone" "chases" "dog" "+"))
If the tiger is rough then the tiger does not chase the dog.
((("tiger" "is" "rough" "+")) -> ("tiger" "chases" "dog" "-"))
The tiger is big.
True
1
proof
[(triple6)]
("tiger" "is" "big" "+")
triple6
The mouse is not nice.
False
1
inv-proof
[(triple4)]
("mouse" "is" "nice" "-")
triple4
The mouse chases the bear.
True
2
proof
[(((triple2) -> rule3))]
("mouse" "chases" "bear" "+")
((triple2) -> (rule3 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse does not chase the bear.
False
2
inv-proof
[(((triple2) -> rule3))]
("mouse" "chases" "bear" "-")
((triple2) -> (rule3 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The dog does not visit the bear.
Unknown
inv-rconc
[@1: The dog visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "visits" "bear" "-")
The dog chases the dog.
Unknown
rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "chases" "dog" "+")
The dog does not chase the tiger.
Unknown
inv-random
[@0: The dog chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "tiger" "-")
The tiger chases the mouse.
Unknown
random
[@0: The tiger chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "mouse" "+")
@0: The bear likes the dog.[(triple1)] The dog visits the mouse.[(triple2)] The mouse is nice.[(triple4)] The mouse is not green.[(triple3)] The mouse likes the dog.[(triple5)] The tiger is big.[(triple6)] The tiger visits the dog.[(triple7)] @1: The mouse chases the bear.[(((triple2) -> rule3))] @2: The bear visits the dog.[(((triple2 ((triple2) -> rule3)) -> rule2))]
The bear likes the dog.
("bear" "likes" "dog" "+")
triple1
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple2
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
The mouse is not green.
("mouse" "is" "green" "-")
triple3
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple5
The tiger is big.
("tiger" "is" "big" "+")
triple6
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple7
The mouse chases the bear.
("mouse" "chases" "bear" "+")
((triple2) -> (rule3 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
((triple2 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int2