The cat does not eat the squirrel. The cat is nice. The cat is not rough. The cat does not need the squirrel. The cow does not eat the squirrel. The cow is round. The cow needs the cat. The cow needs the squirrel. The cow visits the squirrel. The squirrel eats the cat. The squirrel eats the cow. The squirrel is not big. The squirrel needs the cat. The squirrel does not need the cow. The squirrel visits the cow. If someone is big and they need the cat then the cat needs the squirrel. If someone visits the squirrel and they are nice then the squirrel is nice. If the cat eats the cow and the cat is nice then the cat is big. If someone visits the squirrel then they visit the cat. If someone is rough and round then they visit the squirrel. If someone is blue then they need the cat.
The cat is not big.
@0: The cat does not eat the squirrel.[(triple1)] The cat does not need the squirrel.[(triple4)] The cat is nice.[(triple2)] The cat is not rough.[(triple3)] The cow does not eat the squirrel.[(triple5)] The cow is round.[(triple6)] The cow needs the cat.[(triple7)] The cow needs the squirrel.[(triple8)] The cow visits the squirrel.[(triple9)] The squirrel does not need the cow.[(triple14)] The squirrel eats the cat.[(triple10)] The squirrel eats the cow.[(triple11)] The squirrel is not big.[(triple12)] The squirrel needs the cat.[(triple13)] The squirrel visits the cow.[(triple15)] @1: The cow visits the cat.[(((triple9) -> rule4))]