Anne is rough. Charlie is not white. Dave is not cold. Harry is white. If something is green and not white then it is furry. If something is cold and not green then it is furry. All white things are red. If something is cold and not white then it is red. If something is smart then it is not rough. If Harry is white and Harry is furry then Harry is rough. Red things are smart. If Anne is red and Anne is furry then Anne is rough.
Harry is not rough.
@0: Anne is rough.[(triple1)] Charlie is not white.[(triple2)] Dave is not cold.[(triple3)] Harry is white.[(triple4)] @1: Harry is red.[(((triple4) -> rule3))] @2: Harry is smart.[(((((triple4) -> rule3)) -> rule7))] @3: Harry is not rough.[(((((((triple4) -> rule3)) -> rule7)) -> rule5))]