Fiona is big. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is white. If someone is smart then they are cold. Rough people are cold. If someone is smart then they are big.
Fiona is white.
@0: Fiona is big.[(triple1 OR ((triple6) -> rule3))] Fiona is blue.[(triple2)] Fiona is cold.[(triple3 OR ((triple5) -> rule2) OR ((triple6) -> rule1))] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7)]