the machmeter is a kind of a Niobe.
sent1: something is binucleate if it is non-ratlike thing that is not a logjam. sent2: if something does bloom then that it either pounces or is not cytological or both does not hold. sent3: the machmeter is not a carbuncle and it is not Norwegian. sent4: if the keystone is not a bloom then that the camelhair is unmanageable and is not a Niobe does not hold. sent5: if something that welds rawness is a Niobe then it is not cytological. sent6: if the camelhair is not unmanageable the machmeter is unmanageable. sent7: the machmeter is not upstream. sent8: the machmeter is unmanageable and is apicultural. sent9: if the leveret is not cytological that it welds rawness and it is unmanageable is false. sent10: that the camelhair does rustle delirium or it is not larval or both is not true. sent11: the machmeter is not a kind of a bloom but it is unmanageable if the camelhair is not unmanageable. sent12: the camelhair is a Norwegian. sent13: if something is both not a carbuncle and not Norwegian then it is cytological. sent14: the camelhair is cytological. sent15: if that the camelhair rustles delirium or it is not larval or both is wrong then it is not unmanageable. sent16: if that the machmeter is a bloom and/or it does rustle delirium is wrong it is not larval. sent17: if the fact that the camelhair is not unmanageable but it is a bloom does not hold then the rotenone bloom. sent18: the machmeter does weld rawness if it is not a bloom and it is unmanageable. sent19: the machmeter is not a kind of a carbuncle. sent20: the camelhair does bloom. sent21: if the camelhair is a Niobe the machmeter is a Niobe. sent22: the leveret is not cytological if the tamarillo is a Norwegian.
sent15 & sent10 -> int1: the camelhair is not unmanageable.; int1 & sent11 -> int2: the machmeter is not a bloom and is unmanageable.; int2 & sent18 -> int3: the machmeter welds rawness.; void -> assump1: Let's assume that the machmeter is a Niobe.; int3 & assump1 -> int4: the machmeter does weld rawness and is a Niobe.; sent5 -> int5: the machmeter is non-cytological if it welds rawness and is a kind of a Niobe.; int4 & int5 -> int6: the machmeter is not cytological.; sent13 -> int7: if the machmeter is not a carbuncle and it is not a kind of a Norwegian it is not non-cytological.; int7 & sent3 -> int8: the machmeter is cytological.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the machmeter is a Niobe.
$hypothesis$ = the machmeter is a kind of a Niobe. ; $context$ = sent1: something is binucleate if it is non-ratlike thing that is not a logjam. sent2: if something does bloom then that it either pounces or is not cytological or both does not hold. sent3: the machmeter is not a carbuncle and it is not Norwegian. sent4: if the keystone is not a bloom then that the camelhair is unmanageable and is not a Niobe does not hold. sent5: if something that welds rawness is a Niobe then it is not cytological. sent6: if the camelhair is not unmanageable the machmeter is unmanageable. sent7: the machmeter is not upstream. sent8: the machmeter is unmanageable and is apicultural. sent9: if the leveret is not cytological that it welds rawness and it is unmanageable is false. sent10: that the camelhair does rustle delirium or it is not larval or both is not true. sent11: the machmeter is not a kind of a bloom but it is unmanageable if the camelhair is not unmanageable. sent12: the camelhair is a Norwegian. sent13: if something is both not a carbuncle and not Norwegian then it is cytological. sent14: the camelhair is cytological. sent15: if that the camelhair rustles delirium or it is not larval or both is wrong then it is not unmanageable. sent16: if that the machmeter is a bloom and/or it does rustle delirium is wrong it is not larval. sent17: if the fact that the camelhair is not unmanageable but it is a bloom does not hold then the rotenone bloom. sent18: the machmeter does weld rawness if it is not a bloom and it is unmanageable. sent19: the machmeter is not a kind of a carbuncle. sent20: the camelhair does bloom. sent21: if the camelhair is a Niobe the machmeter is a Niobe. sent22: the leveret is not cytological if the tamarillo is a Norwegian. ; $proof$ = 
sent15 & sent10 -> int1: the camelhair is not unmanageable.; int1 & sent11 -> int2: the machmeter is not a bloom and is unmanageable.; int2 & sent18 -> int3: the machmeter welds rawness.; void -> assump1: Let's assume that the machmeter is a Niobe.; int3 & assump1 -> int4: the machmeter does weld rawness and is a Niobe.; sent5 -> int5: the machmeter is non-cytological if it welds rawness and is a kind of a Niobe.; int4 & int5 -> int6: the machmeter is not cytological.; sent13 -> int7: if the machmeter is not a carbuncle and it is not a kind of a Norwegian it is not non-cytological.; int7 & sent3 -> int8: the machmeter is cytological.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __DISPROVED__