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 does not eat the mouse.
@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)]