Erin is white. Harry is not white. If someone is kind then they are round. If someone is smart and white then they are round. Smart people are quiet. If someone is white then they are blue. If someone is blue then they are kind. If Erin is not blue then Erin is not quiet.
Erin is not blue.
@0: Erin is white.[(triple1)] Harry is not white.[(triple2)] @1: Erin is blue.[(((triple1) -> rule4))] @2: Erin is kind.[(((((triple1) -> rule4)) -> rule5))] @3: Erin is round.[(((((((triple1) -> rule4)) -> rule5)) -> rule1))]