The bald eagle needs the mouse. The bald eagle sees the dog. The cat eats the bald eagle. The cat eats the dog. The cat sees the mouse. The dog eats the cat. The dog is big. The dog is cold. The dog is rough. The dog needs the cat. The dog sees the bald eagle. The mouse eats the dog. The mouse is kind. The mouse is rough. The mouse needs the bald eagle. If someone sees the mouse then the mouse eats the dog.
The mouse does not need the mouse.
@0: The bald eagle needs the mouse.[(triple1)] The bald eagle sees the dog.[(triple2)] The cat eats the bald eagle.[(triple3)] The cat eats the dog.[(triple4)] The cat sees the mouse.[(triple5)] The dog eats the cat.[(triple6)] The dog is big.[(triple7)] The dog is cold.[(triple8)] The dog is rough.[(triple9)] The dog needs the cat.[(triple10)] The dog sees the bald eagle.[(triple11)] The mouse eats the dog.[(triple12 OR ((triple5) -> rule1))] The mouse is kind.[(triple13)] The mouse is rough.[(triple14)] The mouse needs the bald eagle.[(triple15)]