The dog eats the squirrel. The dog is cold. The dog is young. The dog visits the squirrel. The rabbit eats the squirrel. The rabbit is kind. The rabbit is round. The squirrel eats the dog. The squirrel is not kind. The squirrel does not see the dog. The squirrel visits the dog. The squirrel does not visit the rabbit. If someone sees the squirrel and they are kind then the squirrel does not visit the rabbit. If someone visits the squirrel then they do not eat the rabbit. If someone visits the squirrel and the squirrel sees the dog then the squirrel visits the dog. If someone sees the squirrel then they see the dog. If someone sees the squirrel then the squirrel is cold. If the dog eats the rabbit and the rabbit is not round then the dog eats the squirrel.
The rabbit does not see the dog.
@0: The dog eats the squirrel.[(triple1)] The dog is cold.[(triple2)] The dog is young.[(triple3)] The dog visits the squirrel.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit is kind.[(triple6)] The rabbit is round.[(triple7)] The squirrel does not see the dog.[(triple10)] The squirrel does not visit the rabbit.[(triple12)] The squirrel eats the dog.[(triple8)] The squirrel is not kind.[(triple9)] The squirrel visits the dog.[(triple11)] @1: The dog does not eat the rabbit.[(((triple4) -> rule2))]