The bald eagle eats the tiger. The bald eagle is blue. The bald eagle is not round. The bald eagle visits the tiger. The bear chases the bald eagle. The bear is round. The bear visits the tiger. The tiger is nice. The tiger is round. The tiger does not visit the bear. If the bear eats the tiger and the bear chases the tiger then the tiger eats the bald eagle. If someone eats the tiger and they are young then the tiger does not eat the bald eagle. If someone is nice and they chase the bald eagle then they visit the tiger. If someone visits the bald eagle then the bald eagle chases the bear. If someone eats the bear then they are nice. If the bald eagle does not chase the tiger then the tiger chases the bald eagle. If someone is young then they are not round. If someone is blue then they visit the bear.
The tiger is nice.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is not round.[(triple3)] The bald eagle visits the tiger.[(triple4)] The bear chases the bald eagle.[(triple5)] The bear is round.[(triple6)] The bear visits the tiger.[(triple7)] The tiger does not visit the bear.[(triple10)] The tiger is nice.[(triple8)] The tiger is round.[(triple9)] @1: The bald eagle visits the bear.[(((triple2) -> rule8))]