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