The bald eagle is big. The bald eagle is not cold. The bald eagle does not like the cat. The bald eagle needs the lion. The bald eagle visits the cat. The cat is cold. The cat needs the lion. The lion is big. The lion likes the bald eagle. The lion needs the cat. If someone likes the lion then they do not visit the bald eagle. If someone is cold then they do not like the lion. If someone visits the cat then they like the lion. If someone needs the bald eagle and they are round then the bald eagle visits the cat. If someone visits the lion and the lion visits the bald eagle then the bald eagle needs the lion. If someone likes the lion and the lion visits the bald eagle then the bald eagle is big. If the bald eagle likes the cat and the cat visits the bald eagle then the bald eagle needs the cat. If someone visits the lion then the lion is not big.
The bald eagle needs the bald eagle.
@0: The bald eagle does not like the cat.[(triple3)] The bald eagle is big.[(triple1)] The bald eagle is not cold.[(triple2)] The bald eagle needs the lion.[(triple4)] The bald eagle visits the cat.[(triple5)] The cat is cold.[(triple6)] The cat needs the lion.[(triple7)] The lion is big.[(triple8)] The lion likes the bald eagle.[(triple9)] The lion needs the cat.[(triple10)] @1: The bald eagle likes the lion.[(((triple5) -> rule3))] The cat does not like the lion.[(((triple6) -> rule2))] @2: The bald eagle does not visit the bald eagle.[(((((triple5) -> rule3)) -> rule1))]