Anne is quiet. Dave is quiet. Dave is round. Erin is red. Erin is not round. Erin is not young. Fiona is furry. Fiona is not quiet. Fiona is red. Fiona is rough. If Dave is rough then Dave is round. All white, quiet things are red. If something is furry then it is not quiet. If Erin is quiet and Erin is not young then Erin is furry. If something is rough and not round then it is furry. All young things are furry.
Dave is not furry.
@0: Anne is quiet.[(triple1)] Dave is quiet.[(triple2)] Dave is round.[(triple3)] Erin is not round.[(triple5)] Erin is not young.[(triple6)] Erin is red.[(triple4)] Fiona is furry.[(triple7)] Fiona is not quiet.[(triple8 OR ((triple7) -> rule3))] Fiona is red.[(triple9)] Fiona is rough.[(triple10)]