The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle is round. The bald eagle is young. The rabbit eats the tiger. The rabbit visits the tiger. The tiger is young. If something is blue then it visits the tiger. If something chases the bald eagle then it is not kind. If the tiger visits the rabbit then the tiger chases the bald eagle. If something is kind then it visits the bald eagle. If something eats the bald eagle and it is blue then the bald eagle chases the tiger. If something is blue and it visits the bald eagle then the bald eagle chases the tiger. If something eats the tiger and it chases the tiger then the tiger does not eat the rabbit. If the bald eagle does not eat the tiger and the bald eagle does not chase the rabbit then the bald eagle is kind.
The bald eagle is not round.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle is young.[(triple4)] The rabbit eats the tiger.[(triple5)] The rabbit visits the tiger.[(triple6)] The tiger is young.[(triple7)] @1: The bald eagle visits the tiger.[(((triple2) -> rule1))]