The mouse is blue. The mouse is not cold. The mouse is not kind. The mouse is red. The mouse is round. If something is cold then it is not red. All round things are blue. If the mouse is cold then the mouse is red.
The mouse does not eat the mouse.
@0: The mouse is blue.[(triple1 OR ((triple5) -> rule2))] The mouse is not cold.[(triple2)] The mouse is not kind.[(triple3)] The mouse is red.[(triple4)] The mouse is round.[(triple5)]