the munition is not aphrodisiac.
sent1: if the pamperer is supersonic the munition is a kind of an aphrodisiac. sent2: the torsion sags Loestrin if it is a kind of a storehouse. sent3: that everything is a kind of non-depressant thing that sags Saturday is not false. sent4: if something is not depressant but it sags Saturday it is supersonic. sent5: the torsion is a storehouse if that the conditioner is not a swab but it is a storehouse is wrong.
sent4 -> int1: if the pamperer is non-depressant and does sag Saturday then it is supersonic.; sent3 -> int2: the pamperer is a kind of non-depressant thing that does sag Saturday.; int1 & int2 -> int3: the pamperer is supersonic.; int3 & sent1 -> hypothesis;
the munition is not an aphrodisiac.
$hypothesis$ = the munition is not aphrodisiac. ; $context$ = sent1: if the pamperer is supersonic the munition is a kind of an aphrodisiac. sent2: the torsion sags Loestrin if it is a kind of a storehouse. sent3: that everything is a kind of non-depressant thing that sags Saturday is not false. sent4: if something is not depressant but it sags Saturday it is supersonic. sent5: the torsion is a storehouse if that the conditioner is not a swab but it is a storehouse is wrong. ; $proof$ = 
sent4 -> int1: if the pamperer is non-depressant and does sag Saturday then it is supersonic.; sent3 -> int2: the pamperer is a kind of non-depressant thing that does sag Saturday.; int1 & int2 -> int3: the pamperer is supersonic.; int3 & sent1 -> hypothesis; __DISPROVED__