The dog needs the squirrel. The dog sees the mouse. The mouse visits the squirrel. The rabbit is cold. The rabbit is nice. The rabbit sees the dog. The rabbit sees the mouse. The rabbit visits the dog. The rabbit visits the mouse. The rabbit visits the squirrel. The squirrel is red. The squirrel needs the dog. The squirrel needs the mouse. The squirrel sees the mouse. The squirrel does not see the rabbit. If something sees the rabbit and it does not need the squirrel then it is kind. If the dog needs the rabbit and the dog does not see the mouse then the mouse is nice. If something is red then it visits the mouse.
The squirrel sees the rabbit.
@0: The dog needs the squirrel.[(triple1)] The dog sees the mouse.[(triple2)] The mouse visits the squirrel.[(triple3)] The rabbit is cold.[(triple4)] The rabbit is nice.[(triple5)] The rabbit sees the dog.[(triple6)] The rabbit sees the mouse.[(triple7)] The rabbit visits the dog.[(triple8)] The rabbit visits the mouse.[(triple9)] The rabbit visits the squirrel.[(triple10)] The squirrel does not see the rabbit.[(triple15)] The squirrel is red.[(triple11)] The squirrel needs the dog.[(triple12)] The squirrel needs the mouse.[(triple13)] The squirrel sees the mouse.[(triple14)] @1: The squirrel visits the mouse.[(((triple11) -> rule3))]