Dave is not rough. Erin is quiet. Fiona is kind. If someone is round then they are smart. Round people are smart. If someone is kind then they are round. All round people are rough. If someone is kind and not young then they are rough. If someone is kind and rough then they are not quiet. If Dave is young then Dave is not quiet. If Fiona is not round then Fiona is not quiet.
Erin is round.
@0: Dave is not rough.[(triple1)] Erin is quiet.[(triple2)] Fiona is kind.[(triple3)] @1: Fiona is round.[(((triple3) -> rule3))] @2: Fiona is rough.[(((((triple3) -> rule3)) -> rule4))] Fiona is smart.[(((((triple3) -> rule3)) -> rule1) OR ((((triple3) -> rule3)) -> rule2))] @3: Fiona is not quiet.[(((triple3 ((((triple3) -> rule3)) -> rule4)) -> rule6))]