The bald eagle chases the mouse. The bald eagle eats the mouse. The bald eagle is blue. The bald eagle is nice. The bald eagle is not rough. The bald eagle sees the mouse. The mouse chases the bald eagle. The mouse does not eat the bald eagle. The mouse is not blue. The mouse is rough. The mouse is round. The mouse sees the bald eagle. If something is nice then it eats the bald eagle. If something eats the bald eagle and it does not chase the mouse then the mouse sees the bald eagle. If something chases the mouse then it sees the mouse. If the mouse eats the bald eagle then the bald eagle sees the mouse. If something eats the bald eagle then the bald eagle sees the mouse. If something is blue then it eats the mouse.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse does not eat the bald eagle.
("mouse" "eats" "bald eagle" "-")
The mouse is not blue.
("mouse" "is" "blue" "-")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If something is nice then it eats the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "eats" "bald eagle" "+"))
If something eats the bald eagle and it does not chase the mouse then the mouse sees the bald eagle.
((("something" "eats" "bald eagle" "+") ("something" "chases" "mouse" "~")) -> ("mouse" "sees" "bald eagle" "+"))
If something chases the mouse then it sees the mouse.
((("something" "chases" "mouse" "+")) -> ("something" "sees" "mouse" "+"))
If the mouse eats the bald eagle then the bald eagle sees the mouse.
((("mouse" "eats" "bald eagle" "+")) -> ("bald eagle" "sees" "mouse" "+"))
If something eats the bald eagle then the bald eagle sees the mouse.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "sees" "mouse" "+"))
If something is blue then it eats the mouse.
((("something" "is" "blue" "+")) -> ("something" "eats" "mouse" "+"))
The mouse chases the bald eagle.
True
1
proof
[(triple7)]
("mouse" "chases" "bald eagle" "+")
triple7
The mouse is not round.
False
1
inv-proof
[(triple11)]
("mouse" "is" "round" "-")
triple11
The mouse does not eat the mouse.
Unknown
inv-rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "eats" "mouse" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the mouse.[(triple2 OR ((triple3) -> rule6))] The bald eagle is blue.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is not rough.[(triple5)] The bald eagle sees the mouse.[(triple6 OR ((triple1) -> rule3) OR ((((triple4) -> rule1)) -> rule5))] The mouse chases the bald eagle.[(triple7)] The mouse does not eat the bald eagle.[(triple8)] The mouse is not blue.[(triple9)] The mouse is rough.[(triple10)] The mouse is round.[(triple11)] The mouse sees the bald eagle.[(triple12)] @1: The bald eagle eats the bald eagle.[(((triple4) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
((triple3) -> (rule6 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple5
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple6
((triple1) -> (rule3 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple7
The mouse does not eat the bald eagle.
("mouse" "eats" "bald eagle" "-")
triple8
The mouse is not blue.
("mouse" "is" "blue" "-")
triple9
The mouse is rough.
("mouse" "is" "rough" "+")
triple10
The mouse is round.
("mouse" "is" "round" "+")
triple11
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple12
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple4) -> (rule1 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1