the fact that the songbook is not unimportant if the chiropractor is a kind of a judge does not hold.
sent1: something is unimportant if it is responsible. sent2: the songbook is unimportant if there exists something such that it splutters megapode or judges or both. sent3: the chiropractor does not splutter megapode if the fact that the brae is not a judge and is responsible is not correct. sent4: if the brae is provencal then that it is not a judge and it is not irresponsible is not correct. sent5: there exists something such that it is unimportant. sent6: if the chiropractor is unimportant the songbook is not a kind of a judge but it does splutter megapode. sent7: if something splutters megapode and/or it is a judge then the songbook is not unimportant.
void -> assump1: Let's assume that the chiropractor judges.; assump1 -> int1: the chiropractor does splutter megapode and/or it is a judge.; int1 -> int2: something does splutter megapode and/or is a judge.; int2 & sent7 -> int3: the songbook is not unimportant.; [assump1] & int3 -> hypothesis;
either the songbook is a leasehold or it is unimportant or both.
$hypothesis$ = the fact that the songbook is not unimportant if the chiropractor is a kind of a judge does not hold. ; $context$ = sent1: something is unimportant if it is responsible. sent2: the songbook is unimportant if there exists something such that it splutters megapode or judges or both. sent3: the chiropractor does not splutter megapode if the fact that the brae is not a judge and is responsible is not correct. sent4: if the brae is provencal then that it is not a judge and it is not irresponsible is not correct. sent5: there exists something such that it is unimportant. sent6: if the chiropractor is unimportant the songbook is not a kind of a judge but it does splutter megapode. sent7: if something splutters megapode and/or it is a judge then the songbook is not unimportant. ; $proof$ = 
void -> assump1: Let's assume that the chiropractor judges.; assump1 -> int1: the chiropractor does splutter megapode and/or it is a judge.; int1 -> int2: something does splutter megapode and/or is a judge.; int2 & sent7 -> int3: the songbook is not unimportant.; [assump1] & int3 -> hypothesis; __DISPROVED__