The mouse is big. The mouse is cold. The mouse is kind. The mouse is nice. The mouse is young. All young, nice people are kind.
The mouse is not cold.
@0: The mouse is big.[(triple1)] The mouse is cold.[(triple2)] The mouse is kind.[(triple3 OR ((triple5 triple4) -> rule1))] The mouse is nice.[(triple4)] The mouse is young.[(triple5)]