the Edwardian is covalent.
sent1: the singer is not a kind of a anathematization if it is not a kind of a ALIR and it is a kind of a Irrawaddy. sent2: if the hearthrug is not a anathematization then the ern is a kind of a arachnoid but it does not horripilate pre-empt. sent3: the muskrat does not reposit ern and/or does not horripilate pre-empt. sent4: something is not a kind of a ALIR if the fact that it is both a ALIR and a magnetograph does not hold. sent5: if the fact that the hearthrug does not horripilate simper is not false then that the ern either is a anathematization or is a kind of a Irrawaddy or both is not true. sent6: the ern does horripilate Edwardian if the hearthrug does not horripilate Edwardian and/or does not horripilate pre-empt. sent7: the singer is not a ALIR and is a Irrawaddy. sent8: the hearthrug does not horripilate Edwardian and/or does not horripilate pre-empt. sent9: the lycopene is not a Pagellus if the fact that it does not urinate and it is a kind of a Pagellus is not right. sent10: the hearthrug horripilates Edwardian or does not horripilate pre-empt or both. sent11: that something does not urinate and is a Pagellus is false if it is not a kind of a promptbook. sent12: the lycopene reposits ern. sent13: if the fact that either something is a anathematization or it is a Irrawaddy or both is not true then it does not horripilate pre-empt. sent14: the hearthrug does not horripilate simper if the singer is not a Michener and horripilate simper. sent15: something is not a magnetograph if it is not a kind of a Pagellus. sent16: if the Edwardian does not horripilate pre-empt the hearthrug horripilates Edwardian. sent17: something is not a promptbook if it reposits ern. sent18: if the stilt is not a kind of a ALIR the singer is not a Michener and does horripilate simper. sent19: if the hearthrug does not horripilate Edwardian the ern horripilate Edwardian. sent20: if something does not horripilate pre-empt then it does horripilate Edwardian and it is a arachnoid. sent21: the Edwardian is not a kind of a arachnoid if the hearthrug is covalent and it does horripilate Edwardian. sent22: if something is a kind of a arachnoid it does not horripilate Edwardian and/or it is not covalent. sent23: the Edwardian is arachnoid. sent24: the ern does not horripilate Edwardian if the Edwardian is arachnoid and covalent.
void -> assump1: Let's assume that the Edwardian is covalent.; sent23 & assump1 -> int1: the Edwardian is both arachnoid and covalent.; int1 & sent24 -> int2: the ern does not horripilate Edwardian.; sent6 & sent8 -> int3: the ern horripilates Edwardian.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the Edwardian is not non-covalent.
sent22 -> int5: if the ern is arachnoid then it does not horripilate Edwardian or it is not covalent or both.; sent1 & sent7 -> int6: the singer is not a kind of a anathematization.; int6 -> int7: the singer is not a anathematization and/or does not horripilate simper.; int7 -> int8: there exists something such that it is not a anathematization and/or it does not horripilate simper.;
$hypothesis$ = the Edwardian is covalent. ; $context$ = sent1: the singer is not a kind of a anathematization if it is not a kind of a ALIR and it is a kind of a Irrawaddy. sent2: if the hearthrug is not a anathematization then the ern is a kind of a arachnoid but it does not horripilate pre-empt. sent3: the muskrat does not reposit ern and/or does not horripilate pre-empt. sent4: something is not a kind of a ALIR if the fact that it is both a ALIR and a magnetograph does not hold. sent5: if the fact that the hearthrug does not horripilate simper is not false then that the ern either is a anathematization or is a kind of a Irrawaddy or both is not true. sent6: the ern does horripilate Edwardian if the hearthrug does not horripilate Edwardian and/or does not horripilate pre-empt. sent7: the singer is not a ALIR and is a Irrawaddy. sent8: the hearthrug does not horripilate Edwardian and/or does not horripilate pre-empt. sent9: the lycopene is not a Pagellus if the fact that it does not urinate and it is a kind of a Pagellus is not right. sent10: the hearthrug horripilates Edwardian or does not horripilate pre-empt or both. sent11: that something does not urinate and is a Pagellus is false if it is not a kind of a promptbook. sent12: the lycopene reposits ern. sent13: if the fact that either something is a anathematization or it is a Irrawaddy or both is not true then it does not horripilate pre-empt. sent14: the hearthrug does not horripilate simper if the singer is not a Michener and horripilate simper. sent15: something is not a magnetograph if it is not a kind of a Pagellus. sent16: if the Edwardian does not horripilate pre-empt the hearthrug horripilates Edwardian. sent17: something is not a promptbook if it reposits ern. sent18: if the stilt is not a kind of a ALIR the singer is not a Michener and does horripilate simper. sent19: if the hearthrug does not horripilate Edwardian the ern horripilate Edwardian. sent20: if something does not horripilate pre-empt then it does horripilate Edwardian and it is a arachnoid. sent21: the Edwardian is not a kind of a arachnoid if the hearthrug is covalent and it does horripilate Edwardian. sent22: if something is a kind of a arachnoid it does not horripilate Edwardian and/or it is not covalent. sent23: the Edwardian is arachnoid. sent24: the ern does not horripilate Edwardian if the Edwardian is arachnoid and covalent. ; $proof$ = 
void -> assump1: Let's assume that the Edwardian is covalent.; sent23 & assump1 -> int1: the Edwardian is both arachnoid and covalent.; int1 & sent24 -> int2: the ern does not horripilate Edwardian.; sent6 & sent8 -> int3: the ern horripilates Edwardian.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __DISPROVED__