Anne is big. Anne is cold. Anne is not nice. Anne is not red. Anne is rough. Anne is not smart. Anne is young. Nice people are not rough. All nice people are young. If Anne is big then Anne is not red. If someone is rough and not young then they are big. If someone is red and rough then they are cold. Nice people are cold.
Anne is not big.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is not nice.[(triple3)] Anne is not red.[(triple4 OR ((triple1) -> rule3))] Anne is not smart.[(triple6)] Anne is rough.[(triple5)] Anne is young.[(triple7)]