The bald eagle chases the tiger. The bald eagle is green. The bald eagle is round. The bald eagle does not need the tiger. The bald eagle visits the tiger. The tiger does not chase the bald eagle. The tiger is not blue. The tiger is green. The tiger is nice. The tiger is round. The tiger needs the bald eagle. The tiger visits the bald eagle. If someone chases the bald eagle then the bald eagle visits the tiger. If someone is rough and they do not chase the bald eagle then they visit the bald eagle. If someone visits the tiger then the tiger is not blue. If someone is nice and not round then they are not blue. If someone is round and they visit the tiger then they are not blue. If the bald eagle visits the tiger and the bald eagle is not rough then the bald eagle needs the tiger. If the tiger chases the bald eagle then the tiger does not need the bald eagle. If someone chases the tiger and they do not visit the tiger then the tiger does not need the bald eagle.
The bald eagle does not visit the bald eagle.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle does not need the tiger.[(triple4)] The bald eagle is green.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle visits the tiger.[(triple5)] The tiger does not chase the bald eagle.[(triple6)] The tiger is green.[(triple8)] The tiger is nice.[(triple9)] The tiger is not blue.[(triple7 OR ((triple5) -> rule3))] The tiger is round.[(triple10)] The tiger needs the bald eagle.[(triple11)] The tiger visits the bald eagle.[(triple12)] @1: The bald eagle is not blue.[(((triple3 triple5) -> rule5))]