The bald eagle is kind. The cat eats the bald eagle. The lion is cold. If someone is kind then they eat the bald eagle. If someone visits the cat and the cat is rough then the cat is kind. If someone visits the bald eagle then they eat the bald eagle. If someone needs the lion then they visit the lion. If the bald eagle visits the lion and the bald eagle eats the cat then the bald eagle is rough. If someone is nice then they visit the bald eagle. If the cat needs the lion and the cat is rough then the lion visits the bald eagle. If someone visits the lion then they need the lion.
The bald eagle is not kind.
@0: The bald eagle is kind.[(triple1)] The cat eats the bald eagle.[(triple2)] The lion is cold.[(triple3)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule1))]