The mouse is green. The mouse is red. The mouse is round. If someone is red and young then they are round. All red people are green. If the mouse is red and the mouse is round then the mouse is green.
The mouse is not green.
@0: The mouse is green.[(triple1 OR ((triple2) -> rule2) OR ((triple2 triple3) -> rule3))] The mouse is red.[(triple2)] The mouse is round.[(triple3)]