the knitting is not a kind of a classroom.
sent1: the knitting is not a kind of a classroom if the fact that the demijohn is not a kind of a classroom and is camphoric is not true. sent2: the knitting divests. sent3: if the guidebook is a heretic and/or quietens subnormality it is not a kind of a rimu. sent4: if a camphoric thing is not a tee it does not quieten subnormality. sent5: if the guidebook divests then the knitting is a classroom. sent6: if the knitting is not a classroom the fact that the guidebook is a heretic and it is a rimu is wrong. sent7: if the guidebook does not divest it is a rimu. sent8: the guidebook is a heretic or it does quieten subnormality or both.
void -> assump1: Let's assume that that the guidebook does not divest hold.; sent7 & assump1 -> int1: the guidebook is a rimu.; sent3 & sent8 -> int2: the guidebook is not a rimu.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the guidebook does divest.; int4 & sent5 -> hypothesis;
the Byelorussian does quieten subnormality.
$hypothesis$ = the knitting is not a kind of a classroom. ; $context$ = sent1: the knitting is not a kind of a classroom if the fact that the demijohn is not a kind of a classroom and is camphoric is not true. sent2: the knitting divests. sent3: if the guidebook is a heretic and/or quietens subnormality it is not a kind of a rimu. sent4: if a camphoric thing is not a tee it does not quieten subnormality. sent5: if the guidebook divests then the knitting is a classroom. sent6: if the knitting is not a classroom the fact that the guidebook is a heretic and it is a rimu is wrong. sent7: if the guidebook does not divest it is a rimu. sent8: the guidebook is a heretic or it does quieten subnormality or both. ; $proof$ = 
void -> assump1: Let's assume that that the guidebook does not divest hold.; sent7 & assump1 -> int1: the guidebook is a rimu.; sent3 & sent8 -> int2: the guidebook is not a rimu.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the guidebook does divest.; int4 & sent5 -> hypothesis; __DISPROVED__