Gary is furry. Gary is green. Gary is nice. If Gary is red and Gary is not furry then Gary is green. If someone is green then they are quiet. If Gary is big and Gary is furry then Gary is quiet.
Gary is big.
@0: Gary is furry.[(triple1)] Gary is green.[(triple2)] Gary is nice.[(triple3)] @1: Gary is quiet.[(((triple2) -> rule2))]