The cat likes the cow. The cat likes the lion. The cat sees the squirrel. The cow chases the squirrel. The cow is blue. The cow is red. The cow is not rough. The cow sees the cat. The lion is not big. The lion is nice. The squirrel chases the lion. The squirrel is big. The squirrel does not like the cow. The squirrel likes the lion. The squirrel sees the cow. The squirrel does not see the lion. If someone likes the cow then the cow does not see the squirrel. If someone likes the squirrel then they do not chase the cow. If someone likes the cow and they do not see the squirrel then the squirrel does not like the cat.
The squirrel sees the squirrel.
@0: The cat likes the cow.[(triple1)] The cat likes the lion.[(triple2)] The cat sees the squirrel.[(triple3)] The cow chases the squirrel.[(triple4)] The cow is blue.[(triple5)] The cow is not rough.[(triple7)] The cow is red.[(triple6)] The cow sees the cat.[(triple8)] The lion is nice.[(triple10)] The lion is not big.[(triple9)] The squirrel chases the lion.[(triple11)] The squirrel does not like the cow.[(triple13)] The squirrel does not see the lion.[(triple16)] The squirrel is big.[(triple12)] The squirrel likes the lion.[(triple14)] The squirrel sees the cow.[(triple15)] @1: The cow does not see the squirrel.[(((triple1) -> rule1))]