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