Anne is not blue. Anne is not green. Bob is kind. Bob is rough. Bob is not round. Gary is blue. Gary is not green. Gary is kind. Gary is rough. Gary is round. Gary is smart. Gary is young. Harry is green. Harry is not kind. Harry is smart. Harry is young. If something is young and not rough then it is kind. If Harry is young then Harry is smart.
Bob is young.
@0: Anne is not blue.[(triple1)] Anne is not green.[(triple2)] Bob is kind.[(triple3)] Bob is not round.[(triple5)] Bob is rough.[(triple4)] Gary is blue.[(triple6)] Gary is kind.[(triple8)] Gary is not green.[(triple7)] Gary is rough.[(triple9)] Gary is round.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)] Harry is green.[(triple13)] Harry is not kind.[(triple14)] Harry is smart.[(triple15 OR ((triple16) -> rule2))] Harry is young.[(triple16)]