the fact that if the bridecake is historical the placenta singles reward is not correct.
sent1: if the fact that the hardinggrass is not pneumatic and it does not parlay is not right then the pore is not Finnish. sent2: that the bridecake is pneumatic if the bridecake is historical is right. sent3: if the bridecake is pneumatic that the hardinggrass is not pneumatic and not a parlay does not hold. sent4: the placenta does single reward if the pore is not Finnish.
void -> assump1: Let's assume that the bridecake is historical.; sent2 & assump1 -> int1: the bridecake is pneumatic.; sent3 & int1 -> int2: the fact that the hardinggrass is non-pneumatic thing that does not parlay is not right.; sent1 & int2 -> int3: the pore is not a Finnish.; sent4 & int3 -> int4: the placenta singles reward.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that if the bridecake is historical the placenta singles reward is not correct. ; $context$ = sent1: if the fact that the hardinggrass is not pneumatic and it does not parlay is not right then the pore is not Finnish. sent2: that the bridecake is pneumatic if the bridecake is historical is right. sent3: if the bridecake is pneumatic that the hardinggrass is not pneumatic and not a parlay does not hold. sent4: the placenta does single reward if the pore is not Finnish. ; $proof$ = 
void -> assump1: Let's assume that the bridecake is historical.; sent2 & assump1 -> int1: the bridecake is pneumatic.; sent3 & int1 -> int2: the fact that the hardinggrass is non-pneumatic thing that does not parlay is not right.; sent1 & int2 -> int3: the pore is not a Finnish.; sent4 & int3 -> int4: the placenta singles reward.; [assump1] & int4 -> hypothesis; __DISPROVED__