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