Bob is not big. Bob is red. Bob is round. Charlie is big. Charlie is not red. Charlie is rough. Charlie is white. Gary is big. Gary is green. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is white. Harry is quiet. Harry is white. If Charlie is not round then Charlie is not quiet. Round, quiet people are white. If someone is white and not big then they are not red.
Harry is big.
@0: Bob is not big.[(triple1)] Bob is red.[(triple2)] Bob is round.[(triple3)] Charlie is big.[(triple4)] Charlie is not red.[(triple5)] Charlie is rough.[(triple6)] Charlie is white.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] Gary is round.[(triple13)] Gary is white.[(triple14 OR ((triple13 triple10) -> rule2))] Harry is quiet.[(triple15)] Harry is white.[(triple16)]