The dog chases the squirrel. The dog needs the squirrel. The mouse chases the dog. The mouse is not red. The mouse likes the squirrel. The mouse needs the squirrel. The squirrel is green. The squirrel is kind. The squirrel needs the dog. The squirrel needs the mouse. If the dog needs the squirrel and the squirrel does not need the mouse then the squirrel does not like the mouse. If something likes the mouse then it is green. If something likes the dog and it likes the mouse then the dog does not like the mouse. If the dog chases the squirrel then the dog likes the squirrel. If the mouse is big and the mouse is kind then the mouse chases the squirrel. If something is kind and it does not need the mouse then it likes the squirrel.
The squirrel is big.
@0: The dog chases the squirrel.[(triple1)] The dog needs the squirrel.[(triple2)] The mouse chases the dog.[(triple3)] The mouse is not red.[(triple4)] The mouse likes the squirrel.[(triple5)] The mouse needs the squirrel.[(triple6)] The squirrel is green.[(triple7)] The squirrel is kind.[(triple8)] The squirrel needs the dog.[(triple9)] The squirrel needs the mouse.[(triple10)] @1: The dog likes the squirrel.[(((triple1) -> rule4))]