Charlie is not furry. Charlie is quiet. Charlie is round. Fiona is furry. Fiona is quiet. Fiona is young. Harry is blue. If Fiona is not furry then Fiona is blue. All blue, young people are quiet. If Charlie is quiet and Charlie is round then Charlie is not furry.
Harry is furry.
@0: Charlie is not furry.[(triple1 OR ((triple2 triple3) -> rule3))] Charlie is quiet.[(triple2)] Charlie is round.[(triple3)] Fiona is furry.[(triple4)] Fiona is quiet.[(triple5)] Fiona is young.[(triple6)] Harry is blue.[(triple7)]