the HS1 is an acoustic.
sent1: if the ununquadium is a kind of a skybox it is a kind of a dessiatine. sent2: the HS1 is not a kind of an acoustic if that the leaflet is loopy but it is not a dasyurid is not true. sent3: if there exists something such that the fact that it is not a dasyurid hold that the ununquadium is loopy and it does yodel Rosicrucianism is wrong. sent4: the ununquadium is not a conserved but it is a leucine. sent5: if there is something such that that it is not a thiocyanate and it is a kind of a dasyurid is not true the Kui is not a kind of a dasyurid. sent6: there is something such that it does unpick hyperventilation and it is alluvial. sent7: if something does unpick hyperventilation and it is alluvial then the leaflet unpicks hoariness. sent8: a skybox is a dessiatine. sent9: if the leaflet unpicks hoariness then it does not bog handshake and it is not a Levantine. sent10: the fact that that the microfossil is not a thiocyanate but a dasyurid does not hold is not incorrect if it is not a Levantine. sent11: the microfossil is not Levantine if the leaflet does not bog handshake and is not a Levantine. sent12: the fact that the leaflet is loopy and it is a dasyurid is not correct. sent13: the leaflet is loopy if it is an acoustic. sent14: that the leaflet is loopy but it is not a dasyurid is incorrect if the microfossil is loopy. sent15: the Kui is a skybox if the ununquadium does not conserve and is a leucine. sent16: if the ununquadium is a kind of a dessiatine the HS1 is not a Angolan but it is a kind of a dasyurid. sent17: the microfossil is loopy if the Kui is a dessiatine. sent18: something is not loopy if the fact that it is loopy thing that does yodel Rosicrucianism is incorrect.
sent15 & sent4 -> int1: the Kui is a skybox.; sent8 -> int2: the Kui is a kind of a dessiatine if it is a skybox.; int1 & int2 -> int3: the Kui is a kind of a dessiatine.; int3 & sent17 -> int4: the microfossil is loopy.; int4 & sent14 -> int5: the fact that the leaflet is a kind of loopy thing that is not a kind of a dasyurid is not right.; int5 & sent2 -> hypothesis;
the HS1 is an acoustic.
sent18 -> int6: the ununquadium is not loopy if that it is loopy and does yodel Rosicrucianism is not true.; sent6 & sent7 -> int7: the leaflet unpicks hoariness.; sent9 & int7 -> int8: the leaflet does not bog handshake and is not a kind of a Levantine.; sent11 & int8 -> int9: the microfossil is not a Levantine.; sent10 & int9 -> int10: the fact that the microfossil is not a kind of a thiocyanate but it is a dasyurid is false.; int10 -> int11: there exists something such that the fact that it is not a thiocyanate and is a dasyurid is wrong.; int11 & sent5 -> int12: the Kui is not a dasyurid.; int12 -> int13: there exists something such that it is not a dasyurid.; int13 & sent3 -> int14: the fact that the ununquadium is a kind of loopy thing that yodels Rosicrucianism is not true.; int6 & int14 -> int15: the ununquadium is not loopy.;
$hypothesis$ = the HS1 is an acoustic. ; $context$ = sent1: if the ununquadium is a kind of a skybox it is a kind of a dessiatine. sent2: the HS1 is not a kind of an acoustic if that the leaflet is loopy but it is not a dasyurid is not true. sent3: if there exists something such that the fact that it is not a dasyurid hold that the ununquadium is loopy and it does yodel Rosicrucianism is wrong. sent4: the ununquadium is not a conserved but it is a leucine. sent5: if there is something such that that it is not a thiocyanate and it is a kind of a dasyurid is not true the Kui is not a kind of a dasyurid. sent6: there is something such that it does unpick hyperventilation and it is alluvial. sent7: if something does unpick hyperventilation and it is alluvial then the leaflet unpicks hoariness. sent8: a skybox is a dessiatine. sent9: if the leaflet unpicks hoariness then it does not bog handshake and it is not a Levantine. sent10: the fact that that the microfossil is not a thiocyanate but a dasyurid does not hold is not incorrect if it is not a Levantine. sent11: the microfossil is not Levantine if the leaflet does not bog handshake and is not a Levantine. sent12: the fact that the leaflet is loopy and it is a dasyurid is not correct. sent13: the leaflet is loopy if it is an acoustic. sent14: that the leaflet is loopy but it is not a dasyurid is incorrect if the microfossil is loopy. sent15: the Kui is a skybox if the ununquadium does not conserve and is a leucine. sent16: if the ununquadium is a kind of a dessiatine the HS1 is not a Angolan but it is a kind of a dasyurid. sent17: the microfossil is loopy if the Kui is a dessiatine. sent18: something is not loopy if the fact that it is loopy thing that does yodel Rosicrucianism is incorrect. ; $proof$ = 
sent15 & sent4 -> int1: the Kui is a skybox.; sent8 -> int2: the Kui is a kind of a dessiatine if it is a skybox.; int1 & int2 -> int3: the Kui is a kind of a dessiatine.; int3 & sent17 -> int4: the microfossil is loopy.; int4 & sent14 -> int5: the fact that the leaflet is a kind of loopy thing that is not a kind of a dasyurid is not right.; int5 & sent2 -> hypothesis; __DISPROVED__