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