Gary is big. Gary is furry. Gary is rough. If Gary is rough then Gary is red. Nice things are big.
Gary is not red.
@0: Gary is big.[(triple1)] Gary is furry.[(triple2)] Gary is rough.[(triple3)] @1: Gary is red.[(((triple3) -> rule1))]