The lion likes the tiger. The mouse is young. The mouse likes the lion. The mouse visits the squirrel. The squirrel needs the mouse. The squirrel visits the mouse. The tiger is green. If someone is blue then they visit the tiger. If someone visits the lion then they like the mouse. If someone needs the mouse then they like the tiger. If the squirrel visits the tiger and the squirrel is green then the squirrel is red. If someone likes the mouse and the mouse needs the squirrel then they are blue. If someone likes the squirrel and they need the lion then they are blue.
The tiger likes the tiger.
@0: The lion likes the tiger.[(triple1)] The mouse is young.[(triple2)] The mouse likes the lion.[(triple3)] The mouse visits the squirrel.[(triple4)] The squirrel needs the mouse.[(triple5)] The squirrel visits the mouse.[(triple6)] The tiger is green.[(triple7)] @1: The squirrel likes the tiger.[(((triple5) -> rule3))]