Anne is cold. Anne is red. Anne is rough. Harry is furry. Harry is quiet. Harry is red. Harry is rough. If something is quiet and smart then it is rough. Smart, red things are rough. Rough, smart things are cold. All white, rough things are cold. All red, cold things are white. Furry, white things are quiet. Smart, furry things are rough. If something is rough and white then it is cold.
Harry is not white.
@0: Anne is cold.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Harry is furry.[(triple4)] Harry is quiet.[(triple5)] Harry is red.[(triple6)] Harry is rough.[(triple7)] @1: Anne is white.[(((triple2 triple1) -> rule5))]