The bald eagle is red. The bald eagle is rough. The bald eagle likes the cat. The bald eagle likes the tiger. The bald eagle needs the cat. The bald eagle needs the tiger. The bald eagle sees the cat. The cat is red. The cat likes the bald eagle. The cat likes the tiger. The cat needs the bald eagle. The cat needs the tiger. The cat sees the bald eagle. The tiger is big. The tiger sees the bald eagle. If the bald eagle likes the cat then the cat sees the tiger. If something is rough then it needs the bald eagle. If something sees the cat and it is nice then the cat likes the bald eagle.
The tiger does not need the bald eagle.
@0: The bald eagle is red.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle likes the tiger.[(triple4)] The bald eagle needs the cat.[(triple5)] The bald eagle needs the tiger.[(triple6)] The bald eagle sees the cat.[(triple7)] The cat is red.[(triple8)] The cat likes the bald eagle.[(triple9)] The cat likes the tiger.[(triple10)] The cat needs the bald eagle.[(triple11)] The cat needs the tiger.[(triple12)] The cat sees the bald eagle.[(triple13)] The tiger is big.[(triple14)] The tiger sees the bald eagle.[(triple15)] @1: The bald eagle needs the bald eagle.[(((triple2) -> rule2))] The cat sees the tiger.[(((triple3) -> rule1))]