the gripsack is not a argemone.
sent1: if there is something such that it does not guarantee oyabun the oyabun does not trace suburb and it is not quartzose. sent2: the gripsack does not queen gripsack if there is something such that it does not trace suburb and it is non-quartzose. sent3: if the gripsack does not queen gripsack then it is a kind of a argemone. sent4: there is something such that it does not guarantee oyabun.
sent4 & sent1 -> int1: the oyabun does not trace suburb and is not quartzose.; int1 -> int2: something does not trace suburb and it is not quartzose.; int2 & sent2 -> int3: the gripsack does not queen gripsack.; int3 & sent3 -> hypothesis;
$hypothesis$ = the gripsack is not a argemone. ; $context$ = sent1: if there is something such that it does not guarantee oyabun the oyabun does not trace suburb and it is not quartzose. sent2: the gripsack does not queen gripsack if there is something such that it does not trace suburb and it is non-quartzose. sent3: if the gripsack does not queen gripsack then it is a kind of a argemone. sent4: there is something such that it does not guarantee oyabun. ; $proof$ = 
sent4 & sent1 -> int1: the oyabun does not trace suburb and is not quartzose.; int1 -> int2: something does not trace suburb and it is not quartzose.; int2 & sent2 -> int3: the gripsack does not queen gripsack.; int3 & sent3 -> hypothesis; __DISPROVED__