Fiona is big. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. If something is nice then it is rough. Smart, rough things are quiet.
Fiona is not big.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is nice.[(triple3)] Fiona is quiet.[(triple4 OR ((triple7 triple5) -> rule2) OR ((triple7 ((triple3) -> rule1)) -> rule2))] Fiona is rough.[(triple5 OR ((triple3) -> rule1))] Fiona is round.[(triple6)] Fiona is smart.[(triple7)]