Charlie is cold. Charlie is kind. Charlie is rough. Dave is round. Harry is quiet. Harry is rough. Harry is round. If something is rough then it is round.
Harry is cold.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is rough.[(triple3)] Dave is round.[(triple4)] Harry is quiet.[(triple5)] Harry is rough.[(triple6)] Harry is round.[(triple7 OR ((triple6) -> rule1))] @1: Charlie is round.[(((triple3) -> rule1))]