there exists something such that if it is not a slug either it does picture or it is a roman or both.
sent1: there is something such that if it does slug then it does picture and/or it is a roman. sent2: the fabulist is a mock-up. sent3: if the fact that something is a kind of bedless a roman does not hold then it is not a picture. sent4: if the Dominion is blastemal then it is gnomic. sent5: something is a slug that does assemble vibist if it is not contractual. sent6: the framework is not a kind of a slug. sent7: if the fabulist is not contractual and/or does refrain overburdened it is a headshake. sent8: if the fabulist is not a slug or contractual or both then it is a kind of a picture. sent9: the fact that the fabulist assembles vibist hold. sent10: the fabulist is Continental. sent11: the fabulist is a slug and/or it is contractual. sent12: the fabulist is a conk or contractual or both if it is not Continental. sent13: something is gnomic if it is a kind of a tearjerker. sent14: the Dominion is a tearjerker and/or it is not non-blastemal. sent15: if the fabulist is a slug then either it is a picture or it is a roman or both. sent16: the stoma is a symposium if it is not articular or it does slug or both.
void -> assump1: Let's assume that the fabulist is not a slug.; assump1 -> int1: the fabulist is not a slug and/or is contractual.; int1 & sent8 -> int2: the fabulist is a kind of a picture.; int2 -> int3: the fabulist is a picture or it is a kind of a roman or both.; [assump1] & int3 -> int4: either the fabulist is a picture or it is a roman or both if it does not slug.; int4 -> hypothesis;
the fabulist does assemble vibist.
sent5 -> int5: the fabulist is a slug and it assembles vibist if it is not contractual.; sent3 -> int6: if the fact that the flophouse is bedless and a roman is false then it does not picture.; sent13 -> int7: the Dominion is gnomic if it is a tearjerker.; sent14 & int7 & sent4 -> int8: the Dominion is gnomic.; int8 -> int9: something is gnomic.;
$hypothesis$ = there exists something such that if it is not a slug either it does picture or it is a roman or both. ; $context$ = sent1: there is something such that if it does slug then it does picture and/or it is a roman. sent2: the fabulist is a mock-up. sent3: if the fact that something is a kind of bedless a roman does not hold then it is not a picture. sent4: if the Dominion is blastemal then it is gnomic. sent5: something is a slug that does assemble vibist if it is not contractual. sent6: the framework is not a kind of a slug. sent7: if the fabulist is not contractual and/or does refrain overburdened it is a headshake. sent8: if the fabulist is not a slug or contractual or both then it is a kind of a picture. sent9: the fact that the fabulist assembles vibist hold. sent10: the fabulist is Continental. sent11: the fabulist is a slug and/or it is contractual. sent12: the fabulist is a conk or contractual or both if it is not Continental. sent13: something is gnomic if it is a kind of a tearjerker. sent14: the Dominion is a tearjerker and/or it is not non-blastemal. sent15: if the fabulist is a slug then either it is a picture or it is a roman or both. sent16: the stoma is a symposium if it is not articular or it does slug or both. ; $proof$ = 
void -> assump1: Let's assume that the fabulist is not a slug.; assump1 -> int1: the fabulist is not a slug and/or is contractual.; int1 & sent8 -> int2: the fabulist is a kind of a picture.; int2 -> int3: the fabulist is a picture or it is a kind of a roman or both.; [assump1] & int3 -> int4: either the fabulist is a picture or it is a roman or both if it does not slug.; int4 -> hypothesis; __PROVED__