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