the start is a room and it is a kind of a lockout.
sent1: the start is not a bonito and it is not a loathsomeness if the mentum is not a kind of a lockout. sent2: the WASP is a dowel and/or it is a Adonic. sent3: the WASP is a bonito. sent4: the start is a room if the mentum does not dart Stockholm. sent5: either the WASP is a Adonic or it is a lockout or both. sent6: the start is a lockout if the WASP is a kind of a Adonic. sent7: if the WASP is a lockout then the start is a lockout. sent8: the fact that the mentum is not a kind of a room is true if that it is a room that does not dart Stockholm does not hold. sent9: the mentum is non-Glaswegian. sent10: the WASP is not a loathsomeness if there exists something such that that it is not a room and is a bonito does not hold. sent11: that something is a room but it does not dart Stockholm is wrong if it is not a loathsomeness. sent12: the coprophagy does not average ready-to-wear and does not dart Stockholm. sent13: the coprophagy is not a dowel. sent14: if the mentum is not a room the start is not a bonito. sent15: the coprophagy is a Adonic. sent16: the mentum is a loathsomeness if it does dart Stockholm. sent17: if the coprophagy is not a dowel then the mentum is both not a bonito and not Glaswegian. sent18: if something is a lockout the fact that it is not a room and is a bonito is not correct.
void -> assump1: Let's assume that that the mentum does not dart Stockholm does not hold.; sent16 & assump1 -> int1: the mentum is a loathsomeness.; sent17 & sent13 -> int2: the mentum is not a kind of a bonito and is not a Glaswegian.; int2 -> int3: the fact that the mentum is not a bonito hold.; sent5 & sent6 & sent7 -> int4: the start is a lockout.;
the start is not a dowel.
sent18 -> int5: if the chanfron is a kind of a lockout then that it is not a room but a bonito is not right.;
$hypothesis$ = the start is a room and it is a kind of a lockout. ; $context$ = sent1: the start is not a bonito and it is not a loathsomeness if the mentum is not a kind of a lockout. sent2: the WASP is a dowel and/or it is a Adonic. sent3: the WASP is a bonito. sent4: the start is a room if the mentum does not dart Stockholm. sent5: either the WASP is a Adonic or it is a lockout or both. sent6: the start is a lockout if the WASP is a kind of a Adonic. sent7: if the WASP is a lockout then the start is a lockout. sent8: the fact that the mentum is not a kind of a room is true if that it is a room that does not dart Stockholm does not hold. sent9: the mentum is non-Glaswegian. sent10: the WASP is not a loathsomeness if there exists something such that that it is not a room and is a bonito does not hold. sent11: that something is a room but it does not dart Stockholm is wrong if it is not a loathsomeness. sent12: the coprophagy does not average ready-to-wear and does not dart Stockholm. sent13: the coprophagy is not a dowel. sent14: if the mentum is not a room the start is not a bonito. sent15: the coprophagy is a Adonic. sent16: the mentum is a loathsomeness if it does dart Stockholm. sent17: if the coprophagy is not a dowel then the mentum is both not a bonito and not Glaswegian. sent18: if something is a lockout the fact that it is not a room and is a bonito is not correct. ; $proof$ = 
void -> assump1: Let's assume that that the mentum does not dart Stockholm does not hold.; sent16 & assump1 -> int1: the mentum is a loathsomeness.; sent17 & sent13 -> int2: the mentum is not a kind of a bonito and is not a Glaswegian.; int2 -> int3: the fact that the mentum is not a bonito hold.; sent5 & sent6 & sent7 -> int4: the start is a lockout.; __UNKNOWN__