The bald eagle chases the mouse. The bald eagle is green. The bald eagle is kind. The bald eagle is young. The bald eagle needs the mouse. The bald eagle sees the mouse. The mouse chases the bald eagle. The mouse is young. The mouse needs the bald eagle. The mouse sees the bald eagle. If something is young then it sees the bald eagle. If the mouse chases the bald eagle and the bald eagle is kind then the bald eagle sees the mouse. If something needs the bald eagle then it is green.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If something is young then it sees the bald eagle.
((("something" "is" "young" "+")) -> ("something" "sees" "bald eagle" "+"))
If the mouse chases the bald eagle and the bald eagle is kind then the bald eagle sees the mouse.
((("mouse" "chases" "bald eagle" "+") ("bald eagle" "is" "kind" "+")) -> ("bald eagle" "sees" "mouse" "+"))
If something needs the bald eagle then it is green.
((("something" "needs" "bald eagle" "+")) -> ("something" "is" "green" "+"))
The bald eagle sees the mouse.
True
1
proof
[(triple6 OR ((triple7 triple3) -> rule2))]
("bald eagle" "sees" "mouse" "+")
triple6
((triple7 triple3) -> (rule2 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The mouse is not young.
False
1
inv-proof
[(triple8)]
("mouse" "is" "young" "-")
triple8
The mouse is not cold.
Unknown
inv-random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "-")
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 bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle needs the mouse.[(triple5)] The bald eagle sees the mouse.[(triple6 OR ((triple7 triple3) -> rule2))] The mouse chases the bald eagle.[(triple7)] The mouse is young.[(triple8)] The mouse needs the bald eagle.[(triple9)] The mouse sees the bald eagle.[(triple10 OR ((triple8) -> rule1))] @1: The bald eagle sees the bald eagle.[(((triple4) -> rule1))] The mouse is green.[(((triple9) -> rule3))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple5
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple6
((triple7 triple3) -> (rule2 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple7
The mouse is young.
("mouse" "is" "young" "+")
triple8
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple9
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple10
((triple8) -> (rule1 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple4) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
((triple9) -> (rule3 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1