The bald eagle chases the squirrel. The bald eagle is red. The squirrel chases the tiger. The squirrel is kind. The squirrel likes the bald eagle. The tiger chases the bald eagle. The tiger is kind. If someone likes the tiger and the tiger likes the squirrel then the squirrel is big. If someone is big then they visit the squirrel. If someone chases the tiger and they are cold then they like the tiger. If the squirrel is red and the squirrel chases the bald eagle then the squirrel visits the tiger. If someone likes the squirrel and the squirrel chases the tiger then they chase the squirrel. If someone is kind then they chase the squirrel.
The bald eagle does not like the tiger.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is red.[(triple2)] The squirrel chases the tiger.[(triple3)] The squirrel is kind.[(triple4)] The squirrel likes the bald eagle.[(triple5)] The tiger chases the bald eagle.[(triple6)] The tiger is kind.[(triple7)] @1: The squirrel chases the squirrel.[(((triple4) -> rule6))] The tiger chases the squirrel.[(((triple7) -> rule6))]