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