that the maigre is a Heracleum and not a lithophyte if the manganese is not squared is wrong.
sent1: the manganese is not a beacon if it is a devotional. sent2: if the manganese is a kind of non-malodorous thing that is not a beacon then it is a omniscience. sent3: if the manganese is not a squared then the maigre is a kind of a Heracleum. sent4: if the manganese is a lithophyte then that it is not a devotional and not a beacon is not wrong. sent5: something that does not square is non-extroversive thing that mellows lancers. sent6: something is not extroversive if it is not a squared. sent7: the maigre is both a Heracleum and not a lithophyte if the manganese is a kind of a omniscience. sent8: the manganese is a kind of a devotional if it is not extroversive and it mellows lancers. sent9: if the maigre is not a devotional the manganese mellows lancers and is a Heracleum. sent10: the maigre is a kind of a Heracleum that is a lithophyte if the manganese is a omniscience. sent11: the berm is not malodorous. sent12: the maigre squares and it is a kind of a Heracleum. sent13: something is non-malodorous thing that is not a beacon if it is a devotional. sent14: the manganese is not extroversive.
sent5 -> int1: the manganese is not extroversive but it mellows lancers if it is not a squared.; void -> assump1: Let's assume that the manganese is not a squared.; int1 & assump1 -> int2: the manganese is not extroversive but it does mellow lancers.; int2 & sent8 -> int3: the manganese is a devotional.; sent13 -> int4: if the manganese is a kind of a devotional it is not malodorous and it does not beacon.; int3 & int4 -> int5: the manganese is not malodorous and it does not beacon.; int5 & sent2 -> int6: the manganese is a omniscience.; int6 & sent7 -> int7: the maigre is a Heracleum but it is not a lithophyte.; [assump1] & int7 -> hypothesis;
$hypothesis$ = that the maigre is a Heracleum and not a lithophyte if the manganese is not squared is wrong. ; $context$ = sent1: the manganese is not a beacon if it is a devotional. sent2: if the manganese is a kind of non-malodorous thing that is not a beacon then it is a omniscience. sent3: if the manganese is not a squared then the maigre is a kind of a Heracleum. sent4: if the manganese is a lithophyte then that it is not a devotional and not a beacon is not wrong. sent5: something that does not square is non-extroversive thing that mellows lancers. sent6: something is not extroversive if it is not a squared. sent7: the maigre is both a Heracleum and not a lithophyte if the manganese is a kind of a omniscience. sent8: the manganese is a kind of a devotional if it is not extroversive and it mellows lancers. sent9: if the maigre is not a devotional the manganese mellows lancers and is a Heracleum. sent10: the maigre is a kind of a Heracleum that is a lithophyte if the manganese is a omniscience. sent11: the berm is not malodorous. sent12: the maigre squares and it is a kind of a Heracleum. sent13: something is non-malodorous thing that is not a beacon if it is a devotional. sent14: the manganese is not extroversive. ; $proof$ = 
sent5 -> int1: the manganese is not extroversive but it mellows lancers if it is not a squared.; void -> assump1: Let's assume that the manganese is not a squared.; int1 & assump1 -> int2: the manganese is not extroversive but it does mellow lancers.; int2 & sent8 -> int3: the manganese is a devotional.; sent13 -> int4: if the manganese is a kind of a devotional it is not malodorous and it does not beacon.; int3 & int4 -> int5: the manganese is not malodorous and it does not beacon.; int5 & sent2 -> int6: the manganese is a omniscience.; int6 & sent7 -> int7: the maigre is a Heracleum but it is not a lithophyte.; [assump1] & int7 -> hypothesis; __DISPROVED__