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