Charlie is nice. Charlie is red. Fiona is furry. Fiona is quiet. Gary is young. Harry is furry. Harry is young. If Harry is red then Harry is furry.
Fiona is furry.
@0: Charlie is nice.[(triple1)] Charlie is red.[(triple2)] Fiona is furry.[(triple3)] Fiona is quiet.[(triple4)] Gary is young.[(triple5)] Harry is furry.[(triple6)] Harry is young.[(triple7)]