Charlie is not rough. Fiona is quiet. Harry is big. Quiet, kind people are not young. All quiet people are kind. If someone is quiet and not big then they are kind. If someone is quiet and not nice then they are round. All kind people are quiet. All nice people are rough. If someone is nice and not round then they are rough. Young people are rough.
Harry is not young.
@0: Charlie is not rough.[(triple1)] Fiona is quiet.[(triple2)] Harry is big.[(triple3)] @1: Fiona is kind.[(((triple2) -> rule2))] @2: Fiona is not young.[(((triple2 ((triple2) -> rule2)) -> rule1))]