Anne is not cold. Anne is furry. Anne is green. Anne is kind. Anne is not quiet. Anne is not round. Anne is white. All white people are kind. All cold, round people are not green. Cold, kind people are quiet. If Anne is white and Anne is round then Anne is not furry. Round people are white. If someone is round and not quiet then they are not furry. All kind people are furry. If someone is round and not green then they are furry.
Anne is green.
@0: Anne is furry.[(triple2 OR ((triple4) -> rule7) OR ((((triple7) -> rule1)) -> rule7))] Anne is green.[(triple3)] Anne is kind.[(triple4 OR ((triple7) -> rule1))] Anne is not cold.[(triple1)] Anne is not quiet.[(triple5)] Anne is not round.[(triple6)] Anne is white.[(triple7)]