Gary is big. Gary is blue. Gary is furry. Gary is not green. Gary is not quiet. Gary is red. Gary is round. If someone is quiet and green then they are blue. All red people are round. Green people are round.
Gary is not furry.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is furry.[(triple3)] Gary is not green.[(triple4)] Gary is not quiet.[(triple5)] Gary is red.[(triple6)] Gary is round.[(triple7 OR ((triple6) -> rule2))]