Erin is white. Fiona is kind. Fiona is round. Kind people are quiet. All white, kind people are blue. If Fiona is red then Fiona is kind. If someone is white then they are quiet. If someone is quiet then they are kind. If someone is blue and white then they are quiet. All round, white people are blue. Red people are quiet.
Erin is young.
@0: Erin is white.[(triple1)] Fiona is kind.[(triple2)] Fiona is round.[(triple3)] @1: Erin is quiet.[(((triple1) -> rule4))] Fiona is quiet.[(((triple2) -> rule1))] @2: Erin is kind.[(((((triple1) -> rule4)) -> rule5))] @3: Erin is blue.[(((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule2))]