the jiggermast is bolometric.
sent1: the songstress does bestrew Ichthyosauridae and is postmeridian. sent2: if the bookseller is not endoergic and it is not postmeridian then the tractor is a Seneca. sent3: the jiggermast is not bolometric if something is a deafness or is a kind of a flatmate or both. sent4: the bookseller is not endoergic and it is not postmeridian if the songstress is postmeridian. sent5: if the tractor is a Seneca then the biotin is a deafness.
sent1 -> int1: the songstress is postmeridian.; int1 & sent4 -> int2: the bookseller is both not endoergic and not postmeridian.; int2 & sent2 -> int3: the tractor is a kind of a Seneca.; int3 & sent5 -> int4: the fact that the biotin is a kind of a deafness is not incorrect.; int4 -> int5: the biotin is a deafness and/or is a kind of a flatmate.; int5 -> int6: there is something such that either it is a deafness or it is a flatmate or both.; int6 & sent3 -> hypothesis;
$hypothesis$ = the jiggermast is bolometric. ; $context$ = sent1: the songstress does bestrew Ichthyosauridae and is postmeridian. sent2: if the bookseller is not endoergic and it is not postmeridian then the tractor is a Seneca. sent3: the jiggermast is not bolometric if something is a deafness or is a kind of a flatmate or both. sent4: the bookseller is not endoergic and it is not postmeridian if the songstress is postmeridian. sent5: if the tractor is a Seneca then the biotin is a deafness. ; $proof$ = 
sent1 -> int1: the songstress is postmeridian.; int1 & sent4 -> int2: the bookseller is both not endoergic and not postmeridian.; int2 & sent2 -> int3: the tractor is a kind of a Seneca.; int3 & sent5 -> int4: the fact that the biotin is a kind of a deafness is not incorrect.; int4 -> int5: the biotin is a deafness and/or is a kind of a flatmate.; int5 -> int6: there is something such that either it is a deafness or it is a flatmate or both.; int6 & sent3 -> hypothesis; __DISPROVED__