the musket is not a kind of a password.
sent1: that the musket does not palatalize miso does not hold. sent2: if the homeroom does palatalize miso then it is a burn. sent3: something does not palatalize miso if that it is a funicular that is a kind of a fetoscopy is right. sent4: that the homeroom is not a kind of a fetoscopy is right if it is geographic and is a password. sent5: the homeroom is not a fetoscopy if it does not palatalize miso. sent6: the homeroom is not funicular. sent7: the musket is not a kind of a burn if it is not funicular. sent8: the homeroom is not a crank. sent9: if the musket is not precise it palatalizes miso and is not a funicular. sent10: the musket is geographic. sent11: the homeroom is not precise. sent12: if the homeroom is a kind of a burn then the musket is funicular. sent13: the silene is not a kind of a password. sent14: if the homeroom does not palatalize miso it is precise and it is not a kind of a fetoscopy. sent15: the homeroom is not non-geographic but it is not a fetoscopy if it is not a funicular.
void -> assump1: Let's assume that the homeroom does not palatalize miso.; sent14 & assump1 -> int1: the homeroom is a kind of precise thing that is not a fetoscopy.; int1 -> int2: the homeroom is precise.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the homeroom palatalizes miso.; int4 & sent2 -> int5: the homeroom is a burn.; int5 & sent12 -> int6: the musket is a kind of a funicular.; int6 & sent10 -> int7: the musket is geographic and funicular.;
$hypothesis$ = the musket is not a kind of a password. ; $context$ = sent1: that the musket does not palatalize miso does not hold. sent2: if the homeroom does palatalize miso then it is a burn. sent3: something does not palatalize miso if that it is a funicular that is a kind of a fetoscopy is right. sent4: that the homeroom is not a kind of a fetoscopy is right if it is geographic and is a password. sent5: the homeroom is not a fetoscopy if it does not palatalize miso. sent6: the homeroom is not funicular. sent7: the musket is not a kind of a burn if it is not funicular. sent8: the homeroom is not a crank. sent9: if the musket is not precise it palatalizes miso and is not a funicular. sent10: the musket is geographic. sent11: the homeroom is not precise. sent12: if the homeroom is a kind of a burn then the musket is funicular. sent13: the silene is not a kind of a password. sent14: if the homeroom does not palatalize miso it is precise and it is not a kind of a fetoscopy. sent15: the homeroom is not non-geographic but it is not a fetoscopy if it is not a funicular. ; $proof$ = 
void -> assump1: Let's assume that the homeroom does not palatalize miso.; sent14 & assump1 -> int1: the homeroom is a kind of precise thing that is not a fetoscopy.; int1 -> int2: the homeroom is precise.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the homeroom palatalizes miso.; int4 & sent2 -> int5: the homeroom is a burn.; int5 & sent12 -> int6: the musket is a kind of a funicular.; int6 & sent10 -> int7: the musket is geographic and funicular.; __UNKNOWN__