The mouse is blue. The mouse is cold. The mouse is green. The mouse is kind. The mouse is rough. If the mouse is cold and the mouse is not blue then the mouse is not kind. All kind, cold people are green. If someone is blue then they are rough.
The mouse does not eat the mouse.
@0: The mouse is blue.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3 OR ((triple4 triple2) -> rule2))] The mouse is kind.[(triple4)] The mouse is rough.[(triple5 OR ((triple1) -> rule3))]