Fiona is young. Quiet, kind things are big. All quiet things are not red. If Fiona is young then Fiona is not kind. If Fiona is not quiet then Fiona is kind. Big, quiet things are young. If Fiona is not kind then Fiona is white. If something is red and not big then it is not white. If something is quiet and not young then it is white.
Fiona is young.
@0: Fiona is young.[(triple1)] @1: Fiona is not kind.[(((triple1) -> rule3))] @2: Fiona is white.[(((((triple1) -> rule3)) -> rule6))]