Bob is not blue. Bob is green. Bob is quiet. Bob is rough. Bob is white. Charlie is not blue. Charlie is cold. Charlie is green. Charlie is rough. Gary is blue. Gary is cold. Gary is rough. Gary is white. Gary is young. Harry is green. Harry is young. All green, quiet things are white. Rough, blue things are not quiet.
Harry is not white.
@0: Bob is green.[(triple2)] Bob is not blue.[(triple1)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5 OR ((triple2 triple3) -> rule1))] Charlie is cold.[(triple7)] Charlie is green.[(triple8)] Charlie is not blue.[(triple6)] Charlie is rough.[(triple9)] Gary is blue.[(triple10)] Gary is cold.[(triple11)] Gary is rough.[(triple12)] Gary is white.[(triple13)] Gary is young.[(triple14)] Harry is green.[(triple15)] Harry is young.[(triple16)] @1: Gary is not quiet.[(((triple12 triple10) -> rule2))]