Anne is not smart. Anne is white. Dave is quiet. Dave is smart. Harry is not quiet. Harry is rough. Harry is round. Harry is smart. Harry is not white. Harry is young. If someone is round and quiet then they are young. If someone is quiet then they are round. If Dave is rough and Dave is not round then Dave is not white. If someone is rough and not round then they are not white. Big people are white. If someone is white then they are rough.
Anne is smart.
@0: Anne is not smart.[(triple1)] Anne is white.[(triple2)] Dave is quiet.[(triple3)] Dave is smart.[(triple4)] Harry is not quiet.[(triple5)] Harry is not white.[(triple9)] Harry is rough.[(triple6)] Harry is round.[(triple7)] Harry is smart.[(triple8)] Harry is young.[(triple10)] @1: Anne is rough.[(((triple2) -> rule6))] Dave is round.[(((triple3) -> rule2))] @2: Dave is young.[(((((triple3) -> rule2) triple3) -> rule1))]