The cow eats the squirrel. The cow is rough. The cow is young. The cow likes the dog. The cow likes the squirrel. The dog eats the cow. The dog is cold. The dog is kind. The dog is round. The dog likes the squirrel. The dog visits the squirrel. The squirrel eats the cow. The squirrel eats the dog. The squirrel is cold. The squirrel likes the dog. The squirrel visits the dog. If something likes the cow then it is round. If the squirrel likes the dog then the dog is rough.
The dog eats the dog.
@0: The cow eats the squirrel.[(triple1)] The cow is rough.[(triple2)] The cow is young.[(triple3)] The cow likes the dog.[(triple4)] The cow likes the squirrel.[(triple5)] The dog eats the cow.[(triple6)] The dog is cold.[(triple7)] The dog is kind.[(triple8)] The dog is round.[(triple9)] The dog likes the squirrel.[(triple10)] The dog visits the squirrel.[(triple11)] The squirrel eats the cow.[(triple12)] The squirrel eats the dog.[(triple13)] The squirrel is cold.[(triple14)] The squirrel likes the dog.[(triple15)] The squirrel visits the dog.[(triple16)] @1: The dog is rough.[(((triple15) -> rule2))]