Bob is green. Bob is quiet. Bob is round. Bob is young. Charlie is green. Charlie is kind. Charlie is red. Charlie is white. Charlie is young. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is round. Gary is white. Gary is young. If Gary is red and Gary is round then Gary is young. If Gary is green and Gary is quiet then Gary is young.
Charlie is not white.
@0: Bob is green.[(triple1)] Bob is quiet.[(triple2)] Bob is round.[(triple3)] Bob is young.[(triple4)] Charlie is green.[(triple5)] Charlie is kind.[(triple6)] Charlie is red.[(triple7)] Charlie is white.[(triple8)] Charlie is young.[(triple9)] Gary is green.[(triple10)] Gary is kind.[(triple11)] Gary is quiet.[(triple12)] Gary is red.[(triple13)] Gary is round.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16 OR ((triple10 triple12) -> rule2) OR ((triple13 triple14) -> rule1))]