Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is round. Fiona is smart. Fiona is white. If someone is green and round then they are blue. If someone is cold and round then they are white.
Fiona is white.
@0: Fiona is blue.[(triple1 OR ((triple4 triple5) -> rule1))] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is green.[(triple4)] Fiona is round.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7 OR ((triple2 triple5) -> rule2))]