The cat does not chase the cow. The cat does not eat the squirrel. The cat is nice. The cat is young. The cat needs the squirrel. The cow eats the squirrel. The cow does not need the squirrel. The squirrel chases the cat. The squirrel does not chase the cow. The squirrel does not eat the cat. The squirrel eats the cow. The squirrel needs the cat. If someone needs the cow and the cow is rough then the cow does not eat the cat. If the squirrel does not chase the cow then the cow is not young. All rough people are nice. If someone is red then they eat the cat. If someone is red then they chase the cat. If someone needs the squirrel and they are not blue then the squirrel eats the cat.
The cat does not chase the cat.
@0: The cat does not chase the cow.[(triple1)] The cat does not eat the squirrel.[(triple2)] The cat is nice.[(triple3)] The cat is young.[(triple4)] The cat needs the squirrel.[(triple5)] The cow does not need the squirrel.[(triple7)] The cow eats the squirrel.[(triple6)] The squirrel chases the cat.[(triple8)] The squirrel does not chase the cow.[(triple9)] The squirrel does not eat the cat.[(triple10)] The squirrel eats the cow.[(triple11)] The squirrel needs the cat.[(triple12)] @1: The cow is not young.[(((triple9) -> rule2))]