The mouse is big. The mouse is cold. The mouse is green. The mouse is kind. The mouse is red. If the mouse is red then the mouse is green. All cold things are big.
The mouse visits the mouse.
@0: The mouse is big.[(triple1 OR ((triple2) -> rule2))] The mouse is cold.[(triple2)] The mouse is green.[(triple3 OR ((triple5) -> rule1))] The mouse is kind.[(triple4)] The mouse is red.[(triple5)]