Fiona is not cold. Fiona is not green. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. If Fiona is quiet and Fiona is smart then Fiona is not cold. If Fiona is nice then Fiona is not cold. If someone is quiet then they are smart.
Fiona is round.
@0: Fiona is nice.[(triple3)] Fiona is not cold.[(triple1 OR ((triple3) -> rule2) OR ((triple4 triple7) -> rule1) OR ((triple4 ((triple4) -> rule3)) -> rule1))] Fiona is not green.[(triple2)] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7 OR ((triple4) -> rule3))]