Gary is big. Gary is green. Gary is not red. Gary is not round. Gary is smart. Gary is white. Gary is not young. If someone is smart then they are green. Red people are not smart. If someone is round then they are white. If Gary is smart then Gary is not red. All round people are not big. All young people are big. If Gary is big then Gary is not round. If Gary is smart and Gary is not big then Gary is not green.
Gary is smart.
@0: Gary is big.[(triple1)] Gary is green.[(triple2 OR ((triple5) -> rule1))] Gary is not red.[(triple3 OR ((triple5) -> rule4))] Gary is not round.[(triple4 OR ((triple1) -> rule7))] Gary is not young.[(triple7)] Gary is smart.[(triple5)] Gary is white.[(triple6)]