The bald eagle is green. The bald eagle needs the tiger. The bald eagle sees the dog. The bald eagle sees the tiger. The dog is round. The dog needs the tiger. The dog sees the tiger. The tiger is cold. The tiger needs the bald eagle. The tiger sees the dog. If something eats the bald eagle and it is rough then it sees the dog. If the dog sees the bald eagle then the bald eagle needs the tiger. If the dog eats the tiger and the dog is cold then the dog sees the tiger. If something needs the dog and the dog eats the bald eagle then the bald eagle eats the tiger. If something sees the dog and it sees the tiger then the tiger is rough. If something is rough then it sees the bald eagle.
The bald eagle is not green.
@0: The bald eagle is green.[(triple1)] The bald eagle needs the tiger.[(triple2)] The bald eagle sees the dog.[(triple3)] The bald eagle sees the tiger.[(triple4)] The dog is round.[(triple5)] The dog needs the tiger.[(triple6)] The dog sees the tiger.[(triple7)] The tiger is cold.[(triple8)] The tiger needs the bald eagle.[(triple9)] The tiger sees the dog.[(triple10)] @1: The tiger is rough.[(((triple3 triple4) -> rule5))] @2: The tiger sees the bald eagle.[(((((triple3 triple4) -> rule5)) -> rule6))]