the larid is not translunar or not anamnestic or both.
sent1: the larid briefs weasel. sent2: if that the larid either is not conjunct or does not brief perennial or both is not right then it is cryptanalytic. sent3: the larid is a kind of a fossil. sent4: the medium is not incorrigible if the fact that it is not an appearance and it is a phylactery is not true. sent5: if the fact that the scleroprotein briefs Prokhorov is correct then it is not interstellar. sent6: the kinin is anamnestic. sent7: the fact that the larid is not incorrigible and not non-conjunct is wrong. sent8: the stripe does not challenge if that it is both not Austrian and a ganoin does not hold. sent9: the larid is not agrologic. sent10: the fact that the larid is not unlike is correct. sent11: the larid is not Austrian if that it is not incorrigible and it is conjunct is not true. sent12: the larid does brief valve. sent13: that the blunderbuss does vacuum streaker and is a Meniere is incorrect. sent14: the weasel does not brief mollusk if it is incorrigible. sent15: if the larid vacuums Daguerre it is not anamnestic. sent16: if the fact that the larid is not translunar and/or it is not anamnestic is wrong then it is Austrian. sent17: the larid is not radio if that it is not a bray but incorrigible is not correct. sent18: if the fact that the sickbag is not a Roswell and/or it is not a Stendhal is incorrect it is anamnestic.
void -> assump1: Let's assume that the fact that the larid is not translunar and/or it is not anamnestic is not true.; sent16 & assump1 -> int1: the larid is Austrian.; sent11 & sent7 -> int2: the larid is not a Austrian.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the larid is not translunar or not anamnestic or both. ; $context$ = sent1: the larid briefs weasel. sent2: if that the larid either is not conjunct or does not brief perennial or both is not right then it is cryptanalytic. sent3: the larid is a kind of a fossil. sent4: the medium is not incorrigible if the fact that it is not an appearance and it is a phylactery is not true. sent5: if the fact that the scleroprotein briefs Prokhorov is correct then it is not interstellar. sent6: the kinin is anamnestic. sent7: the fact that the larid is not incorrigible and not non-conjunct is wrong. sent8: the stripe does not challenge if that it is both not Austrian and a ganoin does not hold. sent9: the larid is not agrologic. sent10: the fact that the larid is not unlike is correct. sent11: the larid is not Austrian if that it is not incorrigible and it is conjunct is not true. sent12: the larid does brief valve. sent13: that the blunderbuss does vacuum streaker and is a Meniere is incorrect. sent14: the weasel does not brief mollusk if it is incorrigible. sent15: if the larid vacuums Daguerre it is not anamnestic. sent16: if the fact that the larid is not translunar and/or it is not anamnestic is wrong then it is Austrian. sent17: the larid is not radio if that it is not a bray but incorrigible is not correct. sent18: if the fact that the sickbag is not a Roswell and/or it is not a Stendhal is incorrect it is anamnestic. ; $proof$ = 
void -> assump1: Let's assume that the fact that the larid is not translunar and/or it is not anamnestic is not true.; sent16 & assump1 -> int1: the larid is Austrian.; sent11 & sent7 -> int2: the larid is not a Austrian.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__