The mouse likes the rabbit. The mouse needs the rabbit. The rabbit visits the mouse. If the rabbit is kind then the rabbit is not round. If someone needs the mouse then they like the mouse. If someone is red then they do not visit the mouse. Round people are rough. If someone needs the rabbit then they are red. If someone visits the mouse and they like the mouse then the mouse needs the rabbit.
The rabbit does not visit the mouse.
@0: The mouse likes the rabbit.[(triple1)] The mouse needs the rabbit.[(triple2)] The rabbit visits the mouse.[(triple3)] @1: The mouse is red.[(((triple2) -> rule5))] @2: The mouse does not visit the mouse.[(((((triple2) -> rule5)) -> rule3))]