Erin is quiet. Fiona is rough. Harry is young. If something is rough then it is round. All young things are red.
Harry is not young.
@0: Erin is quiet.[(triple1)] Fiona is rough.[(triple2)] Harry is young.[(triple3)] @1: Fiona is round.[(((triple2) -> rule1))] Harry is red.[(((triple3) -> rule2))]