Gary is big. Gary is not green. Gary is kind. Gary is not quiet. Gary is rough. Gary is round. Gary is not white. All rough people are kind. All big people are kind. If Gary is quiet and Gary is not rough then Gary is not round. All round, rough people are not green. If Gary is white then Gary is not quiet. If someone is kind and not white then they are big.
Gary is big.
@0: Gary is big.[(triple1 OR ((triple3 triple7) -> rule6) OR ((((triple5) -> rule1) triple7) -> rule6))] Gary is kind.[(triple3 OR ((triple1) -> rule2) OR ((triple5) -> rule1))] Gary is not green.[(triple2 OR ((triple6 triple5) -> rule4))] Gary is not quiet.[(triple4)] Gary is not white.[(triple7)] Gary is rough.[(triple5)] Gary is round.[(triple6)]