the fact that the bellyband homesteads CBC hold.
sent1: the fact that something does not homestead CBC and does not crispen is wrong if that it does not administer nonoccurrence is correct. sent2: that the bellyband does administer nonoccurrence and it does ship is wrong. sent3: the bellyband does not homestead CBC if it does ship. sent4: something crispens. sent5: if something does crispen that the bellyband does administer nonoccurrence but it is not a kind of a ship is incorrect. sent6: if that the fact that something administers nonoccurrence and does not ship is not false is incorrect then it does not homestead CBC.
sent4 & sent5 -> int1: that that the bellyband does administer nonoccurrence and is not a ship is not false is incorrect.; sent6 -> int2: that the bellyband does not homestead CBC is not false if that the fact that it administers nonoccurrence and it is not a kind of a ship is not wrong is wrong.; int1 & int2 -> hypothesis;
the bellyband does homestead CBC.
sent1 -> int3: if the Berliner does not administer nonoccurrence the fact that it does not homestead CBC and does not crispen is not true.;
$hypothesis$ = the fact that the bellyband homesteads CBC hold. ; $context$ = sent1: the fact that something does not homestead CBC and does not crispen is wrong if that it does not administer nonoccurrence is correct. sent2: that the bellyband does administer nonoccurrence and it does ship is wrong. sent3: the bellyband does not homestead CBC if it does ship. sent4: something crispens. sent5: if something does crispen that the bellyband does administer nonoccurrence but it is not a kind of a ship is incorrect. sent6: if that the fact that something administers nonoccurrence and does not ship is not false is incorrect then it does not homestead CBC. ; $proof$ = 
sent4 & sent5 -> int1: that that the bellyband does administer nonoccurrence and is not a ship is not false is incorrect.; sent6 -> int2: that the bellyband does not homestead CBC is not false if that the fact that it administers nonoccurrence and it is not a kind of a ship is not wrong is wrong.; int1 & int2 -> hypothesis; __DISPROVED__