The bear chases the mouse. The mouse needs the bear. The rabbit needs the tiger. The tiger is cold. If someone needs the rabbit and they do not visit the rabbit then they are not round. If someone needs the bear then they are not round.
The bear does not visit the bear.
@0: The bear chases the mouse.[(triple1)] The mouse needs the bear.[(triple2)] The rabbit needs the tiger.[(triple3)] The tiger is cold.[(triple4)] @1: The mouse is not round.[(((triple2) -> rule2))]