Fiona is big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is white. If Fiona is white and Fiona is quiet then Fiona is green.
Fiona is not white.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is furry.[(triple3)] Fiona is green.[(triple4 OR ((triple7 triple6) -> rule1))] Fiona is kind.[(triple5)] Fiona is quiet.[(triple6)] Fiona is white.[(triple7)]