The bald eagle is cold. The bald eagle is red. The cow chases the bald eagle. The cow chases the squirrel. The cow is round. The cow likes the rabbit. The cow likes the squirrel. The rabbit sees the cow. The squirrel chases the rabbit. The squirrel sees the cow. If someone chases the rabbit and they are cold then they are round. If someone likes the squirrel then they see the rabbit.
The bald eagle chases the squirrel.
@0: The bald eagle is cold.[(triple1)] The bald eagle is red.[(triple2)] The cow chases the bald eagle.[(triple3)] The cow chases the squirrel.[(triple4)] The cow is round.[(triple5)] The cow likes the rabbit.[(triple6)] The cow likes the squirrel.[(triple7)] The rabbit sees the cow.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel sees the cow.[(triple10)] @1: The cow sees the rabbit.[(((triple7) -> rule2))]