Anne is not big. Anne is cold. Anne is nice. Anne is quiet. Anne is rough. Anne is not white. Anne is young. Harry is cold. Harry is nice. Harry is quiet. Harry is rough. Harry is white. If something is big and white then it is nice. If something is big and not white then it is nice. All rough, white things are big.
Anne is young.
@0: Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is not big.[(triple1)] Anne is not white.[(triple6)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is young.[(triple7)] Harry is cold.[(triple8)] Harry is nice.[(triple9 OR ((((triple11 triple12) -> rule3) triple12) -> rule1))] Harry is quiet.[(triple10)] Harry is rough.[(triple11)] Harry is white.[(triple12)] @1: Harry is big.[(((triple11 triple12) -> rule3))]