The mouse is big. The mouse needs the rabbit. The mouse sees the rabbit. The rabbit is blue. The rabbit needs the mouse. The rabbit sees the mouse. The rabbit visits the mouse. If something visits the rabbit then the rabbit needs the mouse. If something visits the mouse and it sees the rabbit then the rabbit sees the mouse. All blue things are red.
The rabbit is not red.
@0: The mouse is big.[(triple1)] The mouse needs the rabbit.[(triple2)] The mouse sees the rabbit.[(triple3)] The rabbit is blue.[(triple4)] The rabbit needs the mouse.[(triple5)] The rabbit sees the mouse.[(triple6)] The rabbit visits the mouse.[(triple7)] @1: The rabbit is red.[(((triple4) -> rule3))]