Charlie is kind. Charlie is nice. Charlie is white. Dave is kind. Dave is quiet. Dave is not rough. Fiona is kind. Fiona is not quiet. Fiona is white. Harry is kind. Harry is nice. Harry is quiet. Harry is not rough. Harry is round. Harry is white. All rough people are not red. All round people are kind. If someone is kind and rough then they are not white.
Fiona is round.
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is white.[(triple3)] Dave is kind.[(triple4)] Dave is not rough.[(triple6)] Dave is quiet.[(triple5)] Fiona is kind.[(triple7)] Fiona is not quiet.[(triple8)] Fiona is white.[(triple9)] Harry is kind.[(triple10 OR ((triple14) -> rule2))] Harry is nice.[(triple11)] Harry is not rough.[(triple13)] Harry is quiet.[(triple12)] Harry is round.[(triple14)] Harry is white.[(triple15)]