Anne is big. Anne is not blue. Anne is kind. Anne is not nice. Anne is quiet. Anne is not rough. Anne is not young. If someone is nice and not big then they are not kind. If someone is quiet then they are not rough.
Anne is not big.
@0: Anne is big.[(triple1)] Anne is kind.[(triple3)] Anne is not blue.[(triple2)] Anne is not nice.[(triple4)] Anne is not rough.[(triple6 OR ((triple5) -> rule2))] Anne is not young.[(triple7)] Anne is quiet.[(triple5)]