Gary is big. Gary is furry. Gary is not nice. Gary is quiet. Gary is round. Gary is smart. Gary is white. All nice, round people are white. If Gary is smart and Gary is not nice then Gary is furry.
Gary is smart.
@0: Gary is big.[(triple1)] Gary is furry.[(triple2 OR ((triple6 triple3) -> rule2))] Gary is not nice.[(triple3)] Gary is quiet.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7)]