Anne is cold. Erin is furry. Erin is kind. If Anne is cold and Anne is white then Anne is young. If Erin is kind then Erin is young. All cold, round people are furry. Nice people are round. If someone is furry then they are nice. If someone is round and furry then they are nice.
Anne is not nice.
@0: Anne is cold.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3)] @1: Erin is nice.[(((triple2) -> rule5))] Erin is young.[(((triple3) -> rule2))] @2: Erin is round.[(((((triple2) -> rule5)) -> rule4))]