Anne is not cold. Anne is furry. Anne is green. Anne is not kind. Anne is nice. Anne is not red. Anne is white. Charlie is not cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is not nice. Charlie is red. Charlie is white. If Anne is nice and Anne is cold then Anne is not white. If someone is white and not cold then they are furry. If someone is nice and not green then they are not furry.
Charlie is not kind.
@0: Anne is furry.[(triple2 OR ((triple7 triple1) -> rule2))] Anne is green.[(triple3)] Anne is nice.[(triple5)] Anne is not cold.[(triple1)] Anne is not kind.[(triple4)] Anne is not red.[(triple6)] Anne is white.[(triple7)] Charlie is furry.[(triple9 OR ((triple14 triple8) -> rule2))] Charlie is green.[(triple10)] Charlie is kind.[(triple11)] Charlie is not cold.[(triple8)] Charlie is not nice.[(triple12)] Charlie is red.[(triple13)] Charlie is white.[(triple14)]