Anne is quiet. Anne is young. Erin is big. Erin is quiet. Erin is rough. Harry is big. Harry is furry. Harry is not quiet. Harry is rough. Harry is smart. Harry is white. Harry is young. Smart things are young. If something is smart then it is young. If something is rough and not smart then it is furry. All quiet, smart things are furry. All quiet things are rough. All young, smart things are rough. Young, big things are white. If something is quiet and not rough then it is not white.
Anne is quiet.
@0: Anne is quiet.[(triple1)] Anne is young.[(triple2)] Erin is big.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5 OR ((triple4) -> rule5))] Harry is big.[(triple6)] Harry is furry.[(triple7)] Harry is not quiet.[(triple8)] Harry is rough.[(triple9 OR ((triple12 triple10) -> rule6) OR ((((triple10) -> rule1) triple10) -> rule6) OR ((((triple10) -> rule2) triple10) -> rule6))] Harry is smart.[(triple10)] Harry is white.[(triple11 OR ((triple12 triple6) -> rule7) OR ((((triple10) -> rule1) triple6) -> rule7) OR ((((triple10) -> rule2) triple6) -> rule7))] Harry is young.[(triple12 OR ((triple10) -> rule1) OR ((triple10) -> rule2))] @1: Anne is rough.[(((triple1) -> rule5))]