The cow chases the squirrel. The cow is young. The dog chases the rabbit. The dog chases the squirrel. The dog eats the rabbit. The dog is rough. The dog sees the rabbit. The dog sees the squirrel. The rabbit is nice. The rabbit is round. The rabbit sees the cow. The rabbit sees the dog. The squirrel eats the rabbit. The squirrel is big. The squirrel is rough. If the rabbit is round then the rabbit chases the squirrel. If someone eats the squirrel and the squirrel sees the rabbit then the rabbit is round. If someone chases the dog and the dog is young then they eat the squirrel. If the dog is round and the dog chases the cow then the cow chases the rabbit. If someone chases the dog and the dog is round then the dog chases the cow. If the squirrel sees the cow then the cow is nice. If the cow eats the dog then the dog is round. If someone is rough and big then they chase the rabbit.
The cow does not eat the squirrel.
@0: The cow chases the squirrel.[(triple1)] The cow is young.[(triple2)] The dog chases the rabbit.[(triple3)] The dog chases the squirrel.[(triple4)] The dog eats the rabbit.[(triple5)] The dog is rough.[(triple6)] The dog sees the rabbit.[(triple7)] The dog sees the squirrel.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is round.[(triple10)] The rabbit sees the cow.[(triple11)] The rabbit sees the dog.[(triple12)] The squirrel eats the rabbit.[(triple13)] The squirrel is big.[(triple14)] The squirrel is rough.[(triple15)] @1: The rabbit chases the squirrel.[(((triple10) -> rule1))] The squirrel chases the rabbit.[(((triple15 triple14) -> rule8))]