The bald eagle is big. The bald eagle is blue. The bald eagle is kind. The bald eagle is rough. The bald eagle needs the tiger. The bald eagle sees the tiger. The bald eagle does not visit the tiger. The tiger is not rough. The tiger is not round. The tiger needs the bald eagle. The tiger sees the bald eagle. The tiger visits the bald eagle. If someone is kind and not blue then they need the tiger. If someone sees the bald eagle and the bald eagle visits the tiger then the tiger does not visit the bald eagle. If the tiger visits the bald eagle and the tiger is round then the tiger sees the bald eagle. If the tiger needs the bald eagle and the bald eagle is round then the tiger sees the bald eagle. If the bald eagle is big and the bald eagle is kind then the bald eagle is not round. If someone is kind then they do not see the bald eagle.
The bald eagle is not kind.
@0: The bald eagle does not visit the tiger.[(triple7)] The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle needs the tiger.[(triple5)] The bald eagle sees the tiger.[(triple6)] The tiger is not rough.[(triple8)] The tiger is not round.[(triple9)] The tiger needs the bald eagle.[(triple10)] The tiger sees the bald eagle.[(triple11)] The tiger visits the bald eagle.[(triple12)] @1: The bald eagle does not see the bald eagle.[(((triple3) -> rule6))] The bald eagle is not round.[(((triple1 triple3) -> rule5))]