the digger is a IUD.
sent1: if the ohmage is iconic and it is Bolshevik then the fact that the vervet is not a kind of a scission is true. sent2: the ohmage is iconic and/or it is a kind of a Bolshevik. sent3: if something that is nordic is a setting the hyoscyamine is not androgenic. sent4: if the rima does rake shiv then the groomsman is nordic. sent5: the groomsman is a setting. sent6: something does rake shiv and it is androgenic. sent7: the groomsman is not a scission if there are androgenic and nordic things. sent8: if the ohmage is iconic the rima is a kind of a scission. sent9: if the hyoscyamine is not androgenic the fact that the digger is not a IUD hold. sent10: if the rima is a scission then it rakes shiv. sent11: the rima is a scission if the ohmage is not non-Bolshevik. sent12: if something that is a setting is nordic the groomsman is not Bolshevik. sent13: the rima is androgenic. sent14: the digger is a setting. sent15: if the rima is a IUD then the digger rakes shiv. sent16: the ohmage is a scission and it is not non-azonal. sent17: something is iconic and it does rake shiv if it is non-nordic. sent18: something is a kind of a IUD and it is a kind of a setting. sent19: the hyoscyamine is a kind of cardiologic thing that blocks self-awareness. sent20: the ohmage is not androgenic if the hyoscyamine is not iconic.
sent2 & sent8 & sent11 -> int1: the rima is a scission.; int1 & sent10 -> int2: the rima does rake shiv.; int2 & sent4 -> int3: the groomsman is nordic.; int3 & sent5 -> int4: the groomsman is nordic and it is a setting.; int4 -> int5: something is nordic and a setting.; int5 & sent3 -> int6: the hyoscyamine is not androgenic.; int6 & sent9 -> hypothesis;
the vervet is not a kind of a scission.
sent17 -> int7: the ohmage is iconic and it rakes shiv if it is not nordic.;
$hypothesis$ = the digger is a IUD. ; $context$ = sent1: if the ohmage is iconic and it is Bolshevik then the fact that the vervet is not a kind of a scission is true. sent2: the ohmage is iconic and/or it is a kind of a Bolshevik. sent3: if something that is nordic is a setting the hyoscyamine is not androgenic. sent4: if the rima does rake shiv then the groomsman is nordic. sent5: the groomsman is a setting. sent6: something does rake shiv and it is androgenic. sent7: the groomsman is not a scission if there are androgenic and nordic things. sent8: if the ohmage is iconic the rima is a kind of a scission. sent9: if the hyoscyamine is not androgenic the fact that the digger is not a IUD hold. sent10: if the rima is a scission then it rakes shiv. sent11: the rima is a scission if the ohmage is not non-Bolshevik. sent12: if something that is a setting is nordic the groomsman is not Bolshevik. sent13: the rima is androgenic. sent14: the digger is a setting. sent15: if the rima is a IUD then the digger rakes shiv. sent16: the ohmage is a scission and it is not non-azonal. sent17: something is iconic and it does rake shiv if it is non-nordic. sent18: something is a kind of a IUD and it is a kind of a setting. sent19: the hyoscyamine is a kind of cardiologic thing that blocks self-awareness. sent20: the ohmage is not androgenic if the hyoscyamine is not iconic. ; $proof$ = 
sent2 & sent8 & sent11 -> int1: the rima is a scission.; int1 & sent10 -> int2: the rima does rake shiv.; int2 & sent4 -> int3: the groomsman is nordic.; int3 & sent5 -> int4: the groomsman is nordic and it is a setting.; int4 -> int5: something is nordic and a setting.; int5 & sent3 -> int6: the hyoscyamine is not androgenic.; int6 & sent9 -> hypothesis; __DISPROVED__