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