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