The lion chases the rabbit. The mouse is blue. The rabbit needs the lion. The rabbit needs the mouse. The squirrel chases the mouse. The squirrel is not nice. The squirrel visits the mouse. If someone visits the lion and they are blue then they are nice. If the mouse does not need the rabbit then the rabbit visits the lion. If someone is big and they visit the lion then they need the lion. If someone chases the rabbit then the rabbit visits the squirrel. If someone is red and they do not visit the rabbit then the rabbit needs the lion. If someone visits the mouse then they chase the squirrel. If someone visits the squirrel and the squirrel is blue then they need the mouse. Red people are not kind.
The rabbit needs the lion.
@0: The lion chases the rabbit.[(triple1)] The mouse is blue.[(triple2)] The rabbit needs the lion.[(triple3)] The rabbit needs the mouse.[(triple4)] The squirrel chases the mouse.[(triple5)] The squirrel is not nice.[(triple6)] The squirrel visits the mouse.[(triple7)] @1: The rabbit visits the squirrel.[(((triple1) -> rule4))] The squirrel chases the squirrel.[(((triple7) -> rule6))]