The dog is not rough. The dog sees the tiger. The mouse chases the dog. The mouse needs the dog. The rabbit does not need the dog. The rabbit needs the mouse. The tiger needs the dog. If someone chases the dog then they are not cold. If someone sees the dog and the dog does not need the tiger then they need the rabbit. If someone needs the rabbit then the rabbit is not big. If someone sees the mouse then the mouse is cold. If someone needs the tiger then the tiger does not chase the mouse. All big people are red. If someone chases the mouse and the mouse is kind then they see the dog. If someone is cold and they do not chase the rabbit then the rabbit does not need the mouse.
The mouse needs the dog.
@0: The dog is not rough.[(triple1)] The dog sees the tiger.[(triple2)] The mouse chases the dog.[(triple3)] The mouse needs the dog.[(triple4)] The rabbit does not need the dog.[(triple5)] The rabbit needs the mouse.[(triple6)] The tiger needs the dog.[(triple7)] @1: The mouse is not cold.[(((triple3) -> rule1))]