that the Primaxin is the bottlecap if the Primaxin does digitize bladderwort does not hold.
sent1: if something does not edge simile but it does digitize bladderwort then it is a kind of a Hilo. sent2: the fact that the Primaxin is a kind of non-underage thing that does digitize Essene does not hold. sent3: if the capacity is a support it is nonjudgmental. sent4: that the Primaxin is not a Herman but it is a kind of a support is incorrect. sent5: something is a bottlecap if it is a Hilo. sent6: if that the Primaxin is a bragger hold it does not edge simile. sent7: if something is not a Hilo but it is a Herman it is a bottlecap. sent8: the Primaxin does not lob tuna if it supports. sent9: the Primaxin does not edge simile if that it is both not a Herman and a support is incorrect. sent10: the Primaxin is unworldly if it is a Hilo. sent11: if something is not a support but it is a Hilo it digitizes bladderwort. sent12: the fact that the Primaxin does not edge simile and does hunt is false. sent13: something is a bottlecap if it does not edge simile and it is a Herman. sent14: the Wiener is a kind of a Hilo. sent15: that the Primaxin is both a support and a dichromacy is wrong. sent16: the lascar is a kind of a support. sent17: something is a Hilo if it is not a bottlecap and it is a Herman. sent18: that the Primaxin is a kind of a Herman that is a support is not right.
sent9 & sent4 -> int1: the Primaxin does not edge simile.; void -> assump1: Let's assume that the Primaxin does digitize bladderwort.; int1 & assump1 -> int2: that the Primaxin does not edge simile but it does digitize bladderwort is not incorrect.; sent1 -> int3: that the Primaxin is a Hilo is correct if it does not edge simile and it digitizes bladderwort.; int2 & int3 -> int4: the Primaxin is a Hilo.; sent5 -> int5: the Primaxin is a bottlecap if it is a Hilo.; int4 & int5 -> int6: the Primaxin is a bottlecap.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that the Primaxin is the bottlecap if the Primaxin does digitize bladderwort does not hold. ; $context$ = sent1: if something does not edge simile but it does digitize bladderwort then it is a kind of a Hilo. sent2: the fact that the Primaxin is a kind of non-underage thing that does digitize Essene does not hold. sent3: if the capacity is a support it is nonjudgmental. sent4: that the Primaxin is not a Herman but it is a kind of a support is incorrect. sent5: something is a bottlecap if it is a Hilo. sent6: if that the Primaxin is a bragger hold it does not edge simile. sent7: if something is not a Hilo but it is a Herman it is a bottlecap. sent8: the Primaxin does not lob tuna if it supports. sent9: the Primaxin does not edge simile if that it is both not a Herman and a support is incorrect. sent10: the Primaxin is unworldly if it is a Hilo. sent11: if something is not a support but it is a Hilo it digitizes bladderwort. sent12: the fact that the Primaxin does not edge simile and does hunt is false. sent13: something is a bottlecap if it does not edge simile and it is a Herman. sent14: the Wiener is a kind of a Hilo. sent15: that the Primaxin is both a support and a dichromacy is wrong. sent16: the lascar is a kind of a support. sent17: something is a Hilo if it is not a bottlecap and it is a Herman. sent18: that the Primaxin is a kind of a Herman that is a support is not right. ; $proof$ = 
sent9 & sent4 -> int1: the Primaxin does not edge simile.; void -> assump1: Let's assume that the Primaxin does digitize bladderwort.; int1 & assump1 -> int2: that the Primaxin does not edge simile but it does digitize bladderwort is not incorrect.; sent1 -> int3: that the Primaxin is a Hilo is correct if it does not edge simile and it digitizes bladderwort.; int2 & int3 -> int4: the Primaxin is a Hilo.; sent5 -> int5: the Primaxin is a bottlecap if it is a Hilo.; int4 & int5 -> int6: the Primaxin is a bottlecap.; [assump1] & int6 -> hypothesis; __DISPROVED__