The mouse is blue. The mouse is cold. The mouse is kind. The mouse is nice. The mouse is rough. All nice people are rough. All kind people are cold.
The mouse is not nice.
@0: The mouse is blue.[(triple1)] The mouse is cold.[(triple2 OR ((triple3) -> rule2))] The mouse is kind.[(triple3)] The mouse is nice.[(triple4)] The mouse is rough.[(triple5 OR ((triple4) -> rule1))]