Bob is nice. Charlie is furry. Charlie is not white. Young things are not furry. All young, cold things are round. If something is furry then it is round. If Charlie is furry then Charlie is not nice. If Bob is white and Bob is not furry then Bob is nice. If something is cold and not round then it is white.
Charlie is young.
@0: Bob is nice.[(triple1)] Charlie is furry.[(triple2)] Charlie is not white.[(triple3)] @1: Charlie is not nice.[(((triple2) -> rule4))] Charlie is round.[(((triple2) -> rule3))]