Anne is cold. Anne is furry. Anne is kind. Anne is red. Anne is rough. Anne is white. Anne is young. Dave is cold. Dave is furry. Dave is kind. Dave is red. Dave is not rough. Dave is white. Dave is young. White, cold people are kind. All young people are cold. If someone is rough and not white then they are not cold.
Anne is red.
@0: Anne is cold.[(triple1 OR ((triple7) -> rule2))] Anne is furry.[(triple2)] Anne is kind.[(triple3 OR ((triple6 triple1) -> rule1) OR ((triple6 ((triple7) -> rule2)) -> rule1))] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Dave is cold.[(triple8 OR ((triple14) -> rule2))] Dave is furry.[(triple9)] Dave is kind.[(triple10 OR ((triple13 triple8) -> rule1) OR ((triple13 ((triple14) -> rule2)) -> rule1))] Dave is not rough.[(triple12)] Dave is red.[(triple11)] Dave is white.[(triple13)] Dave is young.[(triple14)]