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