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