The mouse is cold. The mouse is green. The mouse is red. The mouse is rough. The mouse is round. If someone is rough and cold then they are green. If the mouse is rough then the mouse is red.
The mouse does not see the mouse.
@0: The mouse is cold.[(triple1)] The mouse is green.[(triple2 OR ((triple4 triple1) -> rule1))] The mouse is red.[(triple3 OR ((triple4) -> rule2))] The mouse is rough.[(triple4)] The mouse is round.[(triple5)]