the fact that there is something such that it does palatalize mignonette is not true.
sent1: the oxygenase does palatalize sterilization and is nephritic. sent2: the drop palatalizes mignonette if it backstops Aramaic. sent3: if the oxygenase palatalizes sterilization it is a Sikh. sent4: the Nebuchadnezzar does backstop Aramaic. sent5: that something is a kind of Burundi a NRTI is not correct if it does not backstop Aramaic. sent6: if the fact that the drop is not non-Burundi but a NRTI is incorrect the oxygenase is not a Sikh.
sent5 -> int1: that the drop is a Burundi and it is a NRTI is not correct if it does not backstop Aramaic.; void -> assump1: Let's assume that the drop does not backstop Aramaic.; int1 & assump1 -> int2: the fact that the drop is Burundi thing that is a NRTI is not right.; int2 & sent6 -> int3: the oxygenase is non-Sikh.; sent1 -> int4: the oxygenase palatalizes sterilization.; sent3 & int4 -> int5: the oxygenase is Sikh.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the drop backstops Aramaic.; int7 & sent2 -> int8: the drop does palatalize mignonette.; int8 -> hypothesis;
$hypothesis$ = the fact that there is something such that it does palatalize mignonette is not true. ; $context$ = sent1: the oxygenase does palatalize sterilization and is nephritic. sent2: the drop palatalizes mignonette if it backstops Aramaic. sent3: if the oxygenase palatalizes sterilization it is a Sikh. sent4: the Nebuchadnezzar does backstop Aramaic. sent5: that something is a kind of Burundi a NRTI is not correct if it does not backstop Aramaic. sent6: if the fact that the drop is not non-Burundi but a NRTI is incorrect the oxygenase is not a Sikh. ; $proof$ = 
sent5 -> int1: that the drop is a Burundi and it is a NRTI is not correct if it does not backstop Aramaic.; void -> assump1: Let's assume that the drop does not backstop Aramaic.; int1 & assump1 -> int2: the fact that the drop is Burundi thing that is a NRTI is not right.; int2 & sent6 -> int3: the oxygenase is non-Sikh.; sent1 -> int4: the oxygenase palatalizes sterilization.; sent3 & int4 -> int5: the oxygenase is Sikh.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the drop backstops Aramaic.; int7 & sent2 -> int8: the drop does palatalize mignonette.; int8 -> hypothesis; __DISPROVED__