Charlie is round. Charlie is smart. Dave is young. Erin is not round. Erin is not smart. Harry is cold. Harry is rough. If someone is young and not green then they are cold. If Harry is smart then Harry is not cold. All round people are young. If someone is smart and not rough then they are quiet. If someone is young then they are quiet. If Dave is smart then Dave is not round.
Erin is not quiet.
@0: Charlie is round.[(triple1)] Charlie is smart.[(triple2)] Dave is young.[(triple3)] Erin is not round.[(triple4)] Erin is not smart.[(triple5)] Harry is cold.[(triple6)] Harry is rough.[(triple7)] @1: Charlie is young.[(((triple1) -> rule3))] Dave is quiet.[(((triple3) -> rule5))] @2: Charlie is quiet.[(((((triple1) -> rule3)) -> rule5))]