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