Anne is young. Bob is rough. Charlie is white. Gary is white. If Gary is white then Gary is not furry. If something is white and not smart then it is furry. If Charlie is red and Charlie is rough then Charlie is white.
Charlie is not furry.
@0: Anne is young.[(triple1)] Bob is rough.[(triple2)] Charlie is white.[(triple3)] Gary is white.[(triple4)] @1: Gary is not furry.[(((triple4) -> rule1))]