Erin is white. Fiona is red. Kind, quiet people are white. All white people are kind. All white people are blue. Quiet, kind people are blue. If someone is blue and red then they are not young. All quiet people are red. If Erin is white and Erin is kind then Erin is red. If someone is young and not blue then they are cold.
Erin is quiet.
@0: Erin is white.[(triple1)] Fiona is red.[(triple2)] @1: Erin is blue.[(((triple1) -> rule3))] Erin is kind.[(((triple1) -> rule2))] @2: Erin is red.[(((triple1 ((triple1) -> rule2)) -> rule7))] @3: Erin is not young.[(((((triple1) -> rule3) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule5))]