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