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