The bear sees the mouse. The dog does not eat the mouse. The mouse is not red. The squirrel likes the bear. If someone eats the dog and they are big then they like the dog. If someone sees the squirrel and the squirrel likes the bear then the squirrel eats the mouse. If someone eats the mouse then the mouse sees the bear. If someone likes the bear then the bear eats the mouse. If someone is young and not big then they are blue. If the dog likes the bear then the bear sees the dog.
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
The mouse is not red.
("mouse" "is" "red" "-")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
If someone eats the dog and they are big then they like the dog.
((("someone" "eats" "dog" "+") ("someone" "is" "big" "+")) -> ("someone" "likes" "dog" "+"))
If someone sees the squirrel and the squirrel likes the bear then the squirrel eats the mouse.
((("someone" "sees" "squirrel" "+") ("squirrel" "likes" "bear" "+")) -> ("squirrel" "eats" "mouse" "+"))
If someone eats the mouse then the mouse sees the bear.
((("someone" "eats" "mouse" "+")) -> ("mouse" "sees" "bear" "+"))
If someone likes the bear then the bear eats the mouse.
((("someone" "likes" "bear" "+")) -> ("bear" "eats" "mouse" "+"))
If someone is young and not big then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "blue" "+"))
If the dog likes the bear then the bear sees the dog.
((("dog" "likes" "bear" "+")) -> ("bear" "sees" "dog" "+"))
The mouse is not red.
True
1
proof
[(triple3)]
("mouse" "is" "red" "-")
triple3
The dog eats the mouse.
False
1
inv-proof
[(triple2)]
("dog" "eats" "mouse" "+")
triple2
The bear eats the mouse.
True
2
proof
[(((triple4) -> rule4))]
("bear" "eats" "mouse" "+")
((triple4) -> (rule4 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The bear does not eat the mouse.
False
2
inv-proof
[(((triple4) -> rule4))]
("bear" "eats" "mouse" "-")
((triple4) -> (rule4 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The mouse sees the bear.
True
3
proof
[(((((triple4) -> rule4)) -> rule3))]
("mouse" "sees" "bear" "+")
((((triple4) -> (rule4 % int2))) -> (rule3 % int1))
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int2
The mouse does not see the bear.
False
3
inv-proof
[(((((triple4) -> rule4)) -> rule3))]
("mouse" "sees" "bear" "-")
((((triple4) -> (rule4 % int2))) -> (rule3 % int1))
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int2
The mouse is not blue.
Unknown
inv-rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "blue" "-")
The squirrel eats the mouse.
Unknown
rconc
[@1: The squirrel eats the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "mouse" "+")
The squirrel does not like the dog.
Unknown
inv-rconc
[@1: The squirrel likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "dog" "-")
The squirrel eats the dog.
Unknown
random
[@0: The squirrel eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "dog" "+")
The dog does not like the bear.
Unknown
inv-random
[@0: The dog likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bear" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
@0: The bear sees the mouse.[(triple1)] The dog does not eat the mouse.[(triple2)] The mouse is not red.[(triple3)] The squirrel likes the bear.[(triple4)] @1: The bear eats the mouse.[(((triple4) -> rule4))] @2: The mouse sees the bear.[(((((triple4) -> rule4)) -> rule3))]
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple1
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
triple2
The mouse is not red.
("mouse" "is" "red" "-")
triple3
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple4
The bear eats the mouse.
("bear" "eats" "mouse" "+")
((triple4) -> (rule4 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The mouse sees the bear.
("mouse" "sees" "bear" "+")
((((triple4) -> (rule4 % int2))) -> (rule3 % int1))
The mouse sees the bear.
("mouse" "sees" "bear" "+")
int1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int2