The bald eagle is rough. The bald eagle sees the tiger. The bear is young. The bear visits the bald eagle. The cat does not see the tiger. The tiger does not see the bear. The tiger visits the bear. If someone is green then they see the tiger. If someone visits the bald eagle then they like the bear. If someone likes the bear then they see the cat. If someone likes the cat then they see the bear. If someone sees the cat and the cat is green then they are not green. If someone sees the cat and they visit the bald eagle then they are not nice.
The bear sees the cat.
@0: The bald eagle is rough.[(triple1)] The bald eagle sees the tiger.[(triple2)] The bear is young.[(triple3)] The bear visits the bald eagle.[(triple4)] The cat does not see the tiger.[(triple5)] The tiger does not see the bear.[(triple6)] The tiger visits the bear.[(triple7)] @1: The bear likes the bear.[(((triple4) -> rule2))] @2: The bear sees the cat.[(((((triple4) -> rule2)) -> rule3))] @3: The bear is not nice.[(((((((triple4) -> rule2)) -> rule3) triple4) -> rule6))]