The cow chases the squirrel. The cow does not eat the squirrel. The cow is big. The cow is not kind. The cow is nice. The cow is rough. The cow visits the squirrel. The squirrel chases the cow. The squirrel does not eat the cow. The squirrel is nice. The squirrel is not rough. The squirrel does not visit the cow. If someone visits the squirrel and the squirrel does not visit the cow then they eat the cow. If the squirrel chases the cow and the squirrel is not red then the cow is red.
The squirrel eats the squirrel.
@0: The cow chases the squirrel.[(triple1)] The cow does not eat the squirrel.[(triple2)] The cow is big.[(triple3)] The cow is nice.[(triple5)] The cow is not kind.[(triple4)] The cow is rough.[(triple6)] The cow visits the squirrel.[(triple7)] The squirrel chases the cow.[(triple8)] The squirrel does not eat the cow.[(triple9)] The squirrel does not visit the cow.[(triple12)] The squirrel is nice.[(triple10)] The squirrel is not rough.[(triple11)] @1: The cow eats the cow.[(((triple7 triple12) -> rule1))]