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