Charlie is rough. Harry is white. If Charlie is white and Charlie is cold then Charlie is young. All cold, rough things are white. All white things are rough. All blue things are round. If Charlie is blue then Charlie is cold. If Charlie is white and Charlie is blue then Charlie is young.
Harry is white.
@0: Charlie is rough.[(triple1)] Harry is white.[(triple2)] @1: Harry is rough.[(((triple2) -> rule3))]