the flogger is not a kind of a step.
sent1: if the deputy does not forecast the fact that the flogger is not a kind of a bootlegging and is incomplete is incorrect. sent2: if the goblet is not incomplete the flogger does bootleg but it is not a kind of a step. sent3: the flogger is either incomplete or not non-brotherly or both. sent4: if something does forecast it is not incomplete. sent5: the deputy does not forecast. sent6: the flogger is incomplete if the goblet is not a vaulting. sent7: the flogger is a step if it does bootleg. sent8: the flogger is incomplete if the goblet is not a vaulting and/or it is brotherly. sent9: either the goblet is not a vaulting or it is brotherly or both.
sent8 & sent9 -> int1: the flogger is incomplete.; void -> assump1: Let's assume that the flogger is not a bootlegging.; int1 & assump1 -> int2: the flogger is not a bootlegging but incomplete.; sent1 & sent5 -> int3: that the flogger is not a bootlegging but it is incomplete is not right.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the flogger does bootleg.; int5 & sent7 -> hypothesis;
the flogger is not a kind of a step.
sent4 -> int6: the goblet is not incomplete if it does forecast.;
$hypothesis$ = the flogger is not a kind of a step. ; $context$ = sent1: if the deputy does not forecast the fact that the flogger is not a kind of a bootlegging and is incomplete is incorrect. sent2: if the goblet is not incomplete the flogger does bootleg but it is not a kind of a step. sent3: the flogger is either incomplete or not non-brotherly or both. sent4: if something does forecast it is not incomplete. sent5: the deputy does not forecast. sent6: the flogger is incomplete if the goblet is not a vaulting. sent7: the flogger is a step if it does bootleg. sent8: the flogger is incomplete if the goblet is not a vaulting and/or it is brotherly. sent9: either the goblet is not a vaulting or it is brotherly or both. ; $proof$ = 
sent8 & sent9 -> int1: the flogger is incomplete.; void -> assump1: Let's assume that the flogger is not a bootlegging.; int1 & assump1 -> int2: the flogger is not a bootlegging but incomplete.; sent1 & sent5 -> int3: that the flogger is not a bootlegging but it is incomplete is not right.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the flogger does bootleg.; int5 & sent7 -> hypothesis; __DISPROVED__