The bald eagle chases the mouse. The mouse chases the bald eagle. The mouse is not young. If the mouse sees the bald eagle and the mouse is not blue then the bald eagle does not see the mouse. If something is blue then it does not see the mouse. If the mouse needs the bald eagle and the mouse is young then the bald eagle needs the mouse. If something chases the bald eagle then the bald eagle does not need the mouse. If something is round then it chases the mouse. If the bald eagle does not need the mouse then the bald eagle is nice.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is not young.
("mouse" "is" "young" "-")
If the mouse sees the bald eagle and the mouse is not blue then the bald eagle does not see the mouse.
((("mouse" "sees" "bald eagle" "+") ("mouse" "is" "blue" "~")) -> ("bald eagle" "sees" "mouse" "-"))
If something is blue then it does not see the mouse.
((("something" "is" "blue" "+")) -> ("something" "sees" "mouse" "-"))
If the mouse needs the bald eagle and the mouse is young then the bald eagle needs the mouse.
((("mouse" "needs" "bald eagle" "+") ("mouse" "is" "young" "+")) -> ("bald eagle" "needs" "mouse" "+"))
If something chases the bald eagle then the bald eagle does not need the mouse.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "needs" "mouse" "-"))
If something is round then it chases the mouse.
((("something" "is" "round" "+")) -> ("something" "chases" "mouse" "+"))
If the bald eagle does not need the mouse then the bald eagle is nice.
((("bald eagle" "needs" "mouse" "~")) -> ("bald eagle" "is" "nice" "+"))
The bald eagle chases the mouse.
True
1
proof
[(triple1)]
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle does not chase the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "mouse" "-")
triple1
The bald eagle does not need the mouse.
True
2
proof
[(((triple2) -> rule4))]
("bald eagle" "needs" "mouse" "-")
((triple2) -> (rule4 % int1))
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
int1
The bald eagle needs the mouse.
False
2
inv-proof
[(((triple2) -> rule4))]
("bald eagle" "needs" "mouse" "+")
((triple2) -> (rule4 % int1))
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
int1
The bald eagle is nice.
True
3
proof
[(((((triple2) -> rule4)) -> rule6))]
("bald eagle" "is" "nice" "+")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
int2
The bald eagle is not nice.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule6))]
("bald eagle" "is" "nice" "-")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
int2
The mouse does not chase the mouse.
Unknown
inv-rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "chases" "mouse" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The bald eagle does not see the mouse.
Unknown
inv-random
[@0: The bald eagle sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "mouse" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The bald eagle chases the mouse.[(triple1)] The mouse chases the bald eagle.[(triple2)] The mouse is not young.[(triple3)] @1: The bald eagle does not need the mouse.[(((triple2) -> rule4))] @2: The bald eagle is nice.[(((((triple2) -> rule4)) -> rule6))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple2
The mouse is not young.
("mouse" "is" "young" "-")
triple3
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
((triple2) -> (rule4 % int1))
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
int2