The mouse is big. The mouse is not green. The mouse is kind. The mouse is rough. The mouse is young. All green people are rough. If the mouse is big then the mouse is kind. If the mouse is green then the mouse is not young. If the mouse is kind and the mouse is rough then the mouse is not green. If the mouse is green then the mouse is not rough. If someone is green and not big then they are kind.
The mouse is kind.
@0: The mouse is big.[(triple1)] The mouse is kind.[(triple3 OR ((triple1) -> rule2))] The mouse is not green.[(triple2 OR ((triple3 triple4) -> rule4) OR ((((triple1) -> rule2) triple4) -> rule4))] The mouse is rough.[(triple4)] The mouse is young.[(triple5)]