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