Erin is not green. Erin is white. Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is not white. Harry is not cold. Harry is green. Harry is nice. Harry is quiet. Harry is red. Harry is not smart. Harry is white. Cold things are nice. If Harry is not white and Harry is not smart then Harry is not quiet.
Fiona is not nice.
@0: Erin is not green.[(triple1)] Erin is white.[(triple2)] Fiona is cold.[(triple3)] Fiona is green.[(triple4)] Fiona is nice.[(triple5 OR ((triple3) -> rule1))] Fiona is not white.[(triple9)] Fiona is quiet.[(triple6)] Fiona is red.[(triple7)] Fiona is smart.[(triple8)] Harry is green.[(triple11)] Harry is nice.[(triple12)] Harry is not cold.[(triple10)] Harry is not smart.[(triple15)] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is white.[(triple16)]