Anne is cold. Anne is not round. Harry is not cold. Harry is furry. Harry is not nice. Harry is quiet. Harry is rough. Quiet, furry things are young. If something is quiet and not nice then it is young. All quiet, cold things are not round. If something is furry and not cold then it is quiet. If something is rough and not furry then it is not quiet. All nice things are rough.
Harry is rough.
@0: Anne is cold.[(triple1)] Anne is not round.[(triple2)] Harry is furry.[(triple4)] Harry is not cold.[(triple3)] Harry is not nice.[(triple5)] Harry is quiet.[(triple6 OR ((triple4 triple3) -> rule4))] Harry is rough.[(triple7)] @1: Harry is young.[(((triple6 triple4) -> rule1) OR ((triple6 triple5) -> rule2) OR ((((triple4 triple3) -> rule4) triple4) -> rule1) OR ((((triple4 triple3) -> rule4) triple5) -> rule2))]