Charlie is blue. Charlie is furry. Charlie is rough. Charlie is young. Gary is furry. Gary is smart. Gary is young. If Gary is red then Gary is furry. If something is smart and furry then it is red.
Charlie is not red.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is rough.[(triple3)] Charlie is young.[(triple4)] Gary is furry.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)] @1: Gary is red.[(((triple6 triple5) -> rule2))]