the flibbertigibbet is not a Triangulum.
sent1: if the goldenbush does not overrun shadow the amputator does overrun shadow and/or it is not an assassin. sent2: if the goldenbush is a Neandertal the chancel does not pit. sent3: if the goldenbush is a composite it is a kind of an oscilloscope. sent4: an intracranial thing that is an oscilloscope does not overrun shadow. sent5: if the songstress is bronchiolar the chancel pits. sent6: if the amputator is not an assassin the flibbertigibbet is not a shrink-wrap. sent7: if that the amputator does overrun shadow is correct the flibbertigibbet is not a shrink-wrap. sent8: the songstress is bronchiolar. sent9: something is a Triangulum if it is not a shrink-wrap. sent10: if something that is not intracranial is not a Neandertal then it is not a Triangulum. sent11: the flibbertigibbet is not intracranial if that the chancel is not an assassin but it is intracranial is not right. sent12: the fact that the chancel is not an assassin but it is intracranial is not true. sent13: the goldenbush is a Ohm and it is a composite. sent14: the chancel does not pit if the goldenbush is a Neandertal or non-intracranial or both.
void -> assump1: Let's assume that the goldenbush is not intracranial.; assump1 -> int1: either the goldenbush is a Neandertal or it is not intracranial or both.; int1 & sent14 -> int2: the chancel does not pit.; sent5 & sent8 -> int3: the chancel does pit.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the goldenbush is intracranial.; sent13 -> int6: that the goldenbush is a composite is not false.; sent3 & int6 -> int7: the goldenbush is an oscilloscope.; int5 & int7 -> int8: the goldenbush is intracranial and an oscilloscope.; sent4 -> int9: if the goldenbush is not non-intracranial but an oscilloscope it does not overrun shadow.; int8 & int9 -> int10: the goldenbush does not overrun shadow.; int10 & sent1 -> int11: either the amputator overruns shadow or it is not an assassin or both.; int11 & sent7 & sent6 -> int12: the flibbertigibbet is not a shrink-wrap.; sent9 -> int13: the fact that the flibbertigibbet is a kind of the Triangulum if the flibbertigibbet is not a shrink-wrap is not wrong.; int12 & int13 -> hypothesis;
the flibbertigibbet is not a kind of a Triangulum.
sent10 -> int14: the flibbertigibbet is not a kind of a Triangulum if it is not intracranial and is not a Neandertal.; sent11 & sent12 -> int15: the flibbertigibbet is not intracranial.;
$hypothesis$ = the flibbertigibbet is not a Triangulum. ; $context$ = sent1: if the goldenbush does not overrun shadow the amputator does overrun shadow and/or it is not an assassin. sent2: if the goldenbush is a Neandertal the chancel does not pit. sent3: if the goldenbush is a composite it is a kind of an oscilloscope. sent4: an intracranial thing that is an oscilloscope does not overrun shadow. sent5: if the songstress is bronchiolar the chancel pits. sent6: if the amputator is not an assassin the flibbertigibbet is not a shrink-wrap. sent7: if that the amputator does overrun shadow is correct the flibbertigibbet is not a shrink-wrap. sent8: the songstress is bronchiolar. sent9: something is a Triangulum if it is not a shrink-wrap. sent10: if something that is not intracranial is not a Neandertal then it is not a Triangulum. sent11: the flibbertigibbet is not intracranial if that the chancel is not an assassin but it is intracranial is not right. sent12: the fact that the chancel is not an assassin but it is intracranial is not true. sent13: the goldenbush is a Ohm and it is a composite. sent14: the chancel does not pit if the goldenbush is a Neandertal or non-intracranial or both. ; $proof$ = 
void -> assump1: Let's assume that the goldenbush is not intracranial.; assump1 -> int1: either the goldenbush is a Neandertal or it is not intracranial or both.; int1 & sent14 -> int2: the chancel does not pit.; sent5 & sent8 -> int3: the chancel does pit.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the goldenbush is intracranial.; sent13 -> int6: that the goldenbush is a composite is not false.; sent3 & int6 -> int7: the goldenbush is an oscilloscope.; int5 & int7 -> int8: the goldenbush is intracranial and an oscilloscope.; sent4 -> int9: if the goldenbush is not non-intracranial but an oscilloscope it does not overrun shadow.; int8 & int9 -> int10: the goldenbush does not overrun shadow.; int10 & sent1 -> int11: either the amputator overruns shadow or it is not an assassin or both.; int11 & sent7 & sent6 -> int12: the flibbertigibbet is not a shrink-wrap.; sent9 -> int13: the fact that the flibbertigibbet is a kind of the Triangulum if the flibbertigibbet is not a shrink-wrap is not wrong.; int12 & int13 -> hypothesis; __DISPROVED__