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