Fiona is big. Fiona is cold. Fiona is not furry. Fiona is kind. Fiona is rough. Fiona is round. Fiona is white. If Fiona is big then Fiona is cold. If something is cold then it is big.
Fiona is not cold.
@0: Fiona is big.[(triple1 OR ((triple2) -> rule2))] Fiona is cold.[(triple2 OR ((triple1) -> rule1))] Fiona is kind.[(triple4)] Fiona is not furry.[(triple3)] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)]