Dave is not green. Dave is quiet. Dave is smart. Dave is white. Fiona is green. Fiona is not kind. Fiona is quiet. Fiona is white. Harry is cold. Harry is not green. Harry is kind. Harry is quiet. Harry is not round. Harry is smart. Harry is white. Round people are smart. If Harry is green and Harry is not kind then Harry is quiet. All green, smart people are white. If someone is quiet and kind then they are white. All round people are cold. If someone is kind and not smart then they are cold.
Fiona is not cold.
@0: Dave is not green.[(triple1)] Dave is quiet.[(triple2)] Dave is smart.[(triple3)] Dave is white.[(triple4)] Fiona is green.[(triple5)] Fiona is not kind.[(triple6)] Fiona is quiet.[(triple7)] Fiona is white.[(triple8)] Harry is cold.[(triple9)] Harry is kind.[(triple11)] Harry is not green.[(triple10)] Harry is not round.[(triple13)] Harry is quiet.[(triple12)] Harry is smart.[(triple14)] Harry is white.[(triple15 OR ((triple12 triple11) -> rule4))]