Fiona is big. Fiona is cold. Fiona is green. Fiona is nice. Fiona is smart. Fiona is white. Fiona is young. If someone is cold then they are big.
Fiona is not nice.
@0: Fiona is big.[(triple1 OR ((triple2) -> rule1))] Fiona is cold.[(triple2)] Fiona is green.[(triple3)] Fiona is nice.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)]