that the kingfish is not piezoelectric and does not languish is wrong.
sent1: if the butchery is not a flock but it is runic then the electrograph glazes butchery. sent2: that the butchery does not troll is not false. sent3: if either the Angevin does not glaze butchery or it is not a brandysnap or both the kingfish is not a oroide. sent4: the fact that if the electrograph glazes butchery the Angevin either does not glazes butchery or is not a brandysnap or both hold. sent5: the butchery does glaze butchery if the angrecum is not a kind of a flock but it subtilizes crusted. sent6: the angrecum does not troll and it does not subtilize crusted. sent7: the roundel glazes butchery. sent8: the butchery is not a kind of a ordinand if the angrecum does not subtilize crusted. sent9: if the butchery is not a ordinand it is both not a flock and runic. sent10: the kingfish is a kind of non-piezoelectric thing that does not languish if it is not a oroide.
sent6 -> int1: the angrecum does not subtilize crusted.; int1 & sent8 -> int2: the butchery is not a kind of a ordinand.; int2 & sent9 -> int3: the butchery is not a kind of a flock but it is runic.; int3 & sent1 -> int4: the electrograph does glaze butchery.; int4 & sent4 -> int5: the Angevin does not glaze butchery and/or it is not a brandysnap.; int5 & sent3 -> int6: the kingfish is not a oroide.; int6 & sent10 -> hypothesis;
$hypothesis$ = that the kingfish is not piezoelectric and does not languish is wrong. ; $context$ = sent1: if the butchery is not a flock but it is runic then the electrograph glazes butchery. sent2: that the butchery does not troll is not false. sent3: if either the Angevin does not glaze butchery or it is not a brandysnap or both the kingfish is not a oroide. sent4: the fact that if the electrograph glazes butchery the Angevin either does not glazes butchery or is not a brandysnap or both hold. sent5: the butchery does glaze butchery if the angrecum is not a kind of a flock but it subtilizes crusted. sent6: the angrecum does not troll and it does not subtilize crusted. sent7: the roundel glazes butchery. sent8: the butchery is not a kind of a ordinand if the angrecum does not subtilize crusted. sent9: if the butchery is not a ordinand it is both not a flock and runic. sent10: the kingfish is a kind of non-piezoelectric thing that does not languish if it is not a oroide. ; $proof$ = 
sent6 -> int1: the angrecum does not subtilize crusted.; int1 & sent8 -> int2: the butchery is not a kind of a ordinand.; int2 & sent9 -> int3: the butchery is not a kind of a flock but it is runic.; int3 & sent1 -> int4: the electrograph does glaze butchery.; int4 & sent4 -> int5: the Angevin does not glaze butchery and/or it is not a brandysnap.; int5 & sent3 -> int6: the kingfish is not a oroide.; int6 & sent10 -> hypothesis; __DISPROVED__