Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is round. Fiona is smart. Fiona is young. All round people are green.
Fiona is not smart.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is green.[(triple4 OR ((triple5) -> rule1))] Fiona is round.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)]