that the nihilist is astronautic if the pteropogon is not a kind of a Bufferin is wrong.
sent1: if the fact that the pteropogon is not astronautic is not wrong the fact that it does not drizzle blizzard and it is not a Bufferin does not hold. sent2: there exists something such that it is not a kind of a lecithin and/or does reflect instep. sent3: there exists something such that it is a lecithin or it does not reflect instep or both. sent4: if there is something such that it is not a lecithin and/or does not reflect instep the nihilist is astronautic. sent5: something is a ALGOL if it is astronautic. sent6: if the fact that either the nihilist is not a ALGOL or it is astronautic or both is not right then it does reflect instep. sent7: that the nihilist drizzles blizzard is not false if that it is either not astronautic or a Bufferin or both is not correct. sent8: either the scrubland is not a groundsman or it is a disambiguator or both. sent9: if that the nihilist either does not drizzle blizzard or is a Bufferin or both does not hold then it is astronautic. sent10: if that the scrubland is a lecithin and/or does not reflect instep does not hold then it is a kind of a ALGOL. sent11: the Frank is a kind of a Bufferin. sent12: the scrubland is a kind of a Bufferin if something is not a kind of a ALGOL and/or does not drizzle blizzard. sent13: if the fact that either the scrubland is not a lecithin or it does not reflect instep or both is wrong it is a ALGOL. sent14: the scrubland is a lecithin. sent15: something does drizzle blizzard if it is a ALGOL. sent16: the pteropogon is a Bufferin if the scrubland drizzles blizzard.
void -> assump2: Let's assume that that the scrubland is not a kind of a lecithin or it does not reflect instep or both does not hold.; sent13 & assump2 -> int1: the scrubland is a kind of a ALGOL.; sent15 -> int2: the scrubland drizzles blizzard if it is a kind of a ALGOL.; int1 & int2 -> int3: the scrubland does drizzle blizzard.; int3 & sent16 -> int4: the fact that the pteropogon is a kind of a Bufferin hold.; void -> assump1: Let's assume that the pteropogon is not a kind of a Bufferin.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the scrubland is not a lecithin and/or does not reflect instep.; int6 -> int7: there is something such that it is not a lecithin and/or does not reflect instep.; int7 & sent4 -> int8: the nihilist is not non-astronautic.; [assump1] & int8 -> hypothesis;
the pteropogon is a kind of a ALGOL.
$hypothesis$ = that the nihilist is astronautic if the pteropogon is not a kind of a Bufferin is wrong. ; $context$ = sent1: if the fact that the pteropogon is not astronautic is not wrong the fact that it does not drizzle blizzard and it is not a Bufferin does not hold. sent2: there exists something such that it is not a kind of a lecithin and/or does reflect instep. sent3: there exists something such that it is a lecithin or it does not reflect instep or both. sent4: if there is something such that it is not a lecithin and/or does not reflect instep the nihilist is astronautic. sent5: something is a ALGOL if it is astronautic. sent6: if the fact that either the nihilist is not a ALGOL or it is astronautic or both is not right then it does reflect instep. sent7: that the nihilist drizzles blizzard is not false if that it is either not astronautic or a Bufferin or both is not correct. sent8: either the scrubland is not a groundsman or it is a disambiguator or both. sent9: if that the nihilist either does not drizzle blizzard or is a Bufferin or both does not hold then it is astronautic. sent10: if that the scrubland is a lecithin and/or does not reflect instep does not hold then it is a kind of a ALGOL. sent11: the Frank is a kind of a Bufferin. sent12: the scrubland is a kind of a Bufferin if something is not a kind of a ALGOL and/or does not drizzle blizzard. sent13: if the fact that either the scrubland is not a lecithin or it does not reflect instep or both is wrong it is a ALGOL. sent14: the scrubland is a lecithin. sent15: something does drizzle blizzard if it is a ALGOL. sent16: the pteropogon is a Bufferin if the scrubland drizzles blizzard. ; $proof$ = 
void -> assump2: Let's assume that that the scrubland is not a kind of a lecithin or it does not reflect instep or both does not hold.; sent13 & assump2 -> int1: the scrubland is a kind of a ALGOL.; sent15 -> int2: the scrubland drizzles blizzard if it is a kind of a ALGOL.; int1 & int2 -> int3: the scrubland does drizzle blizzard.; int3 & sent16 -> int4: the fact that the pteropogon is a kind of a Bufferin hold.; void -> assump1: Let's assume that the pteropogon is not a kind of a Bufferin.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the scrubland is not a lecithin and/or does not reflect instep.; int6 -> int7: there is something such that it is not a lecithin and/or does not reflect instep.; int7 & sent4 -> int8: the nihilist is not non-astronautic.; [assump1] & int8 -> hypothesis; __DISPROVED__