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