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