Anne is big. Anne is cold. Anne is kind. Anne is nice. Anne is not round. Anne is smart. Anne is white. If Anne is not kind then Anne is big. If Anne is cold and Anne is kind then Anne is smart. If someone is kind and not nice then they are not white. If someone is nice and not smart then they are not round. If someone is cold and not kind then they are not round. All big people are not round.
Anne is kind.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is not round.[(triple5 OR ((triple1) -> rule6))] Anne is smart.[(triple6 OR ((triple2 triple3) -> rule2))] Anne is white.[(triple7)]