Fiona is cold. Fiona is green. Fiona is nice. Fiona is not quiet. Fiona is not round. Fiona is smart. Fiona is young. All smart people are young. Round, young people are not green. If someone is nice and round then they are cold. If someone is young and not green then they are cold. If someone is quiet and not young then they are nice. Cold, green people are not quiet.
Fiona is not green.
@0: Fiona is cold.[(triple1)] Fiona is green.[(triple2)] Fiona is nice.[(triple3)] Fiona is not quiet.[(triple4 OR ((triple1 triple2) -> rule6))] Fiona is not round.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7 OR ((triple6) -> rule1))]