the sociobiologist is not thinkable.
sent1: if the gidgee dominates Mercury then the fact that the sociobiologist does not dominates Mercury is not incorrect. sent2: if something does not dominate Mercury that it is dim and it is a liverwurst is wrong. sent3: that the neutralist is a kind of non-comprehensible thing that is not a kind of a timber is false if the gidgee is not dim. sent4: the Mercury is a liverwurst if there exists something such that it is comprehensible. sent5: that that the Mercury does not dominate Mercury and it does not beat Centropomidae is incorrect is true if that something does dominate Mercury is true. sent6: the sociobiologist is thinkable if the gidgee is not non-dim. sent7: if the fact that the gidgee is not dim is not wrong that the neutralist is comprehensible and not a timber is not correct. sent8: the Mercury is not a kind of a liverwurst if the fact that it does not dominate Mercury and does not beat Centropomidae is not true. sent9: there exists something such that it dominates Mercury. sent10: something is not comprehensible and not a timber. sent11: there exists something such that that it is comprehensible and it is not a timber does not hold. sent12: the Mercury is not a liverwurst if it does dominate Mercury. sent13: if that something is dim a liverwurst is not correct it is unthinkable. sent14: if there is something such that that it is both not comprehensible and not a timber is not true the Mercury is a liverwurst.
void -> assump1: Let's assume that the gidgee is not dim.; sent3 & assump1 -> int1: that the neutralist is both not comprehensible and not a timber is wrong.; int1 -> int2: there exists something such that the fact that it is not comprehensible and it is not a timber is not correct.; int2 & sent14 -> int3: the Mercury is a kind of a liverwurst.; sent9 & sent5 -> int4: the fact that the Mercury does not dominate Mercury and does not beat Centropomidae is incorrect.; sent8 & int4 -> int5: the Mercury is not a liverwurst.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the gidgee is dim.; int7 & sent6 -> hypothesis;
the sociobiologist is not thinkable.
sent13 -> int8: if that the sociobiologist does dim and it is a kind of a liverwurst does not hold it is not thinkable.; sent2 -> int9: if the sociobiologist does not dominate Mercury that it is a kind of dim thing that is a liverwurst does not hold.;
$hypothesis$ = the sociobiologist is not thinkable. ; $context$ = sent1: if the gidgee dominates Mercury then the fact that the sociobiologist does not dominates Mercury is not incorrect. sent2: if something does not dominate Mercury that it is dim and it is a liverwurst is wrong. sent3: that the neutralist is a kind of non-comprehensible thing that is not a kind of a timber is false if the gidgee is not dim. sent4: the Mercury is a liverwurst if there exists something such that it is comprehensible. sent5: that that the Mercury does not dominate Mercury and it does not beat Centropomidae is incorrect is true if that something does dominate Mercury is true. sent6: the sociobiologist is thinkable if the gidgee is not non-dim. sent7: if the fact that the gidgee is not dim is not wrong that the neutralist is comprehensible and not a timber is not correct. sent8: the Mercury is not a kind of a liverwurst if the fact that it does not dominate Mercury and does not beat Centropomidae is not true. sent9: there exists something such that it dominates Mercury. sent10: something is not comprehensible and not a timber. sent11: there exists something such that that it is comprehensible and it is not a timber does not hold. sent12: the Mercury is not a liverwurst if it does dominate Mercury. sent13: if that something is dim a liverwurst is not correct it is unthinkable. sent14: if there is something such that that it is both not comprehensible and not a timber is not true the Mercury is a liverwurst. ; $proof$ = 
void -> assump1: Let's assume that the gidgee is not dim.; sent3 & assump1 -> int1: that the neutralist is both not comprehensible and not a timber is wrong.; int1 -> int2: there exists something such that the fact that it is not comprehensible and it is not a timber is not correct.; int2 & sent14 -> int3: the Mercury is a kind of a liverwurst.; sent9 & sent5 -> int4: the fact that the Mercury does not dominate Mercury and does not beat Centropomidae is incorrect.; sent8 & int4 -> int5: the Mercury is not a liverwurst.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the gidgee is dim.; int7 & sent6 -> hypothesis; __DISPROVED__