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