Charlie is smart. Gary is not white. Harry is smart. If Gary is young and Gary is blue then Gary is green. Smart people are not furry. If someone is smart then they are not furry. If Gary is green then Gary is blue. All white people are not green. If Gary is green then Gary is not furry. All red, green people are white. If Gary is smart then Gary is not red.
Harry is not white.
@0: Charlie is smart.[(triple1)] Gary is not white.[(triple2)] Harry is smart.[(triple3)] @1: Charlie is not furry.[(((triple1) -> rule2) OR ((triple1) -> rule3))] Harry is not furry.[(((triple3) -> rule2) OR ((triple3) -> rule3))]