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