The bald eagle does not like the cat. The bald eagle likes the lion. The bald eagle does not see the cat. The cat does not see the bald eagle. The lion eats the bald eagle. The lion is cold. The lion likes the bald eagle. If someone eats the bald eagle and they like the bald eagle then the bald eagle likes the lion. If someone is blue and kind then they eat the bald eagle. If someone is young and they do not eat the lion then the lion likes the bald eagle. If the cat does not eat the lion then the cat sees the bald eagle. If someone sees the bald eagle and they do not eat the cat then the cat does not like the bald eagle. All kind people are not blue. Big people are young. If someone is big and they eat the bald eagle then they do not like the bald eagle.
The bald eagle does not see the cat.
@0: The bald eagle does not like the cat.[(triple1)] The bald eagle does not see the cat.[(triple3)] The bald eagle likes the lion.[(triple2 OR ((triple5 triple7) -> rule1))] The cat does not see the bald eagle.[(triple4)] The lion eats the bald eagle.[(triple5)] The lion is cold.[(triple6)] The lion likes the bald eagle.[(triple7)]