Erin is round. Fiona is kind. Gary is white. All rough, cold things are nice. Round things are rough. If Erin is nice and Erin is round then Erin is kind.
Gary is white.
@0: Erin is round.[(triple1)] Fiona is kind.[(triple2)] Gary is white.[(triple3)] @1: Erin is rough.[(((triple1) -> rule2))]