The bald eagle chases the mouse. The bald eagle eats the lion. The bald eagle eats the mouse. The bald eagle needs the mouse. The cow chases the mouse. The cow eats the bald eagle. The cow is not rough. The lion chases the mouse. The lion eats the mouse. The lion is big. The mouse chases the lion. The mouse eats the lion. The mouse does not need the bald eagle. The mouse needs the cow. The mouse needs the lion. If something needs the mouse and it is not green then the mouse is big. If something is rough then it does not need the lion. If the bald eagle needs the mouse then the mouse eats the cow. All red things are round. If the bald eagle chases the mouse and the bald eagle eats the mouse then the bald eagle needs the lion. If something eats the cow and it is green then it does not need the mouse.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is big.
("lion" "is" "big" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
If something needs the mouse and it is not green then the mouse is big.
((("something" "needs" "mouse" "+") ("something" "is" "green" "~")) -> ("mouse" "is" "big" "+"))
If something is rough then it does not need the lion.
((("something" "is" "rough" "+")) -> ("something" "needs" "lion" "-"))
If the bald eagle needs the mouse then the mouse eats the cow.
((("bald eagle" "needs" "mouse" "+")) -> ("mouse" "eats" "cow" "+"))
All red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If the bald eagle chases the mouse and the bald eagle eats the mouse then the bald eagle needs the lion.
((("bald eagle" "chases" "mouse" "+") ("bald eagle" "eats" "mouse" "+")) -> ("bald eagle" "needs" "lion" "+"))
If something eats the cow and it is green then it does not need the mouse.
((("something" "eats" "cow" "+") ("something" "is" "green" "+")) -> ("something" "needs" "mouse" "-"))
The mouse needs the lion.
True
1
proof
[(triple15)]
("mouse" "needs" "lion" "+")
triple15
The bald eagle does not need the mouse.
False
1
inv-proof
[(triple4)]
("bald eagle" "needs" "mouse" "-")
triple4
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "round" "-")
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 eats the lion.[(triple2)] The bald eagle eats the mouse.[(triple3)] The bald eagle needs the mouse.[(triple4)] The cow chases the mouse.[(triple5)] The cow eats the bald eagle.[(triple6)] The cow is not rough.[(triple7)] The lion chases the mouse.[(triple8)] The lion eats the mouse.[(triple9)] The lion is big.[(triple10)] The mouse chases the lion.[(triple11)] The mouse does not need the bald eagle.[(triple13)] The mouse eats the lion.[(triple12)] The mouse needs the cow.[(triple14)] The mouse needs the lion.[(triple15)] @1: The bald eagle needs the lion.[(((triple1 triple3) -> rule5))] The mouse eats the cow.[(((triple4) -> rule3))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple3
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple4
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple5
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple6
The cow is not rough.
("cow" "is" "rough" "-")
triple7
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple8
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple9
The lion is big.
("lion" "is" "big" "+")
triple10
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple11
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
triple13
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple12
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple14
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple15
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
((triple1 triple3) -> (rule5 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
((triple4) -> (rule3 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1