Fiona is big. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is not smart. If Fiona is quiet and Fiona is not big then Fiona is kind. If Fiona is rough and Fiona is not big then Fiona is not kind. All cold, big things are rough.
Fiona is not cold.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is kind.[(triple3)] Fiona is nice.[(triple4)] Fiona is not smart.[(triple7)] Fiona is quiet.[(triple5)] Fiona is rough.[(triple6 OR ((triple2 triple1) -> rule3))]