the archerfish is not a world-weariness.
sent1: the starlight does not stock. sent2: the fact that something is non-collegiate and angles alkapton is not correct if the fact that it does stock is not false. sent3: if the starlight is a stocked that is not contrasty that the archerfish is not a kind of a world-weariness is correct. sent4: the arbovirus does not horse. sent5: if the archerfish is contrasty then the fact that the fact that it does not angle alkapton and it is a world-weariness is true does not hold. sent6: the fact that the arbovirus is a championship and it is a kind of a ornithischian is false. sent7: if the arbovirus is not collegiate then the starlight is not a kind of a stocked. sent8: the archerfish is a stocked. sent9: something is not contrasty and it is not a world-weariness if it is not a Defoe. sent10: if the arbovirus is a championship it does angle alkapton. sent11: if the arbovirus is collegiate that it is both not a championship and a ornithischian is incorrect. sent12: the fact that the starlight is not a kind of a stocked and it is not contrasty if the arbovirus is not collegiate hold. sent13: the archerfish is not a kind of a world-weariness if the starlight is not a stocked and not contrasty. sent14: if the fact that the starlight is not a Defoe hold then the arbovirus is a stocked that is contrasty. sent15: the fact that the arbovirus is a kind of a championship and is a ornithischian is wrong if it is collegiate. sent16: if that the missionary is a kind of non-calcic thing that is a horse does not hold then the starlight is not a kind of a Defoe. sent17: if that something is a kind of a Defoe and it does angle alkapton is wrong then it does not angle alkapton. sent18: if the fact that something is not a championship but it is a ornithischian is not true then it angles alkapton. sent19: that the arbovirus is a kind of a Defoe and it angles alkapton is false if it does not horse. sent20: the fact that the fact that the archerfish is both not contrasty and the world-weariness does not hold if the fact that the archerfish is a Defoe is true is not false. sent21: that the arbovirus is a Pilate and it is a stocked is not correct if it is not a kind of a cosmopolitan. sent22: if the missionary is not contrasty and it is not a world-weariness then the archerfish is contrasty. sent23: if something is a championship then it does angle alkapton.
void -> assump1: Let's assume that the arbovirus is collegiate.; sent11 & assump1 -> int1: the fact that the arbovirus is not a championship and is a ornithischian does not hold.; sent18 -> int2: the arbovirus does angle alkapton if that it is not a championship and is a kind of a ornithischian is wrong.; int1 & int2 -> int3: the arbovirus does angle alkapton.; sent17 -> int4: if the fact that the fact that the arbovirus is a Defoe and does angle alkapton does not hold is not wrong it does not angle alkapton.; sent19 & sent4 -> int5: the fact that the arbovirus is a Defoe and it angles alkapton is not true.; int4 & int5 -> int6: the arbovirus does not angle alkapton.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the arbovirus is not collegiate.; int8 & sent12 -> int9: the starlight is not a stocked and it is not contrasty.; int9 & sent13 -> hypothesis;
the arbovirus is not a stocked.
sent9 -> int10: if that the missionary is not a Defoe is true then it is non-contrasty thing that is not a world-weariness.;
$hypothesis$ = the archerfish is not a world-weariness. ; $context$ = sent1: the starlight does not stock. sent2: the fact that something is non-collegiate and angles alkapton is not correct if the fact that it does stock is not false. sent3: if the starlight is a stocked that is not contrasty that the archerfish is not a kind of a world-weariness is correct. sent4: the arbovirus does not horse. sent5: if the archerfish is contrasty then the fact that the fact that it does not angle alkapton and it is a world-weariness is true does not hold. sent6: the fact that the arbovirus is a championship and it is a kind of a ornithischian is false. sent7: if the arbovirus is not collegiate then the starlight is not a kind of a stocked. sent8: the archerfish is a stocked. sent9: something is not contrasty and it is not a world-weariness if it is not a Defoe. sent10: if the arbovirus is a championship it does angle alkapton. sent11: if the arbovirus is collegiate that it is both not a championship and a ornithischian is incorrect. sent12: the fact that the starlight is not a kind of a stocked and it is not contrasty if the arbovirus is not collegiate hold. sent13: the archerfish is not a kind of a world-weariness if the starlight is not a stocked and not contrasty. sent14: if the fact that the starlight is not a Defoe hold then the arbovirus is a stocked that is contrasty. sent15: the fact that the arbovirus is a kind of a championship and is a ornithischian is wrong if it is collegiate. sent16: if that the missionary is a kind of non-calcic thing that is a horse does not hold then the starlight is not a kind of a Defoe. sent17: if that something is a kind of a Defoe and it does angle alkapton is wrong then it does not angle alkapton. sent18: if the fact that something is not a championship but it is a ornithischian is not true then it angles alkapton. sent19: that the arbovirus is a kind of a Defoe and it angles alkapton is false if it does not horse. sent20: the fact that the fact that the archerfish is both not contrasty and the world-weariness does not hold if the fact that the archerfish is a Defoe is true is not false. sent21: that the arbovirus is a Pilate and it is a stocked is not correct if it is not a kind of a cosmopolitan. sent22: if the missionary is not contrasty and it is not a world-weariness then the archerfish is contrasty. sent23: if something is a championship then it does angle alkapton. ; $proof$ = 
void -> assump1: Let's assume that the arbovirus is collegiate.; sent11 & assump1 -> int1: the fact that the arbovirus is not a championship and is a ornithischian does not hold.; sent18 -> int2: the arbovirus does angle alkapton if that it is not a championship and is a kind of a ornithischian is wrong.; int1 & int2 -> int3: the arbovirus does angle alkapton.; sent17 -> int4: if the fact that the fact that the arbovirus is a Defoe and does angle alkapton does not hold is not wrong it does not angle alkapton.; sent19 & sent4 -> int5: the fact that the arbovirus is a Defoe and it angles alkapton is not true.; int4 & int5 -> int6: the arbovirus does not angle alkapton.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the arbovirus is not collegiate.; int8 & sent12 -> int9: the starlight is not a stocked and it is not contrasty.; int9 & sent13 -> hypothesis; __PROVED__