that if that the locum is not a misbehavior and does enroll is incorrect then the grounds is a kind of a Mancunian is incorrect.
sent1: if something that is not a kind of a quartet is purgatorial then the grounds is a Mancunian. sent2: something is not a misbehavior and enrolls if the fact that it is non-purgatorial is correct. sent3: if that the locum is a kind of a misbehavior and it enrolls is false then the grounds is a Mancunian. sent4: something that is not a kind of an angst does not traffic Albulidae and determines bailey. sent5: the locum does enroll and is a cast. sent6: the grounds is a misbehavior. sent7: the fact that the fact that something is a quartet and breakable does not hold if it is not a cast is correct. sent8: the dictostylium is not a decker. sent9: the fact that the locum is not a quartet hold if there exists something such that that it is a kind of a quartet and it is a kind of a breakable is not true. sent10: the fact that the dictostylium does cast and does not dogmatize Spender is not right. sent11: the dictostylium is not a cast if the fact that it does cast and does not dogmatize Spender does not hold. sent12: the dictostylium is purgatorial. sent13: the fact that either the sulfide is not a cast or it is not a kind of a breakable or both is not right if it is fungal. sent14: if the dictostylium is purgatorial the grounds does not dogmatize Spender. sent15: if that the fact that the sulfide is not a cast or not a breakable or both is not true hold the fact that the dick is not a kind of a Mancunian is not wrong. sent16: that something is a Libyan and is a pane hold. sent17: the locum is not a kind of a quartet if something is not a quartet.
sent2 -> int1: the locum is not a kind of a misbehavior and enrolls if that it is not purgatorial is not false.; void -> assump1: Let's assume that the locum is not purgatorial.; int1 & assump1 -> int2: the locum is not a misbehavior but it enrolls.; void -> assump2: Let's assume that the fact that the locum is not a kind of a misbehavior and does enroll is not true.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the locum is not non-purgatorial is true.; sent7 -> int5: that that the dictostylium is a quartet and is breakable is wrong is true if it is not a cast.; sent11 & sent10 -> int6: the dictostylium does not cast.; int5 & int6 -> int7: that the dictostylium is a quartet and is a breakable is incorrect.; int7 -> int8: there is something such that that it is a quartet and a breakable is not right.; int8 & sent9 -> int9: the locum is not a quartet.; int4 & int9 -> int10: the locum is not a quartet but it is purgatorial.; int10 -> int11: something is not a quartet and is purgatorial.; int11 & sent1 -> int12: the grounds is a kind of a Mancunian.; [assump2] & int12 -> hypothesis;
the grounds does not dogmatize Spender.
$hypothesis$ = that if that the locum is not a misbehavior and does enroll is incorrect then the grounds is a kind of a Mancunian is incorrect. ; $context$ = sent1: if something that is not a kind of a quartet is purgatorial then the grounds is a Mancunian. sent2: something is not a misbehavior and enrolls if the fact that it is non-purgatorial is correct. sent3: if that the locum is a kind of a misbehavior and it enrolls is false then the grounds is a Mancunian. sent4: something that is not a kind of an angst does not traffic Albulidae and determines bailey. sent5: the locum does enroll and is a cast. sent6: the grounds is a misbehavior. sent7: the fact that the fact that something is a quartet and breakable does not hold if it is not a cast is correct. sent8: the dictostylium is not a decker. sent9: the fact that the locum is not a quartet hold if there exists something such that that it is a kind of a quartet and it is a kind of a breakable is not true. sent10: the fact that the dictostylium does cast and does not dogmatize Spender is not right. sent11: the dictostylium is not a cast if the fact that it does cast and does not dogmatize Spender does not hold. sent12: the dictostylium is purgatorial. sent13: the fact that either the sulfide is not a cast or it is not a kind of a breakable or both is not right if it is fungal. sent14: if the dictostylium is purgatorial the grounds does not dogmatize Spender. sent15: if that the fact that the sulfide is not a cast or not a breakable or both is not true hold the fact that the dick is not a kind of a Mancunian is not wrong. sent16: that something is a Libyan and is a pane hold. sent17: the locum is not a kind of a quartet if something is not a quartet. ; $proof$ = 
sent2 -> int1: the locum is not a kind of a misbehavior and enrolls if that it is not purgatorial is not false.; void -> assump1: Let's assume that the locum is not purgatorial.; int1 & assump1 -> int2: the locum is not a misbehavior but it enrolls.; void -> assump2: Let's assume that the fact that the locum is not a kind of a misbehavior and does enroll is not true.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the locum is not non-purgatorial is true.; sent7 -> int5: that that the dictostylium is a quartet and is breakable is wrong is true if it is not a cast.; sent11 & sent10 -> int6: the dictostylium does not cast.; int5 & int6 -> int7: that the dictostylium is a quartet and is a breakable is incorrect.; int7 -> int8: there is something such that that it is a quartet and a breakable is not right.; int8 & sent9 -> int9: the locum is not a quartet.; int4 & int9 -> int10: the locum is not a quartet but it is purgatorial.; int10 -> int11: something is not a quartet and is purgatorial.; int11 & sent1 -> int12: the grounds is a kind of a Mancunian.; [assump2] & int12 -> hypothesis; __DISPROVED__