Charlie is not blue. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. Dave is blue. Dave is green. Dave is rough. Gary is blue. Gary is not green. Gary is quiet. Gary is smart. Gary is white. Gary is young. Green, rough people are white. All smart, rough people are white. If someone is white and not blue then they are young. If Dave is young and Dave is green then Dave is rough. If Charlie is blue then Charlie is not smart. All white, blue people are smart. If Gary is quiet and Gary is white then Gary is young. If someone is young and not white then they are quiet.
Dave is not quiet.
@0: Charlie is not blue.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5 OR ((triple4 triple3) -> rule2))] Charlie is young.[(triple6 OR ((triple5 triple1) -> rule3) OR ((((triple4 triple3) -> rule2) triple1) -> rule3))] Dave is blue.[(triple7)] Dave is green.[(triple8)] Dave is rough.[(triple9)] Gary is blue.[(triple10)] Gary is not green.[(triple11)] Gary is quiet.[(triple12)] Gary is smart.[(triple13 OR ((triple14 triple10) -> rule6))] Gary is white.[(triple14)] Gary is young.[(triple15 OR ((triple12 triple14) -> rule7))] @1: Dave is white.[(((triple8 triple9) -> rule1))] @2: Dave is smart.[(((((triple8 triple9) -> rule1) triple7) -> rule6))]