The cow chases the squirrel. The cow does not like the rabbit. The dog is big. The dog is young. The dog likes the squirrel. The rabbit chases the dog. The squirrel likes the dog. If someone is young and they like the cow then the cow does not eat the dog. If someone chases the squirrel and the squirrel does not chase the dog then the dog chases the rabbit. All big people are cold.
The rabbit does not chase the dog.
@0: The cow chases the squirrel.[(triple1)] The cow does not like the rabbit.[(triple2)] The dog is big.[(triple3)] The dog is young.[(triple4)] The dog likes the squirrel.[(triple5)] The rabbit chases the dog.[(triple6)] The squirrel likes the dog.[(triple7)] @1: The dog is cold.[(((triple3) -> rule3))]