Charlie is blue. Charlie is quiet. Charlie is rough. Fiona is kind. Harry is blue. Harry is furry. Harry is rough. Kind things are nice.
Fiona is rough.
@0: Charlie is blue.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3)] Fiona is kind.[(triple4)] Harry is blue.[(triple5)] Harry is furry.[(triple6)] Harry is rough.[(triple7)] @1: Fiona is nice.[(((triple4) -> rule1))]