The cow likes the rabbit. The cow likes the squirrel. The rabbit chases the cow. The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is cold. The squirrel eats the cow. The squirrel eats the rabbit. The squirrel is rough. The squirrel likes the cow. If someone is kind and round then they chase the rabbit. All round people are kind. If someone chases the cow and the cow chases the squirrel then the squirrel is rough. If someone likes the cow then they eat the cow. If someone eats the rabbit and the rabbit likes the squirrel then they are round. If the rabbit chases the squirrel and the squirrel chases the cow then the rabbit is rough. If someone is rough and they eat the squirrel then the squirrel chases the rabbit. If someone is kind then they like the rabbit.
The rabbit does not eat the squirrel.
@0: The cow likes the rabbit.[(triple1)] The cow likes the squirrel.[(triple2)] The rabbit chases the cow.[(triple3)] The rabbit chases the squirrel.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit is cold.[(triple6)] The squirrel eats the cow.[(triple7 OR ((triple10) -> rule4))] The squirrel eats the rabbit.[(triple8)] The squirrel is rough.[(triple9)] The squirrel likes the cow.[(triple10)]