Anne is rough. Anne is young. Charlie is blue. Charlie is cold. Charlie is rough. Harry is not blue. Harry is rough. Harry is round. Harry is white. Harry is young. If someone is blue and not round then they are not rough. If Harry is not blue then Harry is cold. If someone is cold and young then they are furry.
Harry is not furry.
@0: Anne is rough.[(triple1)] Anne is young.[(triple2)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is rough.[(triple5)] Harry is not blue.[(triple6)] Harry is rough.[(triple7)] Harry is round.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Harry is cold.[(((triple6) -> rule2))] @2: Harry is furry.[(((((triple6) -> rule2) triple10) -> rule3))]