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