The bald eagle does not chase the lion. The bald eagle chases the rabbit. The bald eagle eats the cat. The bald eagle eats the rabbit. The bald eagle is cold. The cat eats the bald eagle. The cat is blue. The lion visits the bald eagle. The rabbit chases the bald eagle. The rabbit eats the cat. If something is round then it visits the rabbit. If something eats the cat and it is not blue then the cat chases the bald eagle. If something chases the rabbit then it chases the cat. If the lion is young and the lion is not blue then the lion does not visit the cat. If something eats the bald eagle then it is round. If something visits the cat then the cat is not round.
The cat does not chase the bald eagle.
@0: The bald eagle chases the rabbit.[(triple2)] The bald eagle does not chase the lion.[(triple1)] The bald eagle eats the cat.[(triple3)] The bald eagle eats the rabbit.[(triple4)] The bald eagle is cold.[(triple5)] The cat eats the bald eagle.[(triple6)] The cat is blue.[(triple7)] The lion visits the bald eagle.[(triple8)] The rabbit chases the bald eagle.[(triple9)] The rabbit eats the cat.[(triple10)] @1: The bald eagle chases the cat.[(((triple2) -> rule3))] The cat is round.[(((triple6) -> rule5))] @2: The cat visits the rabbit.[(((((triple6) -> rule5)) -> rule1))]