Anne is big. Anne is kind. Anne is nice. Anne is not quiet. Anne is white. Gary is kind. Gary is not nice. Rough, kind things are not quiet. If Anne is nice and Anne is white then Anne is rough. If something is rough and not quiet then it is cold.
Anne is quiet.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not quiet.[(triple4 OR ((((triple3 triple5) -> rule2) triple2) -> rule1))] Anne is white.[(triple5)] Gary is kind.[(triple6)] Gary is not nice.[(triple7)] @1: Anne is rough.[(((triple3 triple5) -> rule2))] @2: Anne is cold.[(((((triple3 triple5) -> rule2) triple4) -> rule3) OR ((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2) triple2) -> rule1)) -> rule3))]