Charlie is quiet. Erin is young. Fiona is quiet. Harry is rough. Young, quiet things are big. If something is rough and not green then it is big. If something is young and not cold then it is not rough. If something is cold and green then it is rough. All young things are quiet. If Charlie is not green and Charlie is not rough then Charlie is not big.
Erin is big.
@0: Charlie is quiet.[(triple1)] Erin is young.[(triple2)] Fiona is quiet.[(triple3)] Harry is rough.[(triple4)] @1: Erin is quiet.[(((triple2) -> rule5))] @2: Erin is big.[(((triple2 ((triple2) -> rule5)) -> rule1))]