Charlie is not furry. Charlie is round. Charlie is white. All white things are not red. If Charlie is white and Charlie is quiet then Charlie is rough. If something is white and red then it is quiet. Red, round things are not furry. All round things are not furry. If something is nice then it is round. Quiet things are white. If Charlie is furry and Charlie is rough then Charlie is nice.
Charlie is furry.
@0: Charlie is not furry.[(triple1 OR ((triple2) -> rule5))] Charlie is round.[(triple2)] Charlie is white.[(triple3)] @1: Charlie is not red.[(((triple3) -> rule1))]