the camp gates original and it is unequal.
sent1: if that something does not scream is not wrong then it does not gate original and it is a chrism. sent2: the tarpan electrifies. sent3: if something is not a funny it is unequal and it electrifies. sent4: the tarpan is not a scream if something is a kind of a sensibility. sent5: there exists something such that that it is a chrism is not wrong. sent6: the legume is unsupportive and/or it is not euclidian if that the tarpan does not gate original is true. sent7: if something is unsupportive it is not a kind of a funny. sent8: if something is non-euclidian then it is not a funny. sent9: the camp is a sensibility if either it is a micturition or it is not neocortical or both. sent10: the young is a scream but not a chrism. sent11: if the tarpan is not unequal that the camp does gate original and it is unequal is not correct. sent12: if the tarpan is not a funny then the legume is unsupportive and euclidian. sent13: if there is something such that it is not a kind of a chrism then the legume is not euclidian. sent14: the camp is not neocortical. sent15: if something that is unequal does electrify it is not a funny.
void -> assump1: Let's assume that the tarpan is unequal.; assump1 & sent2 -> int1: the tarpan is unequal and it electrifies.; sent15 -> int2: if the tarpan is unequal thing that does electrify then it is not a funny.; int1 & int2 -> int3: the tarpan is not a funny.; int3 & sent12 -> int4: the legume is unsupportive and euclidian.; int4 -> int5: the legume is euclidian.; sent10 -> int6: the young is not a chrism.; int6 -> int7: something is not a chrism.; int7 & sent13 -> int8: the legume is not euclidian.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the tarpan is not unequal.; int10 & sent11 -> hypothesis;
the legume does electrify.
sent3 -> int11: the legume is unequal and electrifies if it is not a funny.; sent1 -> int12: the tarpan does not gate original and is a kind of a chrism if it does not scream.; sent14 -> int13: the camp either is a kind of a micturition or is not neocortical or both.; sent9 & int13 -> int14: the camp is a kind of a sensibility.; int14 -> int15: there exists something such that it is a sensibility.; int15 & sent4 -> int16: the tarpan is not a scream.; int12 & int16 -> int17: the tarpan does not gate original but it is a chrism.; int17 -> int18: the tarpan does not gate original.; sent6 & int18 -> int19: the legume is unsupportive or it is not euclidian or both.; sent7 -> int20: the legume is not a kind of a funny if it is unsupportive.; sent8 -> int21: the legume is not a funny if it is not euclidian.; int19 & int20 & int21 -> int22: the legume is not a funny.; int11 & int22 -> int23: the legume is unequal and it does electrify.; int23 -> hypothesis;
$hypothesis$ = the camp gates original and it is unequal. ; $context$ = sent1: if that something does not scream is not wrong then it does not gate original and it is a chrism. sent2: the tarpan electrifies. sent3: if something is not a funny it is unequal and it electrifies. sent4: the tarpan is not a scream if something is a kind of a sensibility. sent5: there exists something such that that it is a chrism is not wrong. sent6: the legume is unsupportive and/or it is not euclidian if that the tarpan does not gate original is true. sent7: if something is unsupportive it is not a kind of a funny. sent8: if something is non-euclidian then it is not a funny. sent9: the camp is a sensibility if either it is a micturition or it is not neocortical or both. sent10: the young is a scream but not a chrism. sent11: if the tarpan is not unequal that the camp does gate original and it is unequal is not correct. sent12: if the tarpan is not a funny then the legume is unsupportive and euclidian. sent13: if there is something such that it is not a kind of a chrism then the legume is not euclidian. sent14: the camp is not neocortical. sent15: if something that is unequal does electrify it is not a funny. ; $proof$ = 
void -> assump1: Let's assume that the tarpan is unequal.; assump1 & sent2 -> int1: the tarpan is unequal and it electrifies.; sent15 -> int2: if the tarpan is unequal thing that does electrify then it is not a funny.; int1 & int2 -> int3: the tarpan is not a funny.; int3 & sent12 -> int4: the legume is unsupportive and euclidian.; int4 -> int5: the legume is euclidian.; sent10 -> int6: the young is not a chrism.; int6 -> int7: something is not a chrism.; int7 & sent13 -> int8: the legume is not euclidian.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the tarpan is not unequal.; int10 & sent11 -> hypothesis; __DISPROVED__