the fagoting does not overbear pome.
sent1: there is something such that that it is not conventional and it does parallel Hassam is wrong. sent2: the co-discoverer is a foxhunt if it is not mayoral. sent3: if something that is not a kind of a barbital is not a foxhunt then it does overbear pome. sent4: the rosebay is not non-Montserratian if the foredeck foxhunts. sent5: the fagoting does not resent flounce if the inkwell is not a kind of an addicted. sent6: that the inkwell does not addict is not false if the co-discoverer is mayoral thing that does not resent sadomasochism. sent7: if the deoxyguanosine is a kind of a Scorpius the fact that it is a kind of non-conventional thing that parallels Hassam is not right. sent8: there is something such that it is not conventional and it does not parallel Hassam. sent9: that the foredeck does foxhunt and is a barbital is not true. sent10: the fact that something is a kind of a foxhunt but it is not a kind of a Montserratian does not hold if it does resent flounce. sent11: the fact that the co-discoverer is a barbital is not incorrect if there is something such that that it is a foxhunt and is not a Montserratian is false. sent12: that the deoxyguanosine is not conventional and it does not parallel Hassam is not right if it is a kind of a Scorpius. sent13: if there is something such that that it is not conventional and does not parallel Hassam does not hold then the rosebay is not a Montserratian. sent14: the fact that if that the foredeck is not a foxhunt but a barbital does not hold the rosebay is a Montserratian is right. sent15: the co-discoverer is a foxhunt if that it is mayoral thing that does not resent sadomasochism is incorrect. sent16: that the deoxyguanosine is non-conventional thing that parallels Hassam does not hold. sent17: the fagoting is not a Scorpius. sent18: there exists something such that that the fact that it is conventional and it does not parallel Hassam is not false is not correct. sent19: the fact that the foredeck is a foxhunt and it is a barbital is false if the co-discoverer foxhunt. sent20: if the foredeck is a foxhunt then the co-discoverer is a barbital. sent21: that the foredeck is not a kind of a foxhunt and is a barbital does not hold if the co-discoverer foxhunt. sent22: if the deoxyguanosine is a Scorpius then the fact that it is a kind of conventional thing that does not parallel Hassam does not hold. sent23: the co-discoverer is mayoral. sent24: if something does not resent flounce then it does not overbear pome. sent25: the deoxyguanosine is a kind of a Scorpius.
void -> assump1: Let's assume that that the co-discoverer is mayoral and does not resent sadomasochism is wrong.; sent15 & assump1 -> int1: the co-discoverer is a foxhunt.; int1 & sent21 -> int2: the fact that that the foredeck does not foxhunt and is a barbital hold is not right.; int2 & sent14 -> int3: the rosebay is a Montserratian.; sent12 & sent25 -> int4: that the deoxyguanosine is unconventional thing that does not parallel Hassam is not correct.; int4 -> int5: there exists something such that that it is unconventional thing that does not parallel Hassam is not true.; int5 & sent13 -> int6: that the rosebay is not a kind of a Montserratian hold.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the co-discoverer is mayoral and does not resent sadomasochism.; int8 & sent6 -> int9: the inkwell is not a kind of an addicted.; int9 & sent5 -> int10: the fagoting does not resent flounce.; sent24 -> int11: if that the fagoting does not resent flounce is not wrong then it does not overbear pome.; int10 & int11 -> hypothesis;
the fagoting overbears pome.
sent3 -> int12: if the fagoting is not a kind of a barbital and it is not a kind of a foxhunt then it overbears pome.;
$hypothesis$ = the fagoting does not overbear pome. ; $context$ = sent1: there is something such that that it is not conventional and it does parallel Hassam is wrong. sent2: the co-discoverer is a foxhunt if it is not mayoral. sent3: if something that is not a kind of a barbital is not a foxhunt then it does overbear pome. sent4: the rosebay is not non-Montserratian if the foredeck foxhunts. sent5: the fagoting does not resent flounce if the inkwell is not a kind of an addicted. sent6: that the inkwell does not addict is not false if the co-discoverer is mayoral thing that does not resent sadomasochism. sent7: if the deoxyguanosine is a kind of a Scorpius the fact that it is a kind of non-conventional thing that parallels Hassam is not right. sent8: there is something such that it is not conventional and it does not parallel Hassam. sent9: that the foredeck does foxhunt and is a barbital is not true. sent10: the fact that something is a kind of a foxhunt but it is not a kind of a Montserratian does not hold if it does resent flounce. sent11: the fact that the co-discoverer is a barbital is not incorrect if there is something such that that it is a foxhunt and is not a Montserratian is false. sent12: that the deoxyguanosine is not conventional and it does not parallel Hassam is not right if it is a kind of a Scorpius. sent13: if there is something such that that it is not conventional and does not parallel Hassam does not hold then the rosebay is not a Montserratian. sent14: the fact that if that the foredeck is not a foxhunt but a barbital does not hold the rosebay is a Montserratian is right. sent15: the co-discoverer is a foxhunt if that it is mayoral thing that does not resent sadomasochism is incorrect. sent16: that the deoxyguanosine is non-conventional thing that parallels Hassam does not hold. sent17: the fagoting is not a Scorpius. sent18: there exists something such that that the fact that it is conventional and it does not parallel Hassam is not false is not correct. sent19: the fact that the foredeck is a foxhunt and it is a barbital is false if the co-discoverer foxhunt. sent20: if the foredeck is a foxhunt then the co-discoverer is a barbital. sent21: that the foredeck is not a kind of a foxhunt and is a barbital does not hold if the co-discoverer foxhunt. sent22: if the deoxyguanosine is a Scorpius then the fact that it is a kind of conventional thing that does not parallel Hassam does not hold. sent23: the co-discoverer is mayoral. sent24: if something does not resent flounce then it does not overbear pome. sent25: the deoxyguanosine is a kind of a Scorpius. ; $proof$ = 
void -> assump1: Let's assume that that the co-discoverer is mayoral and does not resent sadomasochism is wrong.; sent15 & assump1 -> int1: the co-discoverer is a foxhunt.; int1 & sent21 -> int2: the fact that that the foredeck does not foxhunt and is a barbital hold is not right.; int2 & sent14 -> int3: the rosebay is a Montserratian.; sent12 & sent25 -> int4: that the deoxyguanosine is unconventional thing that does not parallel Hassam is not correct.; int4 -> int5: there exists something such that that it is unconventional thing that does not parallel Hassam is not true.; int5 & sent13 -> int6: that the rosebay is not a kind of a Montserratian hold.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the co-discoverer is mayoral and does not resent sadomasochism.; int8 & sent6 -> int9: the inkwell is not a kind of an addicted.; int9 & sent5 -> int10: the fagoting does not resent flounce.; sent24 -> int11: if that the fagoting does not resent flounce is not wrong then it does not overbear pome.; int10 & int11 -> hypothesis; __PROVED__