The mouse is big. The mouse is kind. The mouse is nice. The mouse is red. The mouse is round. If someone is red then they are kind. If someone is big and not round then they are kind. All big people are nice.
The mouse does not need the mouse.
@0: The mouse is big.[(triple1)] The mouse is kind.[(triple2 OR ((triple4) -> rule1))] The mouse is nice.[(triple3 OR ((triple1) -> rule3))] The mouse is red.[(triple4)] The mouse is round.[(triple5)]