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.
Charlie is not round.
@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))]