The bald eagle sees the bear. The bear is not young. The bear needs the bald eagle. The bear sees the bald eagle. The bear sees the mouse. The bear visits the cat. The bear visits the mouse. The cat sees the bear. The cat visits the mouse. The mouse sees the cat. The mouse visits the bald eagle. The mouse does not visit the bear. If something sees the mouse and it sees the cat then the cat is not nice. If something needs the bald eagle then it sees the cat.
The cat is not nice.
@0: The bald eagle sees the bear.[(triple1)] The bear is not young.[(triple2)] The bear needs the bald eagle.[(triple3)] The bear sees the bald eagle.[(triple4)] The bear sees the mouse.[(triple5)] The bear visits the cat.[(triple6)] The bear visits the mouse.[(triple7)] The cat sees the bear.[(triple8)] The cat visits the mouse.[(triple9)] The mouse does not visit the bear.[(triple12)] The mouse sees the cat.[(triple10)] The mouse visits the bald eagle.[(triple11)] @1: The bear sees the cat.[(((triple3) -> rule2))] @2: The cat is not nice.[(((triple5 ((triple3) -> rule2)) -> rule1))]