Erin is young. Fiona is quiet. Harry is red. If someone is red then they are young. All white, red people are rough. All red, white people are quiet. Young, big people are white. If Erin is white then Erin is kind. If someone is young then they are quiet.
Fiona is not quiet.
@0: Erin is young.[(triple1)] Fiona is quiet.[(triple2)] Harry is red.[(triple3)] @1: Erin is quiet.[(((triple1) -> rule6))] Harry is young.[(((triple3) -> rule1))] @2: Harry is quiet.[(((((triple3) -> rule1)) -> rule6))]