The bald eagle is kind. The bald eagle is not red. The bald eagle likes the dog. The dog needs the lion. The lion does not need the bald eagle. The mouse likes the dog. The mouse does not see the dog. If someone needs the mouse then the mouse does not see the bald eagle. If someone needs the dog then the dog needs the lion. If someone is rough then they see the mouse. If someone sees the mouse then the mouse is kind. If someone needs the lion then they do not see the bald eagle. If someone sees the dog then they need the mouse. All kind people are rough. If someone sees the mouse then they like the lion.
The dog does not need the bald eagle.
@0: The bald eagle is kind.[(triple1)] The bald eagle is not red.[(triple2)] The bald eagle likes the dog.[(triple3)] The dog needs the lion.[(triple4)] The lion does not need the bald eagle.[(triple5)] The mouse does not see the dog.[(triple7)] The mouse likes the dog.[(triple6)] @1: The bald eagle is rough.[(((triple1) -> rule7))] The dog does not see the bald eagle.[(((triple4) -> rule5))] @2: The bald eagle sees the mouse.[(((((triple1) -> rule7)) -> rule3))] @3: The bald eagle likes the lion.[(((((((triple1) -> rule7)) -> rule3)) -> rule8))] The mouse is kind.[(((((((triple1) -> rule7)) -> rule3)) -> rule4))] @4: The mouse is rough.[(((((((((triple1) -> rule7)) -> rule3)) -> rule4)) -> rule7))] @5: The mouse sees the mouse.[(((((((((((triple1) -> rule7)) -> rule3)) -> rule4)) -> rule7)) -> rule3))] @6: The mouse likes the lion.[(((((((((((((triple1) -> rule7)) -> rule3)) -> rule4)) -> rule7)) -> rule3)) -> rule8))]