Anne is big. Anne is cold. Anne is kind. Anne is nice. Anne is rough. Anne is smart. Anne is white. If someone is kind and not rough then they are not smart. If someone is white and not rough then they are kind. Cold, white people are kind. Kind, smart people are cold. Rough, white people are cold. If Anne is nice and Anne is rough then Anne is kind. If someone is cold and not smart then they are not big. White, nice people are big.
Anne is smart.
@0: Anne is big.[(triple1 OR ((triple7 triple4) -> rule8))] Anne is cold.[(triple2 OR ((triple3 triple6) -> rule4) OR ((triple5 triple7) -> rule5) OR ((((triple4 triple5) -> rule6) triple6) -> rule4))] Anne is kind.[(triple3 OR ((triple2 triple7) -> rule3) OR ((triple4 triple5) -> rule6) OR ((((triple5 triple7) -> rule5) triple7) -> rule3))] Anne is nice.[(triple4)] Anne is rough.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7)]