The mouse is big. The mouse is blue. The mouse is cold. The mouse is kind. The mouse is round. All kind, cold things are round.
The mouse is blue.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2)] The mouse is cold.[(triple3)] The mouse is kind.[(triple4)] The mouse is round.[(triple5 OR ((triple4 triple3) -> rule1))]