Charlie is furry. Charlie is white. Charlie is young. Harry is furry. Harry is quiet. Harry is not red. Harry is not round. Harry is smart. Harry is white. Harry is young. If something is white and not smart then it is red. White, round things are not furry. All white things are quiet.
Charlie is smart.
@0: Charlie is furry.[(triple1)] Charlie is white.[(triple2)] Charlie is young.[(triple3)] Harry is furry.[(triple4)] Harry is not red.[(triple6)] Harry is not round.[(triple7)] Harry is quiet.[(triple5 OR ((triple9) -> rule3))] Harry is smart.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Charlie is quiet.[(((triple2) -> rule3))]