Fiona is white. Blue people are white. If someone is white then they are quiet. If Fiona is white then Fiona is round. Quiet, round people are big. All kind, rough people are big. If someone is white then they are not blue. If someone is rough and white then they are blue. If Fiona is quiet and Fiona is big then Fiona is not kind.
Fiona is not kind.
@0: Fiona is white.[(triple1)] @1: Fiona is not blue.[(((triple1) -> rule6))] Fiona is quiet.[(((triple1) -> rule2))] Fiona is round.[(((triple1) -> rule3))] @2: Fiona is big.[(((((triple1) -> rule2) ((triple1) -> rule3)) -> rule4))] @3: Fiona is not kind.[(((((triple1) -> rule2) ((((triple1) -> rule2) ((triple1) -> rule3)) -> rule4)) -> rule8))]