Gary is furry. Gary is green. Gary is nice. Kind things are green. All furry things are green.
Gary is not big.
@0: Gary is furry.[(triple1)] Gary is green.[(triple2 OR ((triple1) -> rule2))] Gary is nice.[(triple3)]