The bald eagle is big. The cat chases the squirrel. The cat needs the bald eagle. The cat needs the tiger. The squirrel is blue. The squirrel needs the bald eagle. The squirrel sees the bald eagle. The squirrel sees the cat. The tiger chases the bald eagle. The tiger chases the cat. The tiger is blue. The tiger is green. If the tiger chases the cat then the tiger is big. If someone chases the bald eagle then the bald eagle needs the cat. If someone is blue and they need the squirrel then the squirrel sees the bald eagle. If the bald eagle chases the cat and the cat chases the bald eagle then the bald eagle sees the squirrel. If someone needs the tiger and the tiger needs the bald eagle then they are red. Round people are green. If someone sees the cat and they chase the tiger then the cat sees the bald eagle. If someone is big and blue then they chase the squirrel.
The bald eagle needs the cat.
@0: The bald eagle is big.[(triple1)] The cat chases the squirrel.[(triple2)] The cat needs the bald eagle.[(triple3)] The cat needs the tiger.[(triple4)] The squirrel is blue.[(triple5)] The squirrel needs the bald eagle.[(triple6)] The squirrel sees the bald eagle.[(triple7)] The squirrel sees the cat.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger chases the cat.[(triple10)] The tiger is blue.[(triple11)] The tiger is green.[(triple12)] @1: The bald eagle needs the cat.[(((triple9) -> rule2))] The tiger is big.[(((triple10) -> rule1))] @2: The tiger chases the squirrel.[(((((triple10) -> rule1) triple11) -> rule8))]