Bob is rough. Charlie is white. Harry is cold. Furry, white things are round. If something is cold then it is smart. Rough, nice things are round. All furry, round things are cold. If Charlie is nice and Charlie is round then Charlie is rough. If Charlie is furry then Charlie is smart.
Charlie is white.
@0: Bob is rough.[(triple1)] Charlie is white.[(triple2)] Harry is cold.[(triple3)] @1: Harry is smart.[(((triple3) -> rule2))]