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