The bald eagle chases the cat. The bald eagle eats the cat. The bald eagle needs the cat. The bald eagle needs the lion. The cat eats the bald eagle. The cat eats the lion. The cat is blue. The cat needs the bald eagle. The cat needs the lion. The lion is kind. The lion is young. The lion needs the cat. If the bald eagle eats the cat then the cat is cold.
The bald eagle does not need the cat.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle needs the lion.[(triple4)] The cat eats the bald eagle.[(triple5)] The cat eats the lion.[(triple6)] The cat is blue.[(triple7)] The cat needs the bald eagle.[(triple8)] The cat needs the lion.[(triple9)] The lion is kind.[(triple10)] The lion is young.[(triple11)] The lion needs the cat.[(triple12)] @1: The cat is cold.[(((triple2) -> rule1))]