Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is not rough. Fiona is round. Fiona is white. If someone is rough and not white then they are quiet. All cold people are quiet. If someone is quiet then they are kind. If someone is quiet and not rough then they are round. If Fiona is cold and Fiona is not quiet then Fiona is round. If Fiona is not quiet then Fiona is kind.
Fiona is cold.
@0: Fiona is cold.[(triple1)] Fiona is kind.[(triple2 OR ((triple3) -> rule3) OR ((((triple1) -> rule2)) -> rule3))] Fiona is not rough.[(triple5)] Fiona is quiet.[(triple3 OR ((triple1) -> rule2))] Fiona is red.[(triple4)] Fiona is round.[(triple6 OR ((triple3 triple5) -> rule4) OR ((((triple1) -> rule2) triple5) -> rule4))] Fiona is white.[(triple7)]