that the hygroscope does debrief tabard is true.
sent1: the hygroscope does not investigate varix. sent2: the boater is a kind of a sublieutenant. sent3: the endomorph yellows if there is something such that it is a kind of a sublieutenant. sent4: the nombril does not investigate varix. sent5: the bairn does not yellow if the endomorph is both a yellow and not a glitter. sent6: the endomorph is a kind of a demographic. sent7: that the endomorph is not a demographic is not false if the bairn is not perigonal. sent8: the endomorph does investigate varix. sent9: the endomorph is a sensitizer or investigates airfare or both if there is something such that it is a kind of a sensitizer. sent10: the Bakelite is perigonal. sent11: if the hygroscope debriefs tabard then that it either does not moil or does investigate varix or both does not hold. sent12: the bairn is not perigonal if the fact that the hygroscope does not moil and/or it investigates varix is not correct. sent13: that the hygroscope is not demographic and it does not debrief tabard does not hold if the bairn is not a yellow. sent14: something is not a glitter if it is a sensitizer and/or it investigates airfare. sent15: the pledge is a sensitizer and it investigates cyberart.
void -> assump1: Let's assume that the hygroscope does debrief tabard.; sent11 & assump1 -> int1: the fact that the hygroscope does not moil or does investigate varix or both is not correct.; int1 & sent12 -> int2: the bairn is not perigonal.; int2 & sent7 -> int3: the endomorph is not a demographic.; int3 & sent6 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the phasianid is perigonal.
sent2 -> int5: there is something such that it is a sublieutenant.; int5 & sent3 -> int6: the endomorph is a yellow.; sent14 -> int7: the endomorph is not a glitter if it is a sensitizer and/or it investigates airfare.; sent15 -> int8: the pledge is a sensitizer.; int8 -> int9: there is something such that it is a sensitizer.; int9 & sent9 -> int10: either the endomorph is a sensitizer or it does investigate airfare or both.; int7 & int10 -> int11: the endomorph does not glitter.; int6 & int11 -> int12: the endomorph is a yellow but it is not a kind of a glitter.; sent5 & int12 -> int13: the bairn does not yellow.; sent13 & int13 -> int14: the fact that the hygroscope is not demographic and it does not debrief tabard is not correct.; int14 -> int15: there is something such that that it is a kind of non-demographic thing that does not debrief tabard does not hold.;
$hypothesis$ = that the hygroscope does debrief tabard is true. ; $context$ = sent1: the hygroscope does not investigate varix. sent2: the boater is a kind of a sublieutenant. sent3: the endomorph yellows if there is something such that it is a kind of a sublieutenant. sent4: the nombril does not investigate varix. sent5: the bairn does not yellow if the endomorph is both a yellow and not a glitter. sent6: the endomorph is a kind of a demographic. sent7: that the endomorph is not a demographic is not false if the bairn is not perigonal. sent8: the endomorph does investigate varix. sent9: the endomorph is a sensitizer or investigates airfare or both if there is something such that it is a kind of a sensitizer. sent10: the Bakelite is perigonal. sent11: if the hygroscope debriefs tabard then that it either does not moil or does investigate varix or both does not hold. sent12: the bairn is not perigonal if the fact that the hygroscope does not moil and/or it investigates varix is not correct. sent13: that the hygroscope is not demographic and it does not debrief tabard does not hold if the bairn is not a yellow. sent14: something is not a glitter if it is a sensitizer and/or it investigates airfare. sent15: the pledge is a sensitizer and it investigates cyberart. ; $proof$ = 
void -> assump1: Let's assume that the hygroscope does debrief tabard.; sent11 & assump1 -> int1: the fact that the hygroscope does not moil or does investigate varix or both is not correct.; int1 & sent12 -> int2: the bairn is not perigonal.; int2 & sent7 -> int3: the endomorph is not a demographic.; int3 & sent6 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __DISPROVED__