The bald eagle is rough. The bald eagle likes the cat. The bald eagle needs the lion. The bald eagle does not see the tiger. The cat is rough. The cat does not need the lion. The lion is blue. The lion sees the tiger. The tiger does not like the bald eagle. The tiger needs the cat. The tiger sees the bald eagle. The tiger does not see the lion. If someone sees the tiger then they like the bald eagle.
The lion does not see the cat.
@0: The bald eagle does not see the tiger.[(triple4)] The bald eagle is rough.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle needs the lion.[(triple3)] The cat does not need the lion.[(triple6)] The cat is rough.[(triple5)] The lion is blue.[(triple7)] The lion sees the tiger.[(triple8)] The tiger does not like the bald eagle.[(triple9)] The tiger does not see the lion.[(triple12)] The tiger needs the cat.[(triple10)] The tiger sees the bald eagle.[(triple11)] @1: The lion likes the bald eagle.[(((triple8) -> rule1))]