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