Dave is not young. Erin is big. Harry is round. All rough, cold things are young. All big things are rough.
Harry is round.
@0: Dave is not young.[(triple1)] Erin is big.[(triple2)] Harry is round.[(triple3)] @1: Erin is rough.[(((triple2) -> rule2))]