the radio-phonograph is not viviparous.
sent1: there is something such that it is not a uniformed and it is a Philemon. sent2: everything is disorderly. sent3: if there is something such that it does not burglarize high-spiritedness then the radio-phonograph does debouch and is viviparous. sent4: that something does hunger Dianthus but it is not a Karelian does not hold if it is disorderly. sent5: if the fact that the lygaeid hungers Dianthus and is not a kind of a Karelian is wrong then the stokehold does not hungers Dianthus. sent6: if there exists something such that it is a kind of non-uniformed a Philemon the radio-phonograph is not viviparous.
sent1 & sent6 -> hypothesis;
the radio-phonograph is viviparous.
sent4 -> int1: that the positioner hungers Dianthus and is not a Karelian is not correct if it is disorderly.; sent2 -> int2: the positioner is disorderly.; int1 & int2 -> int3: that the fact that the positioner does hunger Dianthus and is not a kind of a Karelian hold does not hold.; int3 -> int4: there exists nothing that hungers Dianthus and is not a kind of a Karelian.; int4 -> int5: that the lygaeid does hunger Dianthus and is not a Karelian is not right.; sent5 & int5 -> int6: the stokehold does not hunger Dianthus.;
$hypothesis$ = the radio-phonograph is not viviparous. ; $context$ = sent1: there is something such that it is not a uniformed and it is a Philemon. sent2: everything is disorderly. sent3: if there is something such that it does not burglarize high-spiritedness then the radio-phonograph does debouch and is viviparous. sent4: that something does hunger Dianthus but it is not a Karelian does not hold if it is disorderly. sent5: if the fact that the lygaeid hungers Dianthus and is not a kind of a Karelian is wrong then the stokehold does not hungers Dianthus. sent6: if there exists something such that it is a kind of non-uniformed a Philemon the radio-phonograph is not viviparous. ; $proof$ = 
sent1 & sent6 -> hypothesis; __PROVED__