the fact that if the Amerindian is ohmic the argon is a stator is not true.
sent1: the Amerindian is not a signboard. sent2: there exists something such that that it is not a kind of a signboard hold. sent3: if something is not a signboard and is not a mid-calf then the Amerindian is ohmic. sent4: there is something such that it is not a signboard and is a mid-calf. sent5: that the fact that the argon is a signboard but not a mid-calf is not true hold. sent6: there is something such that it is not a kind of a mid-calf. sent7: the Amerindian is not a kind of a poltergeist. sent8: if something is both not a signboard and not a mid-calf that the Amerindian is not ohmic is not false. sent9: something is a signboard but it is not a mid-calf. sent10: if that something is not a signboard and is not a kind of a mid-calf is not true then it is a stator. sent11: the argon is not a signboard. sent12: the argon is a kind of a stator if it is a kind of a signboard. sent13: that the Amerindian is not ohmic and it is not a mid-calf is not correct. sent14: if something is a kind of a signboard then it is a stator.
void -> assump1: Let's assume that the argon is not a signboard and it is not a mid-calf.; assump1 -> int1: something is not a signboard and not a mid-calf.; int1 & sent8 -> int2: the Amerindian is not ohmic.; void -> assump2: Let's assume that the Amerindian is ohmic.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the argon is not a signboard and it is not a mid-calf is wrong.; sent10 -> int5: if the fact that the argon is not a signboard and it is not a mid-calf does not hold it is a stator.; int4 & int5 -> int6: the argon is a stator.; [assump2] & int6 -> hypothesis;
something is not a kind of a poltergeist and does not peck galago.
$hypothesis$ = the fact that if the Amerindian is ohmic the argon is a stator is not true. ; $context$ = sent1: the Amerindian is not a signboard. sent2: there exists something such that that it is not a kind of a signboard hold. sent3: if something is not a signboard and is not a mid-calf then the Amerindian is ohmic. sent4: there is something such that it is not a signboard and is a mid-calf. sent5: that the fact that the argon is a signboard but not a mid-calf is not true hold. sent6: there is something such that it is not a kind of a mid-calf. sent7: the Amerindian is not a kind of a poltergeist. sent8: if something is both not a signboard and not a mid-calf that the Amerindian is not ohmic is not false. sent9: something is a signboard but it is not a mid-calf. sent10: if that something is not a signboard and is not a kind of a mid-calf is not true then it is a stator. sent11: the argon is not a signboard. sent12: the argon is a kind of a stator if it is a kind of a signboard. sent13: that the Amerindian is not ohmic and it is not a mid-calf is not correct. sent14: if something is a kind of a signboard then it is a stator. ; $proof$ = 
void -> assump1: Let's assume that the argon is not a signboard and it is not a mid-calf.; assump1 -> int1: something is not a signboard and not a mid-calf.; int1 & sent8 -> int2: the Amerindian is not ohmic.; void -> assump2: Let's assume that the Amerindian is ohmic.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the argon is not a signboard and it is not a mid-calf is wrong.; sent10 -> int5: if the fact that the argon is not a signboard and it is not a mid-calf does not hold it is a stator.; int4 & int5 -> int6: the argon is a stator.; [assump2] & int6 -> hypothesis; __DISPROVED__