Fiona is blue. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is young. Quiet things are nice. All furry things are nice.
Fiona is cold.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is nice.[(triple4 OR ((triple3) -> rule2) OR ((triple5) -> rule1))] Fiona is quiet.[(triple5)] Fiona is rough.[(triple6)] Fiona is young.[(triple7)]