Erin is nice. Harry is not cold. Blue people are not green. Young people are green. All young people are cold. All white people are cold. Green people are blue. If someone is green and not young then they are blue. All nice people are blue. If someone is cold then they are furry.
Harry is not blue.
@0: Erin is nice.[(triple1)] Harry is not cold.[(triple2)] @1: Erin is blue.[(((triple1) -> rule7))] @2: Erin is not green.[(((((triple1) -> rule7)) -> rule1))]