Bob is smart. Erin is quiet. Fiona is green. All young, round people are kind. If Bob is round then Bob is kind. If Bob is nice then Bob is green. If someone is green then they are young. If someone is nice and young then they are quiet. If someone is young then they are nice.
Erin is young.
@0: Bob is smart.[(triple1)] Erin is quiet.[(triple2)] Fiona is green.[(triple3)] @1: Fiona is young.[(((triple3) -> rule4))] @2: Fiona is nice.[(((((triple3) -> rule4)) -> rule6))] @3: Fiona is quiet.[(((((((triple3) -> rule4)) -> rule6) ((triple3) -> rule4)) -> rule5))]