the modeling does not angle doorjamb.
sent1: the modeling angles doorjamb if it is idiomatic. sent2: if something either angles doorjamb or is not Orphic or both it is faceless. sent3: if the rent is not realistic the modeling is a kind of a scarecrow that does redden raccoon. sent4: the rent is Orphic or it is faceless or both. sent5: the modeling either is a noddle or is not faceless or both. sent6: something that is idiomatic or is not Orphic or both does angle doorjamb. sent7: the rent is not faceless. sent8: if the modeling is Orphic the rent is faceless. sent9: the modeling is a noddle. sent10: if something is idiomatic then it angles doorjamb. sent11: the modeling is faceless or it does angle doorjamb or both. sent12: that something does not angle doorjamb and does not shine is wrong if it is a scarecrow. sent13: the laudanum is not Orphic. sent14: something whores if that it is not faceless and/or it is not Orphic is not true. sent15: the fact that something is not faceless and/or it is not Orphic is wrong if it is not non-idiomatic. sent16: the modeling is faceless if either it is idiomatic or it does not angle doorjamb or both. sent17: the snapshot is faceless. sent18: the modeling is a hoecake. sent19: the raccoon is idiomatic.
void -> assump1: Let's assume that the modeling is Orphic.; sent8 & assump1 -> int1: the rent is faceless.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the modeling is not Orphic.; int3 -> int4: the modeling is idiomatic or it is not Orphic or both.; sent6 -> int5: if the modeling is idiomatic and/or it is not Orphic then it angles doorjamb.; int4 & int5 -> hypothesis;
the modeling whores.
sent14 -> int6: the modeling does whore if that it is not faceless or it is not Orphic or both is not right.; sent15 -> int7: if the fact that the modeling is idiomatic hold then the fact that it is non-faceless and/or not Orphic does not hold.; sent12 -> int8: that the modeling does not angle doorjamb and it does not shine is incorrect if it is a scarecrow.;
$hypothesis$ = the modeling does not angle doorjamb. ; $context$ = sent1: the modeling angles doorjamb if it is idiomatic. sent2: if something either angles doorjamb or is not Orphic or both it is faceless. sent3: if the rent is not realistic the modeling is a kind of a scarecrow that does redden raccoon. sent4: the rent is Orphic or it is faceless or both. sent5: the modeling either is a noddle or is not faceless or both. sent6: something that is idiomatic or is not Orphic or both does angle doorjamb. sent7: the rent is not faceless. sent8: if the modeling is Orphic the rent is faceless. sent9: the modeling is a noddle. sent10: if something is idiomatic then it angles doorjamb. sent11: the modeling is faceless or it does angle doorjamb or both. sent12: that something does not angle doorjamb and does not shine is wrong if it is a scarecrow. sent13: the laudanum is not Orphic. sent14: something whores if that it is not faceless and/or it is not Orphic is not true. sent15: the fact that something is not faceless and/or it is not Orphic is wrong if it is not non-idiomatic. sent16: the modeling is faceless if either it is idiomatic or it does not angle doorjamb or both. sent17: the snapshot is faceless. sent18: the modeling is a hoecake. sent19: the raccoon is idiomatic. ; $proof$ = 
void -> assump1: Let's assume that the modeling is Orphic.; sent8 & assump1 -> int1: the rent is faceless.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the modeling is not Orphic.; int3 -> int4: the modeling is idiomatic or it is not Orphic or both.; sent6 -> int5: if the modeling is idiomatic and/or it is not Orphic then it angles doorjamb.; int4 & int5 -> hypothesis; __DISPROVED__