Fiona is big. Fiona is blue. Fiona is not furry. Fiona is kind. Fiona is nice. Fiona is not quiet. Fiona is white. Blue people are kind.
Fiona is quiet.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is kind.[(triple4 OR ((triple2) -> rule1))] Fiona is nice.[(triple5)] Fiona is not furry.[(triple3)] Fiona is not quiet.[(triple6)] Fiona is white.[(triple7)]