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 does not eat 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)]