Fiona is blue. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is not round. Fiona is white. If something is round then it is cold. All cold, round things are red. Red things are blue.
Fiona is blue.
@0: Fiona is blue.[(triple1 OR ((triple5) -> rule3))] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is not round.[(triple6)] Fiona is quiet.[(triple4)] Fiona is red.[(triple5)] Fiona is white.[(triple7)]