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