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