the ford occurs and the abstraction occurs.
sent1: that the vivisection does not occur and the enforceableness happens is incorrect. sent2: the respect occurs. sent3: the vivisection and the soiling happens if the singling pencil does not occur. sent4: that the photography but not the bibliopolicness happens is not right. sent5: the dockage does not occur. sent6: the fact that the fording happens and the abstraction happens is not correct if the fact that the vesper does not occur is not false. sent7: the fact that the photography and the bibliopolicness occurs is not correct. sent8: the pitying pudendum does not occur. sent9: if the bibliopolicness happens the dockage does not occur. sent10: the respect yields that the restlessness occurs. sent11: the fording occurs if that both the respect and the restfulness occurs is false. sent12: if the canineness occurs then the enforceableness happens. sent13: that the bibliopolicness happens results in that the singling pencil does not occur and the dockage does not occur. sent14: the bibliopolicness happens if that the photography and the non-bibliopolicness occurs is incorrect. sent15: the vivisection happens if the singling pencil does not occur. sent16: the canine occurs if the restlessness occurs. sent17: the soiling does not occur if the enforceableness occurs and the vesper occurs. sent18: the vivisection occurs.
sent10 & sent2 -> int1: that the restlessness happens is not wrong.; int1 & sent16 -> int2: the canineness occurs.; int2 & sent12 -> int3: the enforceableness happens.; void -> assump1: Let's assume that the fact that the vesper happens hold.; int3 & assump1 -> int4: both the enforceableness and the vesper occurs.; int4 & sent17 -> int5: the soiling does not occur.; sent14 & sent4 -> int6: the bibliopolicness happens.; sent13 & int6 -> int7: the singling pencil does not occur and the dockage does not occur.; int7 -> int8: the singling pencil does not occur.; sent3 & int8 -> int9: both the vivisection and the soiling happens.; int9 -> int10: the soiling occurs.; int5 & int10 -> int11: this is contradiction.; [assump1] & int11 -> int12: the vesper does not occur.; int12 & sent6 -> hypothesis;
the fording happens and the abstraction occurs.
$hypothesis$ = the ford occurs and the abstraction occurs. ; $context$ = sent1: that the vivisection does not occur and the enforceableness happens is incorrect. sent2: the respect occurs. sent3: the vivisection and the soiling happens if the singling pencil does not occur. sent4: that the photography but not the bibliopolicness happens is not right. sent5: the dockage does not occur. sent6: the fact that the fording happens and the abstraction happens is not correct if the fact that the vesper does not occur is not false. sent7: the fact that the photography and the bibliopolicness occurs is not correct. sent8: the pitying pudendum does not occur. sent9: if the bibliopolicness happens the dockage does not occur. sent10: the respect yields that the restlessness occurs. sent11: the fording occurs if that both the respect and the restfulness occurs is false. sent12: if the canineness occurs then the enforceableness happens. sent13: that the bibliopolicness happens results in that the singling pencil does not occur and the dockage does not occur. sent14: the bibliopolicness happens if that the photography and the non-bibliopolicness occurs is incorrect. sent15: the vivisection happens if the singling pencil does not occur. sent16: the canine occurs if the restlessness occurs. sent17: the soiling does not occur if the enforceableness occurs and the vesper occurs. sent18: the vivisection occurs. ; $proof$ = 
sent10 & sent2 -> int1: that the restlessness happens is not wrong.; int1 & sent16 -> int2: the canineness occurs.; int2 & sent12 -> int3: the enforceableness happens.; void -> assump1: Let's assume that the fact that the vesper happens hold.; int3 & assump1 -> int4: both the enforceableness and the vesper occurs.; int4 & sent17 -> int5: the soiling does not occur.; sent14 & sent4 -> int6: the bibliopolicness happens.; sent13 & int6 -> int7: the singling pencil does not occur and the dockage does not occur.; int7 -> int8: the singling pencil does not occur.; sent3 & int8 -> int9: both the vivisection and the soiling happens.; int9 -> int10: the soiling occurs.; int5 & int10 -> int11: this is contradiction.; [assump1] & int11 -> int12: the vesper does not occur.; int12 & sent6 -> hypothesis; __DISPROVED__