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