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