Bob is not green. Bob is quiet. Bob is round. Gary is green. Gary is kind. Gary is not quiet. Gary is rough. Gary is round. Gary is not white. Gary is young. If someone is quiet and green then they are rough. If someone is rough and green then they are young. All green, rough people are young.
Gary is kind.
@0: Bob is not green.[(triple1)] Bob is quiet.[(triple2)] Bob is round.[(triple3)] Gary is green.[(triple4)] Gary is kind.[(triple5)] Gary is not quiet.[(triple6)] Gary is not white.[(triple9)] Gary is rough.[(triple7)] Gary is round.[(triple8)] Gary is young.[(triple10 OR ((triple4 triple7) -> rule3) OR ((triple7 triple4) -> rule2))]