Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is white. All cold, blue things are quiet.
Fiona is blue.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is quiet.[(triple5 OR ((triple2 triple1) -> rule1))] Fiona is rough.[(triple6)] Fiona is white.[(triple7)]