Anne is big. Anne is not blue. Anne is furry. Anne is quiet. Anne is smart. Anne is white. Anne is young. If Anne is not blue then Anne is big. All blue people are not big. If Anne is big and Anne is quiet then Anne is smart.
Anne is not young.
@0: Anne is big.[(triple1 OR ((triple2) -> rule1))] Anne is furry.[(triple3)] Anne is not blue.[(triple2)] Anne is quiet.[(triple4)] Anne is smart.[(triple5 OR ((triple1 triple4) -> rule3) OR ((((triple2) -> rule1) triple4) -> rule3))] Anne is white.[(triple6)] Anne is young.[(triple7)]