Fiona is big. Fiona is blue. Fiona is green. Fiona is quiet. Fiona is not red. Fiona is round. Fiona is not white. If something is white then it is not big. All blue things are quiet.
Fiona is not big.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is green.[(triple3)] Fiona is not red.[(triple5)] Fiona is not white.[(triple7)] Fiona is quiet.[(triple4 OR ((triple2) -> rule2))] Fiona is round.[(triple6)]