The mouse is cold. If someone is cold then they are young. If someone is cold then they are rough. Blue, rough people are red. Blue, rough people are red. If the mouse is rough then the mouse is red. Blue people are rough. If the mouse is rough and the mouse is young then the mouse is red. All young people are red.
The mouse visits the mouse.
@0: The mouse is cold.[(triple1)] @1: The mouse is rough.[(((triple1) -> rule2))] The mouse is young.[(((triple1) -> rule1))] @2: The mouse is red.[(((((triple1) -> rule1)) -> rule8) OR ((((triple1) -> rule2)) -> rule5) OR ((((triple1) -> rule2) ((triple1) -> rule1)) -> rule7))]