The cat does not eat the squirrel. The cat is rough. The cat is young. The cat visits the squirrel. The squirrel eats the cat. The squirrel likes the cat. The squirrel does not visit the cat. If someone eats the cat and they visit the cat then they are green. If someone is round and they do not like the squirrel then they do not visit the cat. If someone visits the cat and the cat eats the squirrel then the squirrel is round. If someone eats the cat and they like the cat then they are not rough. If someone eats the squirrel and they like the cat then the cat does not eat the squirrel. If someone likes the cat and the cat does not like the squirrel then the cat eats the squirrel. If someone is young and green then they are blue. If the squirrel visits the cat and the cat is not green then the cat does not visit the squirrel.
The cat does not eat the squirrel.
@0: The cat does not eat the squirrel.[(triple1)] The cat is rough.[(triple2)] The cat is young.[(triple3)] The cat visits the squirrel.[(triple4)] The squirrel does not visit the cat.[(triple7)] The squirrel eats the cat.[(triple5)] The squirrel likes the cat.[(triple6)] @1: The squirrel is not rough.[(((triple5 triple6) -> rule4))]