The cat needs the mouse. The mouse needs the rabbit. The rabbit is big. The tiger visits the mouse. If something is cold and it does not visit the cat then the cat visits the mouse. If something is big then it sees the cat. If something is blue then it sees the mouse.
The cat does not see the cat.
@0: The cat needs the mouse.[(triple1)] The mouse needs the rabbit.[(triple2)] The rabbit is big.[(triple3)] The tiger visits the mouse.[(triple4)] @1: The rabbit sees the cat.[(((triple3) -> rule2))]