the shielding is not blue-collar.
sent1: the tannoy is not insular if the fact that it is a kind of a vestry and it is insular is not right. sent2: if the payer is not insular that it does not subject Dylan and is blue-collar is wrong. sent3: if the fact that something is not arachnoid and does subject Dylan is not true then it is not blue-collar. sent4: if something is non-arachnoid thing that subjects Dylan it is insular. sent5: everything does not cutinize Fontenoy. sent6: if there exists something such that that it does not cutinize Fontenoy and is insular is incorrect the shielding is not insular. sent7: that the payer does not cutinize Fontenoy but it is insular is not correct.
sent4 -> int1: the fact that the shielding is insular if the shielding is a kind of non-arachnoid thing that does subject Dylan is true.; void -> assump1: Let's assume that the shielding is not a arachnoid but it subjects Dylan.; int1 & assump1 -> int2: the shielding is insular.; sent7 -> int3: there is something such that that it does not cutinize Fontenoy and it is insular is not true.; int3 & sent6 -> int4: the shielding is not insular.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the shielding is not a arachnoid but it subjects Dylan is not right.; sent3 -> int7: if that the shielding is non-arachnoid thing that does subject Dylan is incorrect then it is not blue-collar.; int6 & int7 -> hypothesis;
the faucet does subject Dylan.
sent5 -> int8: the L-plate does not cutinize Fontenoy.;
$hypothesis$ = the shielding is not blue-collar. ; $context$ = sent1: the tannoy is not insular if the fact that it is a kind of a vestry and it is insular is not right. sent2: if the payer is not insular that it does not subject Dylan and is blue-collar is wrong. sent3: if the fact that something is not arachnoid and does subject Dylan is not true then it is not blue-collar. sent4: if something is non-arachnoid thing that subjects Dylan it is insular. sent5: everything does not cutinize Fontenoy. sent6: if there exists something such that that it does not cutinize Fontenoy and is insular is incorrect the shielding is not insular. sent7: that the payer does not cutinize Fontenoy but it is insular is not correct. ; $proof$ = 
sent4 -> int1: the fact that the shielding is insular if the shielding is a kind of non-arachnoid thing that does subject Dylan is true.; void -> assump1: Let's assume that the shielding is not a arachnoid but it subjects Dylan.; int1 & assump1 -> int2: the shielding is insular.; sent7 -> int3: there is something such that that it does not cutinize Fontenoy and it is insular is not true.; int3 & sent6 -> int4: the shielding is not insular.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the shielding is not a arachnoid but it subjects Dylan is not right.; sent3 -> int7: if that the shielding is non-arachnoid thing that does subject Dylan is incorrect then it is not blue-collar.; int6 & int7 -> hypothesis; __PROVED__