The cow eats the dog. The cow eats the squirrel. The cow is cold. The cow is round. The dog eats the cow. The dog eats the squirrel. The dog is cold. The dog is green. The dog is young. The dog likes the cow. The dog likes the squirrel. The dog needs the cow. The squirrel is big. The squirrel likes the dog. The squirrel needs the cow. The squirrel needs the dog. If someone likes the dog and the dog likes the squirrel then they are cold. If someone likes the dog and the dog eats the cow then the cow likes the squirrel.
The dog needs the dog.
@0: The cow eats the dog.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is cold.[(triple3)] The cow is round.[(triple4)] The dog eats the cow.[(triple5)] The dog eats the squirrel.[(triple6)] The dog is cold.[(triple7)] The dog is green.[(triple8)] The dog is young.[(triple9)] The dog likes the cow.[(triple10)] The dog likes the squirrel.[(triple11)] The dog needs the cow.[(triple12)] The squirrel is big.[(triple13)] The squirrel likes the dog.[(triple14)] The squirrel needs the cow.[(triple15)] The squirrel needs the dog.[(triple16)] @1: The cow likes the squirrel.[(((triple14 triple5) -> rule2))] The squirrel is cold.[(((triple14 triple11) -> rule1))]