The mouse is big. The mouse is blue. The mouse is kind. The mouse is red. The mouse is round. Big people are kind.
The mouse is blue.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2)] The mouse is kind.[(triple3 OR ((triple1) -> rule1))] The mouse is red.[(triple4)] The mouse is round.[(triple5)]