The mouse is red. The mouse is rough. The tiger visits the mouse. If someone sees the mouse and the mouse is red then they are red. If someone visits the mouse then they are rough. If someone sees the tiger then the tiger is young.
The tiger does not visit the tiger.
@0: The mouse is red.[(triple1)] The mouse is rough.[(triple2)] The tiger visits the mouse.[(triple3)] @1: The tiger is rough.[(((triple3) -> rule2))]