the trampoline is a kind of a Brahmanism and is a shakedown.
sent1: that the skidpan does bullshit flit is true. sent2: the skidpan does not unclutter. sent3: something that is not apocalyptic is a kind of a Brahmanism and does unclutter. sent4: if the fact that the skidpan does not unclutter hold then it is a defaulter and it bullshits flit. sent5: the sword is a Brahmanism and not non-defervescent. sent6: that the trampoline is both a Brahmanism and shakedown is not correct if the skidpan is shakedown. sent7: if something is a defaulter and bullshits flit it is not shakedown. sent8: that the skidpan is a kind of a Brahmanism and it unclutters does not hold if the trampoline does not unclutters.
sent7 -> int1: the fact that the skidpan is not shakedown is not false if it is a kind of a defaulter and it bullshits flit.; sent4 & sent2 -> int2: the skidpan is a kind of a defaulter and it bullshits flit.; int1 & int2 -> int3: the skidpan is not a shakedown.; int3 & sent6 -> hypothesis;
the trampoline is a Brahmanism and is a kind of a shakedown.
sent3 -> int4: if the trampoline is not apocalyptic it is a Brahmanism and it does unclutter.;
$hypothesis$ = the trampoline is a kind of a Brahmanism and is a shakedown. ; $context$ = sent1: that the skidpan does bullshit flit is true. sent2: the skidpan does not unclutter. sent3: something that is not apocalyptic is a kind of a Brahmanism and does unclutter. sent4: if the fact that the skidpan does not unclutter hold then it is a defaulter and it bullshits flit. sent5: the sword is a Brahmanism and not non-defervescent. sent6: that the trampoline is both a Brahmanism and shakedown is not correct if the skidpan is shakedown. sent7: if something is a defaulter and bullshits flit it is not shakedown. sent8: that the skidpan is a kind of a Brahmanism and it unclutters does not hold if the trampoline does not unclutters. ; $proof$ = 
sent7 -> int1: the fact that the skidpan is not shakedown is not false if it is a kind of a defaulter and it bullshits flit.; sent4 & sent2 -> int2: the skidpan is a kind of a defaulter and it bullshits flit.; int1 & int2 -> int3: the skidpan is not a shakedown.; int3 & sent6 -> hypothesis; __DISPROVED__