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