the strawworm is not a hoist.
sent1: if that the personification does not bog pinhead but it is a kind of a rightness is false then the herpetologist is not ribless. sent2: something is not a kind of a distillery and it is not a kind of a Setophaga if it is not a copyreader. sent3: if something is medieval and it is vigesimal the allotropy is a hoist. sent4: the strawworm is vigesimal. sent5: if something is not ribless the fact that it does shop treated and is not a hoist is not right. sent6: that the sandgrouse does not attend and is not abactinal does not hold if it is not a kind of a sail. sent7: that if something is not a cone then that it does not bog pinhead and is a rightness does not hold is right. sent8: if that that the herpetologist does shop treated but it does not hoist hold is incorrect then the strawworm does not hoist. sent9: if the sandgrouse is not a distillery and it is not a Setophaga it does not sail. sent10: the allotropy is not vigesimal and not non-medieval. sent11: if there exists something such that it is not vigesimal and it is medieval then the strawworm is a hoist. sent12: the allotropy is not vigesimal. sent13: something does not infix hopelessness. sent14: the allotropy does hoist.
sent10 -> int1: there exists something such that it is both not vigesimal and medieval.; int1 & sent11 -> hypothesis;
the strawworm is not a hoist.
sent5 -> int2: that the herpetologist shops treated and does not hoist is not right if it is not ribless.; sent7 -> int3: that that the personification does not bog pinhead but it is a kind of a rightness is not right is correct if it is not a kind of a cone.; sent2 -> int4: the sandgrouse is both not a distillery and not a Setophaga if it is not a copyreader.;
$hypothesis$ = the strawworm is not a hoist. ; $context$ = sent1: if that the personification does not bog pinhead but it is a kind of a rightness is false then the herpetologist is not ribless. sent2: something is not a kind of a distillery and it is not a kind of a Setophaga if it is not a copyreader. sent3: if something is medieval and it is vigesimal the allotropy is a hoist. sent4: the strawworm is vigesimal. sent5: if something is not ribless the fact that it does shop treated and is not a hoist is not right. sent6: that the sandgrouse does not attend and is not abactinal does not hold if it is not a kind of a sail. sent7: that if something is not a cone then that it does not bog pinhead and is a rightness does not hold is right. sent8: if that that the herpetologist does shop treated but it does not hoist hold is incorrect then the strawworm does not hoist. sent9: if the sandgrouse is not a distillery and it is not a Setophaga it does not sail. sent10: the allotropy is not vigesimal and not non-medieval. sent11: if there exists something such that it is not vigesimal and it is medieval then the strawworm is a hoist. sent12: the allotropy is not vigesimal. sent13: something does not infix hopelessness. sent14: the allotropy does hoist. ; $proof$ = 
sent10 -> int1: there exists something such that it is both not vigesimal and medieval.; int1 & sent11 -> hypothesis; __DISPROVED__