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