the doorkeeper chances masked.
sent1: something is not a marlite. sent2: if something fabricates cardroom it is not a marlite and/or it chances masked. sent3: if the fact that the yellowwood is not a bandit hold the fact that it does not fabricate cardroom and is not a parliamentarian is incorrect. sent4: the doorkeeper is not a marlite. sent5: the wave is not a bandit but it fabricates cardroom if the yellowwood does not fabricates cardroom. sent6: the fact that the wave is a bandit and it is a parliamentarian is true. sent7: that something is not a marlite and it does not chance masked is not right if it does fabricate cardroom. sent8: there exists something such that it does not chance masked.
void -> assump1: Let's assume that the doorkeeper does not chance masked.; assump1 & sent4 -> int1: the doorkeeper does not chance masked and is not a marlite.; int1 -> int2: something does not chance masked and it is not a marlite.; sent6 -> int3: the wave is a kind of a bandit.;
the doorkeeper does not chance masked.
sent7 -> int4: if the yellowwood does fabricate cardroom then the fact that it is not a marlite and it does not chance masked is not right.;
$hypothesis$ = the doorkeeper chances masked. ; $context$ = sent1: something is not a marlite. sent2: if something fabricates cardroom it is not a marlite and/or it chances masked. sent3: if the fact that the yellowwood is not a bandit hold the fact that it does not fabricate cardroom and is not a parliamentarian is incorrect. sent4: the doorkeeper is not a marlite. sent5: the wave is not a bandit but it fabricates cardroom if the yellowwood does not fabricates cardroom. sent6: the fact that the wave is a bandit and it is a parliamentarian is true. sent7: that something is not a marlite and it does not chance masked is not right if it does fabricate cardroom. sent8: there exists something such that it does not chance masked. ; $proof$ = 
void -> assump1: Let's assume that the doorkeeper does not chance masked.; assump1 & sent4 -> int1: the doorkeeper does not chance masked and is not a marlite.; int1 -> int2: something does not chance masked and it is not a marlite.; sent6 -> int3: the wave is a kind of a bandit.; __UNKNOWN__