Gary is big. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is round. Gary is white. If Gary is big and Gary is red then Gary is white.
Gary is not quiet.
@0: Gary is big.[(triple1)] Gary is green.[(triple2)] Gary is kind.[(triple3)] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is round.[(triple6)] Gary is white.[(triple7 OR ((triple1 triple5) -> rule1))]