the fact that the Bond occurs hold.
sent1: the unsympatheticness and the tsking happens. sent2: that the extinctness occurs is caused by the stoicness. sent3: the intraventricularness occurs. sent4: that the Bond does not occur is triggered by that the tsking occurs and the circuiting happens. sent5: that the Bond occurs and the unsympatheticness happens is caused by that the tsking does not occur. sent6: that the kick occurs is prevented by that the extinctness but not the Einsteinianness happens. sent7: that the circuit and/or the non-supernalness happens is caused by the unpredictableness. sent8: the circuit occurs. sent9: that the kicking does not occur triggers that the vitrioling Guru occurs and the unpredictableness happens.
sent1 -> int1: the tsking occurs.; int1 & sent8 -> int2: the tsking and the circuit happens.; int2 & sent4 -> hypothesis;
the Bond happens.
$hypothesis$ = the fact that the Bond occurs hold. ; $context$ = sent1: the unsympatheticness and the tsking happens. sent2: that the extinctness occurs is caused by the stoicness. sent3: the intraventricularness occurs. sent4: that the Bond does not occur is triggered by that the tsking occurs and the circuiting happens. sent5: that the Bond occurs and the unsympatheticness happens is caused by that the tsking does not occur. sent6: that the kick occurs is prevented by that the extinctness but not the Einsteinianness happens. sent7: that the circuit and/or the non-supernalness happens is caused by the unpredictableness. sent8: the circuit occurs. sent9: that the kicking does not occur triggers that the vitrioling Guru occurs and the unpredictableness happens. ; $proof$ = 
sent1 -> int1: the tsking occurs.; int1 & sent8 -> int2: the tsking and the circuit happens.; int2 & sent4 -> hypothesis; __DISPROVED__