The mouse is blue. The mouse is cold. The mouse is kind. The mouse is rough. The mouse is round. If something is cold and round then it is blue.
The mouse is cold.
@0: The mouse is blue.[(triple1 OR ((triple2 triple5) -> rule1))] The mouse is cold.[(triple2)] The mouse is kind.[(triple3)] The mouse is rough.[(triple4)] The mouse is round.[(triple5)]