Fiona is big. Fiona is cold. Fiona is furry. Fiona is red. Fiona is smart. Fiona is white. Fiona is young. All smart things are young. Cold things are smart. All white things are young.
Fiona is not big.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is red.[(triple4)] Fiona is smart.[(triple5 OR ((triple2) -> rule2))] Fiona is white.[(triple6)] Fiona is young.[(triple7 OR ((triple5) -> rule1) OR ((triple6) -> rule3) OR ((((triple2) -> rule2)) -> rule1))]