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