the sowbelly is cervical.
sent1: the fact that the ptyalin is not a kind of a efflorescence is true. sent2: if the telethermometer is cervical then the sowbelly is not cervical but it overrefines aphanite. sent3: if the telethermometer is a cefadroxil then it is cervical. sent4: the ptyalin is not a kind of a craft if the fact that the telethermometer does page Manet and is epicurean is not true. sent5: the ptyalin is not piscatorial if it does not craft. sent6: if the ptyalin is not a efflorescence it is piscatorial. sent7: that the telethermometer does page Manet and it is epicurean does not hold if it is not a kind of a cefadroxil.
void -> assump1: Let's assume that the telethermometer is not a kind of a cefadroxil.; sent7 & assump1 -> int1: the fact that the telethermometer does page Manet and it is epicurean does not hold.; int1 & sent4 -> int2: the ptyalin is not a kind of a craft.; int2 & sent5 -> int3: the ptyalin is not piscatorial.; sent6 & sent1 -> int4: the ptyalin is piscatorial.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the telethermometer is a cefadroxil.; int6 & sent3 -> int7: that the telethermometer is cervical hold.; int7 & sent2 -> int8: the sowbelly is not cervical but it does overrefine aphanite.; int8 -> hypothesis;
$hypothesis$ = the sowbelly is cervical. ; $context$ = sent1: the fact that the ptyalin is not a kind of a efflorescence is true. sent2: if the telethermometer is cervical then the sowbelly is not cervical but it overrefines aphanite. sent3: if the telethermometer is a cefadroxil then it is cervical. sent4: the ptyalin is not a kind of a craft if the fact that the telethermometer does page Manet and is epicurean is not true. sent5: the ptyalin is not piscatorial if it does not craft. sent6: if the ptyalin is not a efflorescence it is piscatorial. sent7: that the telethermometer does page Manet and it is epicurean does not hold if it is not a kind of a cefadroxil. ; $proof$ = 
void -> assump1: Let's assume that the telethermometer is not a kind of a cefadroxil.; sent7 & assump1 -> int1: the fact that the telethermometer does page Manet and it is epicurean does not hold.; int1 & sent4 -> int2: the ptyalin is not a kind of a craft.; int2 & sent5 -> int3: the ptyalin is not piscatorial.; sent6 & sent1 -> int4: the ptyalin is piscatorial.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the telethermometer is a cefadroxil.; int6 & sent3 -> int7: that the telethermometer is cervical hold.; int7 & sent2 -> int8: the sowbelly is not cervical but it does overrefine aphanite.; int8 -> hypothesis; __DISPROVED__