Fiona is blue. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is smart. All blue, smart people are cold. Cold people are kind.
Fiona is blue.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2 OR ((triple1 triple7) -> rule1))] Fiona is kind.[(triple3 OR ((triple2) -> rule2) OR ((((triple1 triple7) -> rule1)) -> rule2))] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)]