Anne is quiet. Erin is furry. Gary is not blue. Harry is not kind. If someone is blue then they are green. Furry, quiet people are blue. All cold people are furry. All quiet people are furry. If someone is furry and kind then they are red. Furry people are not kind.
Anne is blue.
@0: Anne is quiet.[(triple1)] Erin is furry.[(triple2)] Gary is not blue.[(triple3)] Harry is not kind.[(triple4)] @1: Anne is furry.[(((triple1) -> rule4))] Erin is not kind.[(((triple2) -> rule6))] @2: Anne is blue.[(((((triple1) -> rule4) triple1) -> rule2))] Anne is not kind.[(((((triple1) -> rule4)) -> rule6))] @3: Anne is green.[(((((((triple1) -> rule4) triple1) -> rule2)) -> rule1))]