Fiona is not big. Fiona is blue. Fiona is cold. Fiona is not furry. Fiona is green. Fiona is not round. Fiona is smart. All cold things are smart. If something is round then it is big. If Fiona is furry and Fiona is not blue then Fiona is cold.
Fiona is not furry.
@0: Fiona is blue.[(triple2)] Fiona is cold.[(triple3)] Fiona is green.[(triple5)] Fiona is not big.[(triple1)] Fiona is not furry.[(triple4)] Fiona is not round.[(triple6)] Fiona is smart.[(triple7 OR ((triple3) -> rule1))]