The mouse is big. The mouse is blue. The mouse is kind. The mouse is nice. The mouse is round. Round, big people are nice. All kind people are big.
The mouse needs the mouse.
@0: The mouse is big.[(triple1 OR ((triple3) -> rule2))] The mouse is blue.[(triple2)] The mouse is kind.[(triple3)] The mouse is nice.[(triple4 OR ((triple5 triple1) -> rule1) OR ((triple5 ((triple3) -> rule2)) -> rule1))] The mouse is round.[(triple5)]