the neurologist is not eccrine.
sent1: the rotavirus is a Balkans and/or it is tetrametric. sent2: the madnep is a kind of a liebfraumilch or it is a kind of a Balkans or both. sent3: the neurologist is a Apidae if the madnep is a Balkans. sent4: something is a kind of a proprionamide that is eccrine. sent5: the neurologist is a proprionamide if it is a Apidae. sent6: something is a proprionamide. sent7: the rotavirus is not a Aphriza. sent8: the fact that the neurologist is a kind of a Lysander is true. sent9: if the rotavirus is not a kind of a Aphriza then it is not tetrametric. sent10: if something is not a kind of a Apidae and is a kind of a proprionamide then the madnep is not a liebfraumilch. sent11: the rotavirus is not a Balkans and/or is a liebfraumilch if it is not a kind of a Apidae. sent12: something is not a Apidae but it is a proprionamide if it is tetrametric. sent13: if the madnep is a liebfraumilch then the neurologist is a Apidae. sent14: if something is a proprionamide but it is not eccrine then the rotavirus is tetrametric.
sent2 & sent13 & sent3 -> int1: the neurologist is a Apidae.; int1 & sent5 -> int2: the neurologist is a proprionamide.; void -> assump1: Let's assume that the neurologist is not eccrine.; int2 & assump1 -> int3: the neurologist is a proprionamide and is not eccrine.; int3 -> int4: something is a proprionamide but it is not eccrine.; int4 & sent14 -> int5: the rotavirus is tetrametric.; sent9 & sent7 -> int6: the rotavirus is not tetrametric.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the neurologist is not eccrine.
sent12 -> int8: if the fact that the sailcloth is tetrametric hold then it is not a Apidae and it is a proprionamide.;
$hypothesis$ = the neurologist is not eccrine. ; $context$ = sent1: the rotavirus is a Balkans and/or it is tetrametric. sent2: the madnep is a kind of a liebfraumilch or it is a kind of a Balkans or both. sent3: the neurologist is a Apidae if the madnep is a Balkans. sent4: something is a kind of a proprionamide that is eccrine. sent5: the neurologist is a proprionamide if it is a Apidae. sent6: something is a proprionamide. sent7: the rotavirus is not a Aphriza. sent8: the fact that the neurologist is a kind of a Lysander is true. sent9: if the rotavirus is not a kind of a Aphriza then it is not tetrametric. sent10: if something is not a kind of a Apidae and is a kind of a proprionamide then the madnep is not a liebfraumilch. sent11: the rotavirus is not a Balkans and/or is a liebfraumilch if it is not a kind of a Apidae. sent12: something is not a Apidae but it is a proprionamide if it is tetrametric. sent13: if the madnep is a liebfraumilch then the neurologist is a Apidae. sent14: if something is a proprionamide but it is not eccrine then the rotavirus is tetrametric. ; $proof$ = 
sent2 & sent13 & sent3 -> int1: the neurologist is a Apidae.; int1 & sent5 -> int2: the neurologist is a proprionamide.; void -> assump1: Let's assume that the neurologist is not eccrine.; int2 & assump1 -> int3: the neurologist is a proprionamide and is not eccrine.; int3 -> int4: something is a proprionamide but it is not eccrine.; int4 & sent14 -> int5: the rotavirus is tetrametric.; sent9 & sent7 -> int6: the rotavirus is not tetrametric.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__