The bald eagle needs the cow. The cow is big. The cow visits the bald eagle. The tiger is kind. The tiger is round. The tiger needs the bald eagle. The tiger visits the cow. If someone visits the bald eagle and the bald eagle eats the tiger then they are round. If someone visits the tiger and they eat the cow then the cow visits the bald eagle. If the tiger needs the cow then the tiger is rough. If someone visits the bald eagle then they are rough. If someone eats the bald eagle and the bald eagle visits the tiger then they visit the tiger. If someone is rough and they visit the bald eagle then the bald eagle visits the tiger. If someone eats the cow then the cow visits the tiger. If someone needs the bald eagle and the bald eagle needs the tiger then the bald eagle visits the tiger.
The tiger needs the cow.
@0: The bald eagle needs the cow.[(triple1)] The cow is big.[(triple2)] The cow visits the bald eagle.[(triple3)] The tiger is kind.[(triple4)] The tiger is round.[(triple5)] The tiger needs the bald eagle.[(triple6)] The tiger visits the cow.[(triple7)] @1: The cow is rough.[(((triple3) -> rule4))] @2: The bald eagle visits the tiger.[(((((triple3) -> rule4) triple3) -> rule6))]