Dave is green. Dave is red. Dave is round. Dave is smart. Dave is white. Dave is young. Gary is green. Gary is quiet. Gary is red. Gary is not round. Gary is smart. Gary is not white. Gary is young. Harry is round. Harry is not smart. Harry is not white. If someone is red then they are quiet. If someone is red and not quiet then they are young.
Harry is young.
@0: Dave is green.[(triple1)] Dave is red.[(triple2)] Dave is round.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5)] Dave is young.[(triple6)] Gary is green.[(triple7)] Gary is not round.[(triple10)] Gary is not white.[(triple12)] Gary is quiet.[(triple8 OR ((triple9) -> rule1))] Gary is red.[(triple9)] Gary is smart.[(triple11)] Gary is young.[(triple13)] Harry is not smart.[(triple15)] Harry is not white.[(triple16)] Harry is round.[(triple14)] @1: Dave is quiet.[(((triple2) -> rule1))]