The bear eats the mouse. The bear is big. The bear is green. The bear is kind. The bear is rough. The mouse eats the bear. The mouse is green. If something is red and rough then it eats the mouse. If something needs the mouse and the mouse is green then the mouse needs the bear. If something eats the mouse and the mouse eats the bear then it needs the mouse. If something likes the mouse then the mouse needs the bear. If something is red and it likes the bear then it needs the mouse. If the bear likes the mouse then the bear eats the mouse.
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is green.
("mouse" "is" "green" "+")
If something is red and rough then it eats the mouse.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "eats" "mouse" "+"))
If something needs the mouse and the mouse is green then the mouse needs the bear.
((("something" "needs" "mouse" "+") ("mouse" "is" "green" "+")) -> ("mouse" "needs" "bear" "+"))
If something eats the mouse and the mouse eats the bear then it needs the mouse.
((("something" "eats" "mouse" "+") ("mouse" "eats" "bear" "+")) -> ("something" "needs" "mouse" "+"))
If something likes the mouse then the mouse needs the bear.
((("something" "likes" "mouse" "+")) -> ("mouse" "needs" "bear" "+"))
If something is red and it likes the bear then it needs the mouse.
((("something" "is" "red" "+") ("something" "likes" "bear" "+")) -> ("something" "needs" "mouse" "+"))
If the bear likes the mouse then the bear eats the mouse.
((("bear" "likes" "mouse" "+")) -> ("bear" "eats" "mouse" "+"))
The bear eats the mouse.
True
1
proof
[(triple1)]
("bear" "eats" "mouse" "+")
triple1
The bear is not big.
False
1
inv-proof
[(triple2)]
("bear" "is" "big" "-")
triple2
The bear needs the mouse.
True
3
proof
[(((triple1 triple6) -> rule3))]
("bear" "needs" "mouse" "+")
((triple1 triple6) -> (rule3 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear does not need the mouse.
False
3
inv-proof
[(((triple1 triple6) -> rule3))]
("bear" "needs" "mouse" "-")
((triple1 triple6) -> (rule3 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The mouse needs the bear.
True
5
proof
[(((((triple1 triple6) -> rule3) triple7) -> rule2))]
("mouse" "needs" "bear" "+")
((((triple1 triple6) -> (rule3 % int2)) triple7) -> (rule2 % int1))
The mouse needs the bear.
("mouse" "needs" "bear" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The mouse does not need the bear.
False
5
inv-proof
[(((((triple1 triple6) -> rule3) triple7) -> rule2))]
("mouse" "needs" "bear" "-")
((((triple1 triple6) -> (rule3 % int2)) triple7) -> (rule2 % int1))
The mouse needs the bear.
("mouse" "needs" "bear" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The mouse does not need the mouse.
Unknown
inv-rconc
[@2: The mouse needs the mouse.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The mouse eats the mouse.
Unknown
rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "mouse" "+")
The mouse is not rough.
Unknown
inv-random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The bear does not like the mouse.
Unknown
inv-random
[@0: The bear likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "mouse" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bear eats the mouse.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is rough.[(triple5)] The mouse eats the bear.[(triple6)] The mouse is green.[(triple7)] @1: The bear needs the mouse.[(((triple1 triple6) -> rule3))] @2: The mouse needs the bear.[(((((triple1 triple6) -> rule3) triple7) -> rule2))]
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple6
The mouse is green.
("mouse" "is" "green" "+")
triple7
The bear needs the mouse.
("bear" "needs" "mouse" "+")
((triple1 triple6) -> (rule3 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The mouse needs the bear.
("mouse" "needs" "bear" "+")
((((triple1 triple6) -> (rule3 % int2)) triple7) -> (rule2 % int1))
The mouse needs the bear.
("mouse" "needs" "bear" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2