Anne is cold. Anne is furry. Anne is kind. Anne is rough. Anne is not smart. Anne is not white. Erin is cold. Erin is kind. Harry is not furry. Harry is kind. Harry is quiet. Harry is rough. White people are not cold. If someone is cold and furry then they are not smart. If someone is quiet then they are rough. All rough people are kind. All rough, cold people are furry. White, rough people are furry.
Anne is not rough.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple4 triple1) -> rule5))] Anne is kind.[(triple3 OR ((triple4) -> rule4))] Anne is not smart.[(triple5 OR ((triple1 triple2) -> rule2) OR ((triple1 ((triple4 triple1) -> rule5)) -> rule2))] Anne is not white.[(triple6)] Anne is rough.[(triple4)] Erin is cold.[(triple7)] Erin is kind.[(triple8)] Harry is kind.[(triple10 OR ((triple12) -> rule4) OR ((((triple11) -> rule3)) -> rule4))] Harry is not furry.[(triple9)] Harry is quiet.[(triple11)] Harry is rough.[(triple12 OR ((triple11) -> rule3))]