the fact that the gossamer does persist headmistressship hold.
sent1: if the seven-spot is carnal and it is transoceanic then it is not a perch. sent2: the gossamer is a perch. sent3: the amputator is not auroral. sent4: that the pistoleer is not auroral but it confines stereo is not right if the stereo is arthromeric. sent5: that the tartan is a kind of restrictive a Brown is wrong. sent6: the seven-spot is carnal. sent7: the fact that the stereo is arthromeric hold if the rowan is arthromeric. sent8: the fact that the seven-spot is not transoceanic and it is not carnal is not true if the gossamer is a kind of a perch. sent9: if there exists something such that it does persist headmistressship and is not carnal the seven-spot confines stereo. sent10: the seven-spot does perch. sent11: something does not persist stereo. sent12: the gossamer is carnal. sent13: the genealogist is transoceanic thing that is unpeaceful. sent14: there exists something such that it is not dicotyledonous. sent15: if the fact that the fact that the fact that the vower does confine Mauriac but it is non-arthromeric is not wrong is wrong is not false that the rowan is non-arthromeric is right. sent16: the seven-spot does not persist headmistressship if it confines stereo and it is carnal. sent17: the seven-spot is auroral. sent18: the gossamer is not non-transoceanic. sent19: the fact that that the vower confines Mauriac and is not arthromeric is not right is not wrong if it is not a Brown. sent20: if there is something such that the fact that it is restrictive and is a kind of a Brown is wrong the vower is not a Brown. sent21: if the seven-spot is auroral then it does confine stereo.
void -> assump1: Let's assume that the seven-spot is transoceanic.; sent6 & assump1 -> int1: the seven-spot is not non-carnal and is transoceanic.; int1 & sent1 -> int2: the seven-spot does not perch.; int2 & sent10 -> int3: this is contradiction.; [assump1] & int3 -> int4: the seven-spot is not transoceanic.; sent21 & sent17 -> int5: the seven-spot does confine stereo.; int4 & int5 -> int6: the seven-spot confines stereo but it is not transoceanic.; int6 -> int7: there exists something such that it does confine stereo and is not transoceanic.;
the gossamer does not persist headmistressship.
sent5 -> int8: there is something such that the fact that it is restrictive and it is a Brown is wrong.; int8 & sent20 -> int9: the vower is not a Brown.; sent19 & int9 -> int10: the fact that the vower confines Mauriac but it is not arthromeric is false.; sent15 & int10 -> int11: the fact that the rowan is arthromeric is not wrong.; sent7 & int11 -> int12: the stereo is arthromeric.; sent4 & int12 -> int13: that the pistoleer is not auroral and confines stereo does not hold.; int13 -> int14: there is something such that that it is non-auroral thing that does confine stereo does not hold.;
$hypothesis$ = the fact that the gossamer does persist headmistressship hold. ; $context$ = sent1: if the seven-spot is carnal and it is transoceanic then it is not a perch. sent2: the gossamer is a perch. sent3: the amputator is not auroral. sent4: that the pistoleer is not auroral but it confines stereo is not right if the stereo is arthromeric. sent5: that the tartan is a kind of restrictive a Brown is wrong. sent6: the seven-spot is carnal. sent7: the fact that the stereo is arthromeric hold if the rowan is arthromeric. sent8: the fact that the seven-spot is not transoceanic and it is not carnal is not true if the gossamer is a kind of a perch. sent9: if there exists something such that it does persist headmistressship and is not carnal the seven-spot confines stereo. sent10: the seven-spot does perch. sent11: something does not persist stereo. sent12: the gossamer is carnal. sent13: the genealogist is transoceanic thing that is unpeaceful. sent14: there exists something such that it is not dicotyledonous. sent15: if the fact that the fact that the fact that the vower does confine Mauriac but it is non-arthromeric is not wrong is wrong is not false that the rowan is non-arthromeric is right. sent16: the seven-spot does not persist headmistressship if it confines stereo and it is carnal. sent17: the seven-spot is auroral. sent18: the gossamer is not non-transoceanic. sent19: the fact that that the vower confines Mauriac and is not arthromeric is not right is not wrong if it is not a Brown. sent20: if there is something such that the fact that it is restrictive and is a kind of a Brown is wrong the vower is not a Brown. sent21: if the seven-spot is auroral then it does confine stereo. ; $proof$ = 
void -> assump1: Let's assume that the seven-spot is transoceanic.; sent6 & assump1 -> int1: the seven-spot is not non-carnal and is transoceanic.; int1 & sent1 -> int2: the seven-spot does not perch.; int2 & sent10 -> int3: this is contradiction.; [assump1] & int3 -> int4: the seven-spot is not transoceanic.; sent21 & sent17 -> int5: the seven-spot does confine stereo.; int4 & int5 -> int6: the seven-spot confines stereo but it is not transoceanic.; int6 -> int7: there exists something such that it does confine stereo and is not transoceanic.; __UNKNOWN__