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