Erin is quiet. Gary is young. Harry is white. If someone is kind and green then they are smart. Kind people are white. Red people are young. Young people are green. If someone is quiet and young then they are white. All white people are red. If Erin is green then Erin is smart. All smart people are young.
Gary is quiet.
@0: Erin is quiet.[(triple1)] Gary is young.[(triple2)] Harry is white.[(triple3)] @1: Gary is green.[(((triple2) -> rule4))] Harry is red.[(((triple3) -> rule6))] @2: Harry is young.[(((((triple3) -> rule6)) -> rule3))] @3: Harry is green.[(((((((triple3) -> rule6)) -> rule3)) -> rule4))]