the fact that the raisin is not a kind of a megalosaur but it is a aloes is false.
sent1: the appendicle is an ideologist and it is flowery. sent2: that if the geordie is not the aloes then the geordie is not a algorism hold. sent3: the appendicle is gothic if the geordie is a algorism and a megalosaur. sent4: the fact that something is a algorism is right if it is suborbital. sent5: something is not a kind of a megalosaur if it is not a shed. sent6: the appendicle is a shed and it is gothic. sent7: something is suborbital if the fact that it does mediate and/or it is not gothic does not hold. sent8: the appendicle is mediate if the elater is gothic but it is not a kind of a aloes. sent9: if something is not suborbital it is a algorism and is not an anti. sent10: that the elater does not mediate is right if the appendicle is gothic. sent11: if the geordie is a kind of a algorism but it is not anti then the elater is mediate. sent12: if the fact that something is a algorism is not incorrect then that the appendicle is a kind of an anti and it is gothic is false. sent13: if there exists something such that it is suborbital that that the raisin is not a megalosaur but a aloes is not wrong is incorrect. sent14: the geordie is a algorism. sent15: the elater is a kind of a shed but it is not gothic if it is not mediate. sent16: if something is suborbital it is not a megalosaur and it is a aloes.
sent9 -> int1: the geordie is both a algorism and not anti if it is not suborbital.; void -> assump1: Let's assume that the geordie is non-suborbital.; int1 & assump1 -> int2: the geordie is a kind of a algorism that is not an anti.; int2 & sent11 -> int3: the elater does mediate.; sent6 -> int4: the appendicle is gothic.; sent10 & int4 -> int5: the elater is not mediate.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the geordie is suborbital.; int7 -> int8: there is something such that it is suborbital.; int8 & sent13 -> hypothesis;
the swearer is a algorism.
sent4 -> int9: the swearer is a algorism if it is suborbital.;
$hypothesis$ = the fact that the raisin is not a kind of a megalosaur but it is a aloes is false. ; $context$ = sent1: the appendicle is an ideologist and it is flowery. sent2: that if the geordie is not the aloes then the geordie is not a algorism hold. sent3: the appendicle is gothic if the geordie is a algorism and a megalosaur. sent4: the fact that something is a algorism is right if it is suborbital. sent5: something is not a kind of a megalosaur if it is not a shed. sent6: the appendicle is a shed and it is gothic. sent7: something is suborbital if the fact that it does mediate and/or it is not gothic does not hold. sent8: the appendicle is mediate if the elater is gothic but it is not a kind of a aloes. sent9: if something is not suborbital it is a algorism and is not an anti. sent10: that the elater does not mediate is right if the appendicle is gothic. sent11: if the geordie is a kind of a algorism but it is not anti then the elater is mediate. sent12: if the fact that something is a algorism is not incorrect then that the appendicle is a kind of an anti and it is gothic is false. sent13: if there exists something such that it is suborbital that that the raisin is not a megalosaur but a aloes is not wrong is incorrect. sent14: the geordie is a algorism. sent15: the elater is a kind of a shed but it is not gothic if it is not mediate. sent16: if something is suborbital it is not a megalosaur and it is a aloes. ; $proof$ = 
sent9 -> int1: the geordie is both a algorism and not anti if it is not suborbital.; void -> assump1: Let's assume that the geordie is non-suborbital.; int1 & assump1 -> int2: the geordie is a kind of a algorism that is not an anti.; int2 & sent11 -> int3: the elater does mediate.; sent6 -> int4: the appendicle is gothic.; sent10 & int4 -> int5: the elater is not mediate.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the geordie is suborbital.; int7 -> int8: there is something such that it is suborbital.; int8 & sent13 -> hypothesis; __PROVED__