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