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