The mouse visits the rabbit. The rabbit needs the squirrel. The squirrel is cold. If someone needs the squirrel and the squirrel is green then the squirrel needs the rabbit. If someone likes the squirrel and the squirrel is cold then they need the mouse. If someone needs the squirrel then they are cold. If someone visits the mouse and they visit the rabbit then the rabbit visits the mouse. If someone visits the rabbit and they are big then the rabbit visits the mouse. If someone visits the mouse and they are green then they like the rabbit.
The rabbit needs the rabbit.
@0: The mouse visits the rabbit.[(triple1)] The rabbit needs the squirrel.[(triple2)] The squirrel is cold.[(triple3)] @1: The rabbit is cold.[(((triple2) -> rule3))]