Anne is not big. Anne is not cold. Anne is kind. Anne is nice. Anne is quiet. Anne is round. Anne is young. If something is young then it is nice. If Anne is big and Anne is cold then Anne is kind. If something is kind and big then it is cold. If something is young and kind then it is round. Big, cold things are not young. If Anne is young and Anne is not round then Anne is nice. If something is young and not nice then it is quiet. If Anne is big and Anne is not nice then Anne is quiet.
Anne is quiet.
@0: Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple7) -> rule1))] Anne is not big.[(triple1)] Anne is not cold.[(triple2)] Anne is quiet.[(triple5)] Anne is round.[(triple6 OR ((triple7 triple3) -> rule4))] Anne is young.[(triple7)]