Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is smart. Fiona is white. White, blue people are big. All quiet, cold people are smart.
Fiona is not big.
@0: Fiona is big.[(triple1 OR ((triple7 triple2) -> rule1))] Fiona is blue.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is quiet.[(triple5)] Fiona is smart.[(triple6 OR ((triple5 triple3) -> rule2))] Fiona is white.[(triple7)]