the fact that the pansexual is not a Marconi is not false.
sent1: the pansexual is not a Marconi if that that the Exmoor does not whang benefactor and is photometric is not correct is not wrong. sent2: that that the Exmoor does not whang benefactor and is photometric is incorrect hold if the cheesecake does whang benefactor. sent3: everything is not isopteran. sent4: if the cheesecake is a kind of non-isopteran thing that is not a Marconi then it is not photometric. sent5: that the cheesecake is not Demosthenic but it is social does not hold. sent6: if the biscuit does not disrespect sofa then the cheesecake whangs benefactor. sent7: something is a Marconi if that it is not branchial and it does disrespect sofa is wrong. sent8: the biscuit does not disrespect sofa and does not disrespect leaven if something is branchial. sent9: that something is photometric and does disrespect leaven is not right if it does not whang benefactor. sent10: if there is something such that the fact that it is photometric and it disrespects leaven is incorrect then the biscuit does not disrespects leaven. sent11: the fact that something is not branchial and it does not disrespect sofa does not hold if it does not disrespect leaven. sent12: the mattock does not whang benefactor and it does not dusk Pterodactylidae. sent13: the cheesecake is not a kind of a Marconi if that it is not Demosthenic and is social is not correct. sent14: something is branchial.
sent14 & sent8 -> int1: the biscuit does not disrespect sofa and it does not disrespect leaven.; int1 -> int2: the biscuit does not disrespect sofa.; sent6 & int2 -> int3: the cheesecake does whang benefactor.; sent2 & int3 -> int4: that the Exmoor does not whang benefactor and is photometric is not correct.; sent1 & int4 -> hypothesis;
the pansexual is a Marconi.
sent7 -> int5: the pansexual is a kind of a Marconi if the fact that it is not branchial and it disrespects sofa is wrong.; sent9 -> int6: that the cheesecake is photometric and it disrespects leaven does not hold if it does not whang benefactor.;
$hypothesis$ = the fact that the pansexual is not a Marconi is not false. ; $context$ = sent1: the pansexual is not a Marconi if that that the Exmoor does not whang benefactor and is photometric is not correct is not wrong. sent2: that that the Exmoor does not whang benefactor and is photometric is incorrect hold if the cheesecake does whang benefactor. sent3: everything is not isopteran. sent4: if the cheesecake is a kind of non-isopteran thing that is not a Marconi then it is not photometric. sent5: that the cheesecake is not Demosthenic but it is social does not hold. sent6: if the biscuit does not disrespect sofa then the cheesecake whangs benefactor. sent7: something is a Marconi if that it is not branchial and it does disrespect sofa is wrong. sent8: the biscuit does not disrespect sofa and does not disrespect leaven if something is branchial. sent9: that something is photometric and does disrespect leaven is not right if it does not whang benefactor. sent10: if there is something such that the fact that it is photometric and it disrespects leaven is incorrect then the biscuit does not disrespects leaven. sent11: the fact that something is not branchial and it does not disrespect sofa does not hold if it does not disrespect leaven. sent12: the mattock does not whang benefactor and it does not dusk Pterodactylidae. sent13: the cheesecake is not a kind of a Marconi if that it is not Demosthenic and is social is not correct. sent14: something is branchial. ; $proof$ = 
sent14 & sent8 -> int1: the biscuit does not disrespect sofa and it does not disrespect leaven.; int1 -> int2: the biscuit does not disrespect sofa.; sent6 & int2 -> int3: the cheesecake does whang benefactor.; sent2 & int3 -> int4: that the Exmoor does not whang benefactor and is photometric is not correct.; sent1 & int4 -> hypothesis; __PROVED__