the poorhouse is not unsocial.
sent1: The one-hundred-thousandth does empty inlay. sent2: if the wolframite is unsocial the poorhouse is unsocial. sent3: the fact that the inlay sizes and it tones is not correct if the wolframite is not a kestrel. sent4: the inlay does empty one-hundred-thousandth. sent5: the fact that the wolframite does consolidate thrombus and is a kind of an adaptability is not right. sent6: if the inlay is unsocial the wolframite is unsocial. sent7: if the inlay empties one-hundred-thousandth it is parabolic. sent8: if the fact that the poorhouse is not neurobiological and is not unsocial does not hold that it does not consolidate thrombus is not wrong. sent9: if the poorhouse does not consolidate thrombus then the fact that the wolframite does consolidate thrombus but it is not a kind of an adaptability is false. sent10: something is not a kestrel if that it does consolidate thrombus and is not an adaptability is wrong. sent11: the wolframite is not a kestrel if it is an adaptability. sent12: if the fact that something is a kind of a size and it is a tone is false then it is not parabolic. sent13: the fact that the trunk is an adaptability but it does not consolidate thrombus does not hold. sent14: the fact that the poorhouse is not neurobiological but it is unsocial does not hold. sent15: the inlay is not parabolic if it does not size. sent16: if that the wolframite does not consolidate thrombus is not incorrect that the poorhouse consolidate thrombus and is an adaptability is not correct.
void -> assump1: Let's assume that the fact that the poorhouse is non-neurobiological thing that is social is not correct.; sent8 & assump1 -> int1: the poorhouse does not consolidate thrombus.; int1 & sent9 -> int2: that that that the wolframite does consolidate thrombus but it is not an adaptability hold does not hold is true.; sent10 -> int3: the fact that the wolframite is a kestrel does not hold if that it does consolidate thrombus and it is not a kind of an adaptability is not true.; int2 & int3 -> int4: the wolframite is not a kestrel.; int4 & sent3 -> int5: that the inlay sizes and it is a tone is not right.; sent12 -> int6: the inlay is not parabolic if the fact that it is a size and a tone is wrong.; int5 & int6 -> int7: the inlay is not parabolic.; sent7 & sent4 -> int8: the inlay is parabolic.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the poorhouse is not neurobiological and it is not unsocial.; int10 -> hypothesis;
the poorhouse is unsocial.
sent13 -> int11: there is something such that that it is an adaptability that does not consolidate thrombus is wrong.;
$hypothesis$ = the poorhouse is not unsocial. ; $context$ = sent1: The one-hundred-thousandth does empty inlay. sent2: if the wolframite is unsocial the poorhouse is unsocial. sent3: the fact that the inlay sizes and it tones is not correct if the wolframite is not a kestrel. sent4: the inlay does empty one-hundred-thousandth. sent5: the fact that the wolframite does consolidate thrombus and is a kind of an adaptability is not right. sent6: if the inlay is unsocial the wolframite is unsocial. sent7: if the inlay empties one-hundred-thousandth it is parabolic. sent8: if the fact that the poorhouse is not neurobiological and is not unsocial does not hold that it does not consolidate thrombus is not wrong. sent9: if the poorhouse does not consolidate thrombus then the fact that the wolframite does consolidate thrombus but it is not a kind of an adaptability is false. sent10: something is not a kestrel if that it does consolidate thrombus and is not an adaptability is wrong. sent11: the wolframite is not a kestrel if it is an adaptability. sent12: if the fact that something is a kind of a size and it is a tone is false then it is not parabolic. sent13: the fact that the trunk is an adaptability but it does not consolidate thrombus does not hold. sent14: the fact that the poorhouse is not neurobiological but it is unsocial does not hold. sent15: the inlay is not parabolic if it does not size. sent16: if that the wolframite does not consolidate thrombus is not incorrect that the poorhouse consolidate thrombus and is an adaptability is not correct. ; $proof$ = 
void -> assump1: Let's assume that the fact that the poorhouse is non-neurobiological thing that is social is not correct.; sent8 & assump1 -> int1: the poorhouse does not consolidate thrombus.; int1 & sent9 -> int2: that that that the wolframite does consolidate thrombus but it is not an adaptability hold does not hold is true.; sent10 -> int3: the fact that the wolframite is a kestrel does not hold if that it does consolidate thrombus and it is not a kind of an adaptability is not true.; int2 & int3 -> int4: the wolframite is not a kestrel.; int4 & sent3 -> int5: that the inlay sizes and it is a tone is not right.; sent12 -> int6: the inlay is not parabolic if the fact that it is a size and a tone is wrong.; int5 & int6 -> int7: the inlay is not parabolic.; sent7 & sent4 -> int8: the inlay is parabolic.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the poorhouse is not neurobiological and it is not unsocial.; int10 -> hypothesis; __PROVED__