the fact that something is a kind of a Lyrurus is not true.
sent1: if there is something such that that it does bog shear and it does evict garden is not correct then the pillbox polishes. sent2: if something does not cobble then the fact that it does bog shear and it does evict garden is not correct. sent3: if the greatcoat does not shaft eelgrass it is a Pelobatidae. sent4: the torsion is curable. sent5: the samurai shafts eelgrass. sent6: the tentacle cobbles and does not evict Merovingian if the fore-topsail is not a maikoa. sent7: the greatcoat is not a Pelobatidae and it does not shaft eelgrass if the bottle-tree is aerobic. sent8: if something is not a Pelobatidae and does not shaft eelgrass the flyspeck is not a Lyrurus. sent9: something is curable if it does polish. sent10: the greatcoat is aerobic if it is a Pelobatidae. sent11: if the greatcoat is a Lyrurus then that it is a pyxidium is true. sent12: if something is curable then the fact that it does not stride and it is not aerobic is wrong. sent13: if the greatcoat does shaft eelgrass it is a Lyrurus. sent14: the fore-topsail is not a kind of a maikoa if it is not a Atlantic. sent15: the fore-topsail is not a kind of a Atlantic. sent16: the greatcoat is not curable. sent17: something is curable if it is aerobic. sent18: the stewpan does not cobble if the tentacle does cobble but it does not evict Merovingian.
void -> assump1: Let's assume that the greatcoat does not shaft eelgrass.; sent3 & assump1 -> int1: the greatcoat is a Pelobatidae.; int1 & sent10 -> int2: the greatcoat is aerobic.; sent17 -> int3: if the greatcoat is aerobic then it is curable.; int2 & int3 -> int4: the fact that the greatcoat is curable is not incorrect.; int4 & sent16 -> int5: this is contradiction.; [assump1] & int5 -> int6: the greatcoat shafts eelgrass.; int6 & sent13 -> int7: the fact that the greatcoat is a Lyrurus hold.; int7 -> hypothesis;
the flyspeck is not a Lyrurus.
sent12 -> int8: if the pillbox is curable that it does not stride and it is not aerobic does not hold.; sent9 -> int9: if the pillbox does polish then that it is curable hold.; sent2 -> int10: the fact that the stewpan does bog shear and it does evict garden is false if it is not a cobble.; sent14 & sent15 -> int11: the fore-topsail is not a maikoa.; sent6 & int11 -> int12: the tentacle is a kind of a cobble and does not evict Merovingian.; sent18 & int12 -> int13: the stewpan does not cobble.; int10 & int13 -> int14: the fact that the stewpan does bog shear and does evict garden is not right.; int14 -> int15: there exists something such that that it does bog shear and it evicts garden does not hold.; int15 & sent1 -> int16: the pillbox polishes.; int9 & int16 -> int17: the pillbox is curable.; int8 & int17 -> int18: that the pillbox is not a stride and it is not aerobic is not true.; int18 -> int19: there exists something such that that it is not a kind of a stride and it is non-aerobic is false.;
$hypothesis$ = the fact that something is a kind of a Lyrurus is not true. ; $context$ = sent1: if there is something such that that it does bog shear and it does evict garden is not correct then the pillbox polishes. sent2: if something does not cobble then the fact that it does bog shear and it does evict garden is not correct. sent3: if the greatcoat does not shaft eelgrass it is a Pelobatidae. sent4: the torsion is curable. sent5: the samurai shafts eelgrass. sent6: the tentacle cobbles and does not evict Merovingian if the fore-topsail is not a maikoa. sent7: the greatcoat is not a Pelobatidae and it does not shaft eelgrass if the bottle-tree is aerobic. sent8: if something is not a Pelobatidae and does not shaft eelgrass the flyspeck is not a Lyrurus. sent9: something is curable if it does polish. sent10: the greatcoat is aerobic if it is a Pelobatidae. sent11: if the greatcoat is a Lyrurus then that it is a pyxidium is true. sent12: if something is curable then the fact that it does not stride and it is not aerobic is wrong. sent13: if the greatcoat does shaft eelgrass it is a Lyrurus. sent14: the fore-topsail is not a kind of a maikoa if it is not a Atlantic. sent15: the fore-topsail is not a kind of a Atlantic. sent16: the greatcoat is not curable. sent17: something is curable if it is aerobic. sent18: the stewpan does not cobble if the tentacle does cobble but it does not evict Merovingian. ; $proof$ = 
void -> assump1: Let's assume that the greatcoat does not shaft eelgrass.; sent3 & assump1 -> int1: the greatcoat is a Pelobatidae.; int1 & sent10 -> int2: the greatcoat is aerobic.; sent17 -> int3: if the greatcoat is aerobic then it is curable.; int2 & int3 -> int4: the fact that the greatcoat is curable is not incorrect.; int4 & sent16 -> int5: this is contradiction.; [assump1] & int5 -> int6: the greatcoat shafts eelgrass.; int6 & sent13 -> int7: the fact that the greatcoat is a Lyrurus hold.; int7 -> hypothesis; __DISPROVED__