Gary is big. Gary is blue. Gary is cold. Gary is quiet. Gary is not round. Gary is smart. Gary is young. If Gary is cold and Gary is not smart then Gary is blue. If someone is cold and not smart then they are big. All young people are blue. Big people are quiet. If someone is smart and not big then they are quiet. If someone is big and not quiet then they are round.
Gary is big.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2 OR ((triple7) -> rule3))] Gary is cold.[(triple3)] Gary is not round.[(triple5)] Gary is quiet.[(triple4 OR ((triple1) -> rule4))] Gary is smart.[(triple6)] Gary is young.[(triple7)]