the mosaic is not imperfect.
sent1: The Germanic does tin mosaic. sent2: if the mosaic is not imperfect then the fact that it does tin porphyrin and it is not a in-law is false. sent3: the mosaic does tin Germanic. sent4: if the satirist is a Sida then it is not hypodermal and it is a kind of a encainide. sent5: the mosaic does not tin Germanic if that it does tin porphyrin and is not a kind of a in-law is false. sent6: if something is not a speck then the fact that it does tin Germanic and it is imperfect is not true. sent7: the fact that the mosaic is imperfect and it tins Germanic hold if there exists something such that it is not a speck.
void -> assump1: Let's assume that the mosaic is not imperfect.; sent2 & assump1 -> int1: the fact that the mosaic tins porphyrin and is not a kind of a in-law does not hold.; int1 & sent5 -> int2: the mosaic does not tin Germanic.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the whisker is a in-law.
$hypothesis$ = the mosaic is not imperfect. ; $context$ = sent1: The Germanic does tin mosaic. sent2: if the mosaic is not imperfect then the fact that it does tin porphyrin and it is not a in-law is false. sent3: the mosaic does tin Germanic. sent4: if the satirist is a Sida then it is not hypodermal and it is a kind of a encainide. sent5: the mosaic does not tin Germanic if that it does tin porphyrin and is not a kind of a in-law is false. sent6: if something is not a speck then the fact that it does tin Germanic and it is imperfect is not true. sent7: the fact that the mosaic is imperfect and it tins Germanic hold if there exists something such that it is not a speck. ; $proof$ = 
void -> assump1: Let's assume that the mosaic is not imperfect.; sent2 & assump1 -> int1: the fact that the mosaic tins porphyrin and is not a kind of a in-law does not hold.; int1 & sent5 -> int2: the mosaic does not tin Germanic.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__