The bear is young. The mouse is rough. The mouse sees the bear. If something is round then it eats the mouse. If something is young then it sees the mouse.
The bear is young.
("bear" "is" "young" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
If something is round then it eats the mouse.
((("something" "is" "round" "+")) -> ("something" "eats" "mouse" "+"))
If something is young then it sees the mouse.
((("something" "is" "young" "+")) -> ("something" "sees" "mouse" "+"))
The mouse sees the bear.
True
1
proof
[(triple3)]
("mouse" "sees" "bear" "+")
triple3
The bear is not young.
False
1
inv-proof
[(triple1)]
("bear" "is" "young" "-")
triple1
The bear sees the mouse.
True
2
proof
[(((triple1) -> rule2))]
("bear" "sees" "mouse" "+")
((triple1) -> (rule2 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The bear does not see the mouse.
False
2
inv-proof
[(((triple1) -> rule2))]
("bear" "sees" "mouse" "-")
((triple1) -> (rule2 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The mouse does not see the mouse.
Unknown
inv-rconc
[@1: The mouse sees the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "sees" "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 bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
@0: The bear is young.[(triple1)] The mouse is rough.[(triple2)] The mouse sees the bear.[(triple3)] @1: The bear sees the mouse.[(((triple1) -> rule2))]
The bear is young.
("bear" "is" "young" "+")
triple1
The mouse is rough.
("mouse" "is" "rough" "+")
triple2
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple3
The bear sees the mouse.
("bear" "sees" "mouse" "+")
((triple1) -> (rule2 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1