Fiona is green. Fiona is kind. Fiona is quiet. If someone is round and not quiet then they are not white. All quiet people are white. If someone is round and not quiet then they are white. If someone is quiet and white then they are round. All round people are young. If Fiona is green and Fiona is not kind then Fiona is young.
Fiona is not round.
@0: Fiona is green.[(triple1)] Fiona is kind.[(triple2)] Fiona is quiet.[(triple3)] @1: Fiona is white.[(((triple3) -> rule2))] @2: Fiona is round.[(((triple3 ((triple3) -> rule2)) -> rule4))] @3: Fiona is young.[(((((triple3 ((triple3) -> rule2)) -> rule4)) -> rule5))]