Fiona is big. If someone is quiet then they are white. If Fiona is not white and Fiona is not quiet then Fiona is not big. If someone is big then they are not blue.
Fiona is big.
@0: Fiona is big.[(triple1)] @1: Fiona is not blue.[(((triple1) -> rule3))]