Erin is round. Fiona is round. Gary is furry. Harry is round. If something is round and furry then it is red. All cold things are quiet. If something is furry then it is quiet.
Erin is not round.
@0: Erin is round.[(triple1)] Fiona is round.[(triple2)] Gary is furry.[(triple3)] Harry is round.[(triple4)] @1: Gary is quiet.[(((triple3) -> rule3))]