The bear eats the mouse. The bear is blue. The bear is nice. The bear is rough. The bear needs the mouse. The bear visits the mouse. The mouse does not eat the bear. The mouse is not kind. The mouse is nice. The mouse does not need the bear. If something eats the bear and the bear is not rough then it eats the mouse. If something is rough then it needs the bear. If something is blue then it needs the bear. If the mouse visits the bear then the mouse is rough. If something is red then it visits the bear. If the mouse visits the bear and the mouse does not need the bear then the bear does not need the mouse.
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse does not need the bear.
("mouse" "needs" "bear" "-")
If something eats the bear and the bear is not rough then it eats the mouse.
((("something" "eats" "bear" "+") ("bear" "is" "rough" "~")) -> ("something" "eats" "mouse" "+"))
If something is rough then it needs the bear.
((("something" "is" "rough" "+")) -> ("something" "needs" "bear" "+"))
If something is blue then it needs the bear.
((("something" "is" "blue" "+")) -> ("something" "needs" "bear" "+"))
If the mouse visits the bear then the mouse is rough.
((("mouse" "visits" "bear" "+")) -> ("mouse" "is" "rough" "+"))
If something is red then it visits the bear.
((("something" "is" "red" "+")) -> ("something" "visits" "bear" "+"))
If the mouse visits the bear and the mouse does not need the bear then the bear does not need the mouse.
((("mouse" "visits" "bear" "+") ("mouse" "needs" "bear" "~")) -> ("bear" "needs" "mouse" "-"))
The bear needs the mouse.
True
1
proof
[(triple5)]
("bear" "needs" "mouse" "+")
triple5
The mouse eats the bear.
False
1
inv-proof
[(triple7)]
("mouse" "eats" "bear" "+")
triple7
The bear needs the bear.
True
2
proof
[(((triple2) -> rule3) OR ((triple4) -> rule2))]
("bear" "needs" "bear" "+")
((triple2) -> (rule3 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
((triple4) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear does not need the bear.
False
2
inv-proof
[(((triple2) -> rule3) OR ((triple4) -> rule2))]
("bear" "needs" "bear" "-")
((triple2) -> (rule3 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
((triple4) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
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 visits the bear.
Unknown
rconc
[@1: The mouse visits the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "visits" "bear" "+")
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bear eats the mouse.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear is rough.[(triple4)] The bear needs the mouse.[(triple5)] The bear visits the mouse.[(triple6)] The mouse does not eat the bear.[(triple7)] The mouse does not need the bear.[(triple10)] The mouse is nice.[(triple9)] The mouse is not kind.[(triple8)] @1: The bear needs the bear.[(((triple2) -> rule3) OR ((triple4) -> rule2))]
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple5
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple6
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
triple7
The mouse does not need the bear.
("mouse" "needs" "bear" "-")
triple10
The mouse is nice.
("mouse" "is" "nice" "+")
triple9
The mouse is not kind.
("mouse" "is" "kind" "-")
triple8
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple2) -> (rule3 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
((triple4) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1