the fact that the abator is a kind of a thermoacidophile is true.
sent1: the fact that the disaccharide is not lower-class but it does heighten is not wrong if the corticosterone is a mastocyte. sent2: the abator is a thermoacidophile if either something does heighten or it discards Ndebele or both. sent3: the corticosterone is a kind of a mastocyte.
sent1 & sent3 -> int1: the disaccharide is not lower-class but it does heighten.; int1 -> int2: the disaccharide heightens.; int2 -> int3: the disaccharide either does heighten or does discard Ndebele or both.; int3 -> int4: something does heighten or it discards Ndebele or both.; int4 & sent2 -> hypothesis;
$hypothesis$ = the fact that the abator is a kind of a thermoacidophile is true. ; $context$ = sent1: the fact that the disaccharide is not lower-class but it does heighten is not wrong if the corticosterone is a mastocyte. sent2: the abator is a thermoacidophile if either something does heighten or it discards Ndebele or both. sent3: the corticosterone is a kind of a mastocyte. ; $proof$ = 
sent1 & sent3 -> int1: the disaccharide is not lower-class but it does heighten.; int1 -> int2: the disaccharide heightens.; int2 -> int3: the disaccharide either does heighten or does discard Ndebele or both.; int3 -> int4: something does heighten or it discards Ndebele or both.; int4 & sent2 -> hypothesis; __PROVED__