the anatotitan is not irrelevant.
sent1: the anatotitan is a coinsurance. sent2: the fact that the anatotitan is a wardenship and it is a alphabetizer does not hold if the guidebook is not a totemist. sent3: the guidebook is not a totemist. sent4: the delavirdine is not austenitic. sent5: if the fact that something is a wardenship and a alphabetizer does not hold it is not austenitic. sent6: something is not austenitic if the fact that it is a kind of a coinsurance and is austenitic is wrong. sent7: if the guidebook is not austenitic the fact that the anatotitan is irrelevant and it is a totemist is not wrong. sent8: if that the anatotitan is a kind of a totemist and it is a wardenship is not correct it is not a alphabetizer. sent9: the anatotitan is not irrelevant if it is both not austenitic and a coinsurance.
sent2 & sent3 -> int1: that the fact that the anatotitan is a kind of a wardenship and is a kind of a alphabetizer is correct does not hold.; sent5 -> int2: if that the anatotitan is a wardenship and a alphabetizer is not true it is not austenitic.; int1 & int2 -> int3: the anatotitan is not austenitic.; int3 & sent1 -> int4: the anatotitan is not austenitic but it is a coinsurance.; int4 & sent9 -> hypothesis;
the anatotitan is irrelevant.
sent6 -> int5: if that the guidebook is a coinsurance that is austenitic is wrong then it is not austenitic.;
$hypothesis$ = the anatotitan is not irrelevant. ; $context$ = sent1: the anatotitan is a coinsurance. sent2: the fact that the anatotitan is a wardenship and it is a alphabetizer does not hold if the guidebook is not a totemist. sent3: the guidebook is not a totemist. sent4: the delavirdine is not austenitic. sent5: if the fact that something is a wardenship and a alphabetizer does not hold it is not austenitic. sent6: something is not austenitic if the fact that it is a kind of a coinsurance and is austenitic is wrong. sent7: if the guidebook is not austenitic the fact that the anatotitan is irrelevant and it is a totemist is not wrong. sent8: if that the anatotitan is a kind of a totemist and it is a wardenship is not correct it is not a alphabetizer. sent9: the anatotitan is not irrelevant if it is both not austenitic and a coinsurance. ; $proof$ = 
sent2 & sent3 -> int1: that the fact that the anatotitan is a kind of a wardenship and is a kind of a alphabetizer is correct does not hold.; sent5 -> int2: if that the anatotitan is a wardenship and a alphabetizer is not true it is not austenitic.; int1 & int2 -> int3: the anatotitan is not austenitic.; int3 & sent1 -> int4: the anatotitan is not austenitic but it is a coinsurance.; int4 & sent9 -> hypothesis; __PROVED__