The mouse is big. The mouse is kind. The mouse is nice. The mouse is round. The mouse is not young. If the mouse is big and the mouse is nice then the mouse is kind. All round, big people are kind. If the mouse is not nice then the mouse is round.
The mouse does not eat the mouse.
@0: The mouse is big.[(triple1)] The mouse is kind.[(triple2 OR ((triple1 triple3) -> rule1) OR ((triple4 triple1) -> rule2))] The mouse is nice.[(triple3)] The mouse is not young.[(triple5)] The mouse is round.[(triple4)]