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