the Rooseveltianness occurs.
sent1: if the condemning Vichy occurs then that the condemning Sand happens hold. sent2: if the cellularness does not occur then the obscenity does not occur. sent3: if the cellularness does not occur the crediting happens and the obscenity does not occur. sent4: the cellularness does not occur. sent5: the gilding vespers does not occur but the revoke occurs. sent6: that not the gerundialness but the Doctor occurs is caused by that the marbles does not occur. sent7: that the condemning Sand occurs and/or the gilding distrust does not occur prevents that the gilding distrust happens. sent8: the Hindustaniness occurs if the bust-up occurs. sent9: that the heaving does not occur and the gerundialness does not occur leads to that the Rooseveltianness does not occur. sent10: that the condemning Vichy happens hold. sent11: the bust-up happens if the crediting occurs and the obscenity does not occur. sent12: the marbles does not occur. sent13: that the Hindustani occurs and the gilding distrust does not occur triggers that the heaving does not occur.
sent3 & sent4 -> int1: the credit happens but the obscenity does not occur.; int1 & sent11 -> int2: the bust-up occurs.; int2 & sent8 -> int3: the Hindustaniness happens.; sent1 & sent10 -> int4: the condemning Sand happens.; int4 -> int5: the condemning Sand happens and/or the gilding distrust does not occur.; sent7 & int5 -> int6: the gilding distrust does not occur.; int3 & int6 -> int7: the Hindustaniness but not the gilding distrust occurs.; int7 & sent13 -> int8: the heaves does not occur.; sent6 & sent12 -> int9: the gerundialness does not occur but the Doctor occurs.; int9 -> int10: the gerundialness does not occur.; int8 & int10 -> int11: the heaving does not occur and the gerundialness does not occur.; int11 & sent9 -> hypothesis;
$hypothesis$ = the Rooseveltianness occurs. ; $context$ = sent1: if the condemning Vichy occurs then that the condemning Sand happens hold. sent2: if the cellularness does not occur then the obscenity does not occur. sent3: if the cellularness does not occur the crediting happens and the obscenity does not occur. sent4: the cellularness does not occur. sent5: the gilding vespers does not occur but the revoke occurs. sent6: that not the gerundialness but the Doctor occurs is caused by that the marbles does not occur. sent7: that the condemning Sand occurs and/or the gilding distrust does not occur prevents that the gilding distrust happens. sent8: the Hindustaniness occurs if the bust-up occurs. sent9: that the heaving does not occur and the gerundialness does not occur leads to that the Rooseveltianness does not occur. sent10: that the condemning Vichy happens hold. sent11: the bust-up happens if the crediting occurs and the obscenity does not occur. sent12: the marbles does not occur. sent13: that the Hindustani occurs and the gilding distrust does not occur triggers that the heaving does not occur. ; $proof$ = 
sent3 & sent4 -> int1: the credit happens but the obscenity does not occur.; int1 & sent11 -> int2: the bust-up occurs.; int2 & sent8 -> int3: the Hindustaniness happens.; sent1 & sent10 -> int4: the condemning Sand happens.; int4 -> int5: the condemning Sand happens and/or the gilding distrust does not occur.; sent7 & int5 -> int6: the gilding distrust does not occur.; int3 & int6 -> int7: the Hindustaniness but not the gilding distrust occurs.; int7 & sent13 -> int8: the heaves does not occur.; sent6 & sent12 -> int9: the gerundialness does not occur but the Doctor occurs.; int9 -> int10: the gerundialness does not occur.; int8 & int10 -> int11: the heaving does not occur and the gerundialness does not occur.; int11 & sent9 -> hypothesis; __DISPROVED__