The bald eagle is not red. The bear eats the mouse. The mouse is blue. The tiger is red. If something is blue then it does not eat the bear.
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The tiger is red.
("tiger" "is" "red" "+")
If something is blue then it does not eat the bear.
((("something" "is" "blue" "+")) -> ("something" "eats" "bear" "-"))
The bear eats the mouse.
True
1
proof
[(triple2)]
("bear" "eats" "mouse" "+")
triple2
The bald eagle is red.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "red" "+")
triple1
The mouse does not eat the bear.
True
2
proof
[(((triple3) -> rule1))]
("mouse" "eats" "bear" "-")
((triple3) -> (rule1 % int1))
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
int1
The mouse eats the bear.
False
2
inv-proof
[(((triple3) -> rule1))]
("mouse" "eats" "bear" "+")
((triple3) -> (rule1 % int1))
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
int1
The tiger does not eat the bear.
Unknown
inv-random
[@0: The tiger eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "bear" "-")
The mouse needs the tiger.
Unknown
random
[@0: The mouse needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "tiger" "+")
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The bald eagle needs the tiger.
Unknown
random
[@0: The bald eagle needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "tiger" "+")
@0: The bald eagle is not red.[(triple1)] The bear eats the mouse.[(triple2)] The mouse is blue.[(triple3)] The tiger is red.[(triple4)] @1: The mouse does not eat the bear.[(((triple3) -> rule1))]
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
The mouse is blue.
("mouse" "is" "blue" "+")
triple3
The tiger is red.
("tiger" "is" "red" "+")
triple4
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
((triple3) -> (rule1 % int1))
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
int1