The dog does not eat the squirrel. The dog is blue. The dog is kind. The dog is round. The dog does not need the squirrel. The squirrel eats the dog. The squirrel is rough. The squirrel is round. The squirrel does not need the dog. The squirrel visits the dog. If someone eats the squirrel then they do not visit the dog. If someone eats the squirrel then they visit the dog. If the dog needs the squirrel then the squirrel is blue. If someone needs the squirrel and they are nice then the squirrel is not blue. If someone eats the squirrel then they are nice. If the squirrel is not round and the squirrel does not eat the dog then the dog does not need the squirrel. If someone visits the dog then the dog visits the squirrel. If someone eats the dog and they are not blue then they visit the squirrel.
The squirrel is not round.
@0: The dog does not eat the squirrel.[(triple1)] The dog does not need the squirrel.[(triple5)] The dog is blue.[(triple2)] The dog is kind.[(triple3)] The dog is round.[(triple4)] The squirrel does not need the dog.[(triple9)] The squirrel eats the dog.[(triple6)] The squirrel is rough.[(triple7)] The squirrel is round.[(triple8)] The squirrel visits the dog.[(triple10)] @1: The dog visits the squirrel.[(((triple10) -> rule7))]