The bald eagle eats the mouse. The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. The bald eagle needs the mouse. The bald eagle visits the mouse. The mouse eats the bald eagle. The mouse is green. The mouse is young. The mouse visits the bald eagle. If something is rough then it visits the mouse. If something is young and it needs the mouse then the mouse is young. If something is kind then it needs the mouse. If something eats the bald eagle then it is green. If something needs the bald eagle then the bald eagle visits the mouse. If something eats the bald eagle then the bald eagle needs the mouse.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If something is rough then it visits the mouse.
((("something" "is" "rough" "+")) -> ("something" "visits" "mouse" "+"))
If something is young and it needs the mouse then the mouse is young.
((("something" "is" "young" "+") ("something" "needs" "mouse" "+")) -> ("mouse" "is" "young" "+"))
If something is kind then it needs the mouse.
((("something" "is" "kind" "+")) -> ("something" "needs" "mouse" "+"))
If something eats the bald eagle then it is green.
((("something" "eats" "bald eagle" "+")) -> ("something" "is" "green" "+"))
If something needs the bald eagle then the bald eagle visits the mouse.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "visits" "mouse" "+"))
If something eats the bald eagle then the bald eagle needs the mouse.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "needs" "mouse" "+"))
The bald eagle needs the mouse.
True
1
proof
[(triple5 OR ((triple2) -> rule3) OR ((triple7) -> rule6))]
("bald eagle" "needs" "mouse" "+")
triple5
((triple2) -> (rule3 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
((triple7) -> (rule6 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle does not need the mouse.
False
1
inv-proof
[(triple5 OR ((triple2) -> rule3) OR ((triple7) -> rule6))]
("bald eagle" "needs" "mouse" "-")
triple5
((triple2) -> (rule3 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
((triple7) -> (rule6 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "green" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle needs the mouse.[(triple5 OR ((triple2) -> rule3) OR ((triple7) -> rule6))] The bald eagle visits the mouse.[(triple6 OR ((triple4) -> rule1))] The mouse eats the bald eagle.[(triple7)] The mouse is green.[(triple8 OR ((triple7) -> rule4))] The mouse is young.[(triple9)] The mouse visits the bald eagle.[(triple10)]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple5
((triple2) -> (rule3 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
((triple7) -> (rule6 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple6
((triple4) -> (rule1 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple7
The mouse is green.
("mouse" "is" "green" "+")
triple8
((triple7) -> (rule4 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
triple9
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple10