The bald eagle eats the mouse. The mouse is nice. The squirrel eats the mouse. The tiger needs the squirrel. If someone eats the mouse then they are not young. If someone likes the tiger and the tiger is rough then they eat the squirrel. If someone needs the squirrel then the squirrel is blue. If someone eats the mouse then they like the tiger. If someone is blue and they like the tiger then they eat the mouse. If the squirrel is not blue then the squirrel does not like the bald eagle.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone eats the mouse then they are not young.
((("someone" "eats" "mouse" "+")) -> ("someone" "is" "young" "-"))
If someone likes the tiger and the tiger is rough then they eat the squirrel.
((("someone" "likes" "tiger" "+") ("tiger" "is" "rough" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone needs the squirrel then the squirrel is blue.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
If someone eats the mouse then they like the tiger.
((("someone" "eats" "mouse" "+")) -> ("someone" "likes" "tiger" "+"))
If someone is blue and they like the tiger then they eat the mouse.
((("someone" "is" "blue" "+") ("someone" "likes" "tiger" "+")) -> ("someone" "eats" "mouse" "+"))
If the squirrel is not blue then the squirrel does not like the bald eagle.
((("squirrel" "is" "blue" "~")) -> ("squirrel" "likes" "bald eagle" "-"))
The tiger needs the squirrel.
True
1
proof
[(triple4)]
("tiger" "needs" "squirrel" "+")
triple4
The tiger does not need the squirrel.
False
1
inv-proof
[(triple4)]
("tiger" "needs" "squirrel" "-")
triple4
The tiger does not eat the squirrel.
Unknown
inv-rconc
[@1: The tiger eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "eats" "squirrel" "-")
The bald eagle needs the squirrel.
Unknown
random
[@0: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "squirrel" "+")
@0: The bald eagle eats the mouse.[(triple1)] The mouse is nice.[(triple2)] The squirrel eats the mouse.[(triple3)] The tiger needs the squirrel.[(triple4)] @1: The bald eagle is not young.[(((triple1) -> rule1))] The bald eagle likes the tiger.[(((triple1) -> rule4))] The squirrel is blue.[(((triple4) -> rule3))] The squirrel is not young.[(((triple3) -> rule1))] The squirrel likes the tiger.[(((triple3) -> rule4))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The mouse is nice.
("mouse" "is" "nice" "+")
triple2
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple3
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple4
The bald eagle is not young.
("bald eagle" "is" "young" "-")
((triple1) -> (rule1 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
((triple1) -> (rule4 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple4) -> (rule3 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not young.
("squirrel" "is" "young" "-")
((triple3) -> (rule1 % int1))
The squirrel is not young.
("squirrel" "is" "young" "-")
int1
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
((triple3) -> (rule4 % int1))
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int1