The dog likes the mouse. The dog likes the rabbit. The dog needs the rabbit. The mouse is rough. The mouse likes the dog. The rabbit chases the dog. The rabbit is green. If someone needs the rabbit and they chase the rabbit then they need the mouse. If the dog needs the mouse and the dog is green then the mouse needs the rabbit. If the dog likes the rabbit and the rabbit is kind then the rabbit needs the mouse. If someone needs the rabbit then they are kind. If someone likes the mouse and the mouse chases the dog then they need the dog. If the dog needs the mouse and the dog chases the mouse then the dog is young. If someone is green then they need the rabbit. If someone likes the dog then the dog chases the mouse.
The mouse is not kind.
@0: The dog likes the mouse.[(triple1)] The dog likes the rabbit.[(triple2)] The dog needs the rabbit.[(triple3)] The mouse is rough.[(triple4)] The mouse likes the dog.[(triple5)] The rabbit chases the dog.[(triple6)] The rabbit is green.[(triple7)] @1: The dog chases the mouse.[(((triple5) -> rule8))] The dog is kind.[(((triple3) -> rule4))] The rabbit needs the rabbit.[(((triple7) -> rule7))] @2: The rabbit is kind.[(((((triple7) -> rule7)) -> rule4))] @3: The rabbit needs the mouse.[(((triple2 ((((triple7) -> rule7)) -> rule4)) -> rule3))]