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