The bear chases the mouse. The bear eats the mouse. The bear is green. The bear is kind. The bear is red. The bear is rough. The bear likes the mouse. The mouse chases the bear. The mouse eats the bear. The mouse is green. The mouse is not kind. The mouse is nice. If someone is red then they eat the mouse. If someone likes the mouse and they are not nice then they are green.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse is nice.
("mouse" "is" "nice" "+")
If someone is red then they eat the mouse.
((("someone" "is" "red" "+")) -> ("someone" "eats" "mouse" "+"))
If someone likes the mouse and they are not nice then they are green.
((("someone" "likes" "mouse" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "green" "+"))
The bear eats the mouse.
True
1
proof
[(triple2 OR ((triple5) -> rule1))]
("bear" "eats" "mouse" "+")
triple2
((triple5) -> (rule1 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The bear is not red.
False
1
inv-proof
[(triple5)]
("bear" "is" "red" "-")
triple5
The mouse does not eat the mouse.
Unknown
inv-rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "mouse" "-")
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 eats the mouse.[(triple2 OR ((triple5) -> rule1))] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is red.[(triple5)] The bear is rough.[(triple6)] The bear likes the mouse.[(triple7)] The mouse chases the bear.[(triple8)] The mouse eats the bear.[(triple9)] The mouse is green.[(triple10)] The mouse is nice.[(triple12)] The mouse is not kind.[(triple11)]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
((triple5) -> (rule1 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The bear is rough.
("bear" "is" "rough" "+")
triple6
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple7
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple8
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple10
The mouse is nice.
("mouse" "is" "nice" "+")
triple12
The mouse is not kind.
("mouse" "is" "kind" "-")
triple11