The cow chases the squirrel. The cow eats the squirrel. The cow is big. The cow is kind. The cow is not nice. The cow is rough. The cow is young. The cow does not like the squirrel. The squirrel chases the cow. The squirrel does not eat the cow. The squirrel is big. The squirrel is kind. The squirrel is nice. The squirrel is not rough. The squirrel is young. The squirrel likes the cow. If the cow likes the squirrel and the squirrel does not like the cow then the cow is not young. If someone chases the cow then the cow is big. If someone likes the squirrel and they do not eat the cow then the cow is not kind. If someone eats the squirrel and the squirrel chases the cow then they chase the cow. If someone likes the squirrel and the squirrel eats the cow then they are not kind. If someone is nice and they do not chase the cow then they chase the squirrel.
The squirrel likes the cow.
@0: The cow chases the squirrel.[(triple1)] The cow does not like the squirrel.[(triple8)] The cow eats the squirrel.[(triple2)] The cow is big.[(triple3 OR ((triple9) -> rule2) OR ((((triple2 triple9) -> rule4)) -> rule2))] The cow is kind.[(triple4)] The cow is not nice.[(triple5)] The cow is rough.[(triple6)] The cow is young.[(triple7)] The squirrel chases the cow.[(triple9)] The squirrel does not eat the cow.[(triple10)] The squirrel is big.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is not rough.[(triple14)] The squirrel is young.[(triple15)] The squirrel likes the cow.[(triple16)] @1: The cow chases the cow.[(((triple2 triple9) -> rule4))]