The cow chases the squirrel. The cow is big. The cow is not cold. The cow is not rough. The cow is round. The cow needs the squirrel. The cow sees the squirrel. The squirrel does not chase the cow. The squirrel is big. The squirrel is cold. The squirrel is not rough. The squirrel needs the cow. If someone sees the squirrel then they see the cow. If someone sees the cow then they need the cow. If the squirrel is red and the squirrel does not see the cow then the squirrel is not rough. If someone needs the cow and they do not see the cow then they are red. If someone sees the squirrel and they are red then the squirrel does not chase the cow. If the cow is rough and the cow does not chase the squirrel then the squirrel chases the cow. If the squirrel is not big and the squirrel does not need the cow then the cow needs the squirrel. If someone is big and they chase the cow then they are round.
The squirrel needs the squirrel.
@0: The cow chases the squirrel.[(triple1)] The cow is big.[(triple2)] The cow is not cold.[(triple3)] The cow is not rough.[(triple4)] The cow is round.[(triple5)] The cow needs the squirrel.[(triple6)] The cow sees the squirrel.[(triple7)] The squirrel does not chase the cow.[(triple8)] The squirrel is big.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is not rough.[(triple11)] The squirrel needs the cow.[(triple12)] @1: The cow sees the cow.[(((triple7) -> rule1))] @2: The cow needs the cow.[(((((triple7) -> rule1)) -> rule2))]