Charlie is cold. Harry is blue. Harry is rough. All quiet people are not round. Kind people are round. If Charlie is cold then Charlie is furry. Quiet, kind people are not furry. If Charlie is rough and Charlie is blue then Charlie is kind. If Harry is round then Harry is rough.
Harry is rough.
@0: Charlie is cold.[(triple1)] Harry is blue.[(triple2)] Harry is rough.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule3))]