Anne is not blue. Anne is furry. Anne is red. Anne is round. Anne is white. Dave is big. Dave is furry. Dave is round. Harry is big. Harry is blue. Harry is red. Harry is white. If something is round then it is big. Big, furry things are cold.
Harry is not cold.
@0: Anne is furry.[(triple2)] Anne is not blue.[(triple1)] Anne is red.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5)] Dave is big.[(triple6 OR ((triple8) -> rule1))] Dave is furry.[(triple7)] Dave is round.[(triple8)] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is red.[(triple11)] Harry is white.[(triple12)] @1: Anne is big.[(((triple4) -> rule1))] Dave is cold.[(((triple6 triple7) -> rule2) OR ((((triple8) -> rule1) triple7) -> rule2))] @2: Anne is cold.[(((((triple4) -> rule1) triple2) -> rule2))]