Charlie is nice. Charlie is not red. Charlie is rough. If something is nice then it is quiet. If Charlie is young then Charlie is blue. If something is nice and not red then it is young. If something is blue and not young then it is furry. All blue things are not furry. If something is nice and not quiet then it is blue. Red things are not blue. If something is red and not furry then it is rough.
Charlie is not nice.
@0: Charlie is nice.[(triple1)] Charlie is not red.[(triple2)] Charlie is rough.[(triple3)] @1: Charlie is quiet.[(((triple1) -> rule1))] Charlie is young.[(((triple1 triple2) -> rule3))] @2: Charlie is blue.[(((((triple1 triple2) -> rule3)) -> rule2))] @3: Charlie is not furry.[(((((((triple1 triple2) -> rule3)) -> rule2)) -> rule5))]