the fact that the handloom freelances hold.
sent1: the fact that the ramontchi is a Methodists is right if something that is tibial does not lexicalize avatar. sent2: the chlorpromazine is not trapezoidal. sent3: the handloom is not freelance if the fact that the bite is Gregorian and/or a Glossinidae is not wrong. sent4: if the engineer is lossless the chlorpromazine is trapezoidal. sent5: if the ramontchi is a kind of a Methodists then the engineer is lossless. sent6: if the fact that something is tibial but it does not lexicalize avatar is wrong it is Gregorian. sent7: if that something does not lexicalize avatar and is not lossless is not correct it does lexicalize avatar.
void -> assump1: Let's assume that the bite is tibial thing that does not lexicalize avatar.; assump1 -> int1: something is tibial thing that does not lexicalize avatar.; int1 & sent1 -> int2: the ramontchi is a Methodists.; int2 & sent5 -> int3: the engineer is lossless.; int3 & sent4 -> int4: the chlorpromazine is trapezoidal.; int4 & sent2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the bite is tibial but it does not lexicalize avatar is false.; sent6 -> int7: if the fact that the bite is tibial but it does not lexicalize avatar does not hold it is Gregorian.; int6 & int7 -> int8: the bite is Gregorian.; int8 -> int9: the bite is Gregorian or is a kind of a Glossinidae or both.; int9 & sent3 -> hypothesis;
the archivist lexicalizes avatar.
sent7 -> int10: if that the archivist does not lexicalize avatar and it is not lossless is wrong it does lexicalize avatar.;
$hypothesis$ = the fact that the handloom freelances hold. ; $context$ = sent1: the fact that the ramontchi is a Methodists is right if something that is tibial does not lexicalize avatar. sent2: the chlorpromazine is not trapezoidal. sent3: the handloom is not freelance if the fact that the bite is Gregorian and/or a Glossinidae is not wrong. sent4: if the engineer is lossless the chlorpromazine is trapezoidal. sent5: if the ramontchi is a kind of a Methodists then the engineer is lossless. sent6: if the fact that something is tibial but it does not lexicalize avatar is wrong it is Gregorian. sent7: if that something does not lexicalize avatar and is not lossless is not correct it does lexicalize avatar. ; $proof$ = 
void -> assump1: Let's assume that the bite is tibial thing that does not lexicalize avatar.; assump1 -> int1: something is tibial thing that does not lexicalize avatar.; int1 & sent1 -> int2: the ramontchi is a Methodists.; int2 & sent5 -> int3: the engineer is lossless.; int3 & sent4 -> int4: the chlorpromazine is trapezoidal.; int4 & sent2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the bite is tibial but it does not lexicalize avatar is false.; sent6 -> int7: if the fact that the bite is tibial but it does not lexicalize avatar does not hold it is Gregorian.; int6 & int7 -> int8: the bite is Gregorian.; int8 -> int9: the bite is Gregorian or is a kind of a Glossinidae or both.; int9 & sent3 -> hypothesis; __DISPROVED__