the Mylar is a kind of a Ibsen.
sent1: the Mylar does grate malocclusion. sent2: the Mylar is a pederast and it is putrid. sent3: the Mylar is a kind of a Ibsen if the langouste is a Ibsen. sent4: the preserve is libidinal. sent5: if the langouste is a Ibsen the Mylar is a limitation. sent6: the langouste grates malocclusion if the Mylar is a kind of a Ibsen. sent7: if the langouste is not non-libidinal and it is a limitation it does not grate malocclusion. sent8: the langouste is a limitation. sent9: the Mylar is a limitation. sent10: that the Mylar is costive hold. sent11: the WAC is a kind of a limitation that does induce cognizance. sent12: the langouste is Zairean. sent13: the langouste is libidinal and it is a kind of a limitation.
void -> assump1: Let's assume that the fact that the Mylar is a Ibsen is not false.; sent6 & assump1 -> int1: the langouste does grate malocclusion.; sent7 & sent13 -> int2: the langouste does not grate malocclusion.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the Mylar is a Ibsen.
$hypothesis$ = the Mylar is a kind of a Ibsen. ; $context$ = sent1: the Mylar does grate malocclusion. sent2: the Mylar is a pederast and it is putrid. sent3: the Mylar is a kind of a Ibsen if the langouste is a Ibsen. sent4: the preserve is libidinal. sent5: if the langouste is a Ibsen the Mylar is a limitation. sent6: the langouste grates malocclusion if the Mylar is a kind of a Ibsen. sent7: if the langouste is not non-libidinal and it is a limitation it does not grate malocclusion. sent8: the langouste is a limitation. sent9: the Mylar is a limitation. sent10: that the Mylar is costive hold. sent11: the WAC is a kind of a limitation that does induce cognizance. sent12: the langouste is Zairean. sent13: the langouste is libidinal and it is a kind of a limitation. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Mylar is a Ibsen is not false.; sent6 & assump1 -> int1: the langouste does grate malocclusion.; sent7 & sent13 -> int2: the langouste does not grate malocclusion.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__