Bob is not kind. Fiona is not rough. Gary is not young. Harry is kind. All kind people are quiet. All quiet people are rough. If Harry is rough then Harry is round.
Harry is not rough.
@0: Bob is not kind.[(triple1)] Fiona is not rough.[(triple2)] Gary is not young.[(triple3)] Harry is kind.[(triple4)] @1: Harry is quiet.[(((triple4) -> rule1))] @2: Harry is rough.[(((((triple4) -> rule1)) -> rule2))] @3: Harry is round.[(((((((triple4) -> rule1)) -> rule2)) -> rule3))]