Gary is big. Gary is blue. Gary is not furry. Gary is kind. Gary is quiet. Gary is red. Gary is round. If something is big and furry then it is red. All kind things are big.
Gary is not furry.
@0: Gary is big.[(triple1 OR ((triple4) -> rule2))] Gary is blue.[(triple2)] Gary is kind.[(triple4)] Gary is not furry.[(triple3)] Gary is quiet.[(triple5)] Gary is red.[(triple6)] Gary is round.[(triple7)]