the RN is Modern.
sent1: the arousal does not acquire if the RN does not perpetuate leucothoe but it is Modern. sent2: the arousal does perpetuate leucothoe if the thymine shafts separatist. sent3: the arousal is not empty but Modern. sent4: the RN does acquire and is a load. sent5: the arousal is a kind of a load. sent6: if the thymine does not load and acquires the RN does not perpetuate cyber-terrorism. sent7: if something is Modern then it does not perpetuate cyber-terrorism and it acquires. sent8: the thymine does perpetuate leucothoe. sent9: the thymine does shaft separatist and is a load. sent10: the fact that the kaffiyeh does not load hold. sent11: the RN does holler and perpetuates leucothoe. sent12: something is non-Modern thing that does acquire if it shafts separatist. sent13: that the arousal does not perpetuate cyber-terrorism is not wrong. sent14: if the RN perpetuates cyber-terrorism then it does not shaft separatist and it perpetuates leucothoe. sent15: the fact that the RN does acquire is not wrong. sent16: if the RN is Modern it acquires. sent17: the leucothoe is not Modern and does evict tricot. sent18: the fact that the thymine is a load hold. sent19: the arousal does not perpetuate leucothoe if the RN does not perpetuate cyber-terrorism but it does acquire. sent20: if something does not load then it shafts separatist and it does not perpetuate leucothoe. sent21: if something is Modern then it acquires.
sent7 -> int1: the RN does not perpetuate cyber-terrorism and does acquire if the fact that it is Modern hold.; void -> assump1: Let's assume that the RN is Modern.; int1 & assump1 -> int2: the RN does not perpetuate cyber-terrorism but it does acquire.; int2 & sent19 -> int3: the arousal does not perpetuate leucothoe.; sent9 -> int4: the thymine does shaft separatist.; sent2 & int4 -> int5: the arousal does perpetuate leucothoe.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the RN is Modern.
sent20 -> int7: if the arousal is not a load it does shaft separatist and it does not perpetuate leucothoe.;
$hypothesis$ = the RN is Modern. ; $context$ = sent1: the arousal does not acquire if the RN does not perpetuate leucothoe but it is Modern. sent2: the arousal does perpetuate leucothoe if the thymine shafts separatist. sent3: the arousal is not empty but Modern. sent4: the RN does acquire and is a load. sent5: the arousal is a kind of a load. sent6: if the thymine does not load and acquires the RN does not perpetuate cyber-terrorism. sent7: if something is Modern then it does not perpetuate cyber-terrorism and it acquires. sent8: the thymine does perpetuate leucothoe. sent9: the thymine does shaft separatist and is a load. sent10: the fact that the kaffiyeh does not load hold. sent11: the RN does holler and perpetuates leucothoe. sent12: something is non-Modern thing that does acquire if it shafts separatist. sent13: that the arousal does not perpetuate cyber-terrorism is not wrong. sent14: if the RN perpetuates cyber-terrorism then it does not shaft separatist and it perpetuates leucothoe. sent15: the fact that the RN does acquire is not wrong. sent16: if the RN is Modern it acquires. sent17: the leucothoe is not Modern and does evict tricot. sent18: the fact that the thymine is a load hold. sent19: the arousal does not perpetuate leucothoe if the RN does not perpetuate cyber-terrorism but it does acquire. sent20: if something does not load then it shafts separatist and it does not perpetuate leucothoe. sent21: if something is Modern then it acquires. ; $proof$ = 
sent7 -> int1: the RN does not perpetuate cyber-terrorism and does acquire if the fact that it is Modern hold.; void -> assump1: Let's assume that the RN is Modern.; int1 & assump1 -> int2: the RN does not perpetuate cyber-terrorism but it does acquire.; int2 & sent19 -> int3: the arousal does not perpetuate leucothoe.; sent9 -> int4: the thymine does shaft separatist.; sent2 & int4 -> int5: the arousal does perpetuate leucothoe.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __DISPROVED__