The bald eagle likes the bear. The bald eagle likes the cat. The bald eagle does not see the tiger. The bear is nice. The bear sees the cat. The cat is red. The cat needs the tiger. The tiger is blue. The tiger is cold. The tiger is nice. The tiger likes the bald eagle. The tiger does not like the bear. If the bear likes the bald eagle and the bear is blue then the bald eagle does not like the cat. If something is nice and not blue then it likes the tiger. If something needs the tiger then the tiger sees the bear.
The cat is blue.
@0: The bald eagle does not see the tiger.[(triple3)] The bald eagle likes the bear.[(triple1)] The bald eagle likes the cat.[(triple2)] The bear is nice.[(triple4)] The bear sees the cat.[(triple5)] The cat is red.[(triple6)] The cat needs the tiger.[(triple7)] The tiger does not like the bear.[(triple12)] The tiger is blue.[(triple8)] The tiger is cold.[(triple9)] The tiger is nice.[(triple10)] The tiger likes the bald eagle.[(triple11)] @1: The tiger sees the bear.[(((triple7) -> rule3))]