Charlie is young. Harry is not round. If something is big then it is kind. If something is young then it is quiet. All kind, round things are quiet. If something is big and not young then it is green. All round things are green. If something is kind and not young then it is round. If something is quiet and young then it is big. If Harry is young and Harry is not big then Harry is not green.
Harry is round.
@0: Charlie is young.[(triple1)] Harry is not round.[(triple2)] @1: Charlie is quiet.[(((triple1) -> rule2))] @2: Charlie is big.[(((((triple1) -> rule2) triple1) -> rule7))] @3: Charlie is kind.[(((((((triple1) -> rule2) triple1) -> rule7)) -> rule1))]