Fiona is rough. If Fiona is not rough then Fiona is not white. If Fiona is red and Fiona is not rough then Fiona is not white. All rough things are not quiet. If Fiona is not quiet then Fiona is smart. Smart, rough things are white. If Fiona is smart then Fiona is big.
Fiona is not quiet.
@0: Fiona is rough.[(triple1)] @1: Fiona is not quiet.[(((triple1) -> rule3))] @2: Fiona is smart.[(((((triple1) -> rule3)) -> rule4))] @3: Fiona is big.[(((((((triple1) -> rule3)) -> rule4)) -> rule6))] Fiona is white.[(((((((triple1) -> rule3)) -> rule4) triple1) -> rule5))]