Fiona is kind. If Fiona is kind then Fiona is quiet. If something is quiet then it is not round. All quiet things are smart. All round things are blue. If Fiona is not round then Fiona is young. If Fiona is blue and Fiona is round then Fiona is young.
Fiona is not quiet.
@0: Fiona is kind.[(triple1)] @1: Fiona is quiet.[(((triple1) -> rule1))] @2: Fiona is not round.[(((((triple1) -> rule1)) -> rule2))] Fiona is smart.[(((((triple1) -> rule1)) -> rule3))] @3: Fiona is young.[(((((((triple1) -> rule1)) -> rule2)) -> rule5))]