The bald eagle needs the rabbit. The lion chases the bald eagle. The mouse chases the lion. The mouse does not chase the rabbit. The mouse eats the bald eagle. The mouse eats the rabbit. The rabbit is not young. If someone eats the bald eagle then the bald eagle needs the rabbit. If someone eats the rabbit then they need the lion. If someone eats the mouse and the mouse eats the lion then they chase the lion. If someone is red then they do not chase the bald eagle. If someone needs the rabbit and they need the lion then they do not eat the bald eagle. If someone needs the lion then the lion eats the rabbit. If someone eats the mouse and they are not green then the mouse is not blue. If someone is green and not red then they are rough.
The bald eagle is rough.
@0: The bald eagle needs the rabbit.[(triple1 OR ((triple5) -> rule1))] The lion chases the bald eagle.[(triple2)] The mouse chases the lion.[(triple3)] The mouse does not chase the rabbit.[(triple4)] The mouse eats the bald eagle.[(triple5)] The mouse eats the rabbit.[(triple6)] The rabbit is not young.[(triple7)] @1: The mouse needs the lion.[(((triple6) -> rule2))] @2: The lion eats the rabbit.[(((((triple6) -> rule2)) -> rule6))] @3: The lion needs the lion.[(((((((triple6) -> rule2)) -> rule6)) -> rule2))]