The mouse is blue. The mouse is cold. The mouse is red. The mouse is rough. The mouse is round. Blue people are red.
The mouse does not see the mouse.
@0: The mouse is blue.[(triple1)] The mouse is cold.[(triple2)] The mouse is red.[(triple3 OR ((triple1) -> rule1))] The mouse is rough.[(triple4)] The mouse is round.[(triple5)]