the roundhouse is not a kind of a neuroblast.
sent1: if there is something such that the fact that it subtilizes Rosicrucianism and it is a kind of a Halenia is false the roundhouse is a neuroblast. sent2: that the design does subtilize Rosicrucianism and is a Halenia is wrong if there exists something such that it does not untwine. sent3: something subtilizes Rosicrucianism and it is a kind of a Halenia. sent4: there is something such that it does not untwine.
sent4 & sent2 -> int1: the fact that the design does subtilize Rosicrucianism and is a Halenia is wrong.; int1 -> int2: there exists something such that that it subtilizes Rosicrucianism and is a Halenia is wrong.; int2 & sent1 -> hypothesis;
$hypothesis$ = the roundhouse is not a kind of a neuroblast. ; $context$ = sent1: if there is something such that the fact that it subtilizes Rosicrucianism and it is a kind of a Halenia is false the roundhouse is a neuroblast. sent2: that the design does subtilize Rosicrucianism and is a Halenia is wrong if there exists something such that it does not untwine. sent3: something subtilizes Rosicrucianism and it is a kind of a Halenia. sent4: there is something such that it does not untwine. ; $proof$ = 
sent4 & sent2 -> int1: the fact that the design does subtilize Rosicrucianism and is a Halenia is wrong.; int1 -> int2: there exists something such that that it subtilizes Rosicrucianism and is a Halenia is wrong.; int2 & sent1 -> hypothesis; __DISPROVED__