The mouse is big. The mouse is green. The mouse is kind. The mouse is not red. The mouse is round. If the mouse is not red and the mouse is not round then the mouse is green. If the mouse is red then the mouse is green. If something is red then it is not big. If something is kind and not red then it is big. Round things are kind. All big, red things are not kind. All big, red things are not green. If the mouse is not round then the mouse is not big.
The mouse is not green.
@0: The mouse is big.[(triple1 OR ((triple3 triple4) -> rule4) OR ((((triple5) -> rule5) triple4) -> rule4))] The mouse is green.[(triple2)] The mouse is kind.[(triple3 OR ((triple5) -> rule5))] The mouse is not red.[(triple4)] The mouse is round.[(triple5)]