the double-crosser does not muff delusion and does naturalize.
sent1: the double-crosser is a Anselm. sent2: something does not muff delusion but it does naturalize if it is a NGO. sent3: if the double-crosser is a Anselm it is not a thrall. sent4: the shipwreck is a kind of Proustian a electrograph. sent5: the shipwreck does realize if the double-crosser is not a thrall and it does not teeter. sent6: if something does muff Tytonidae it is a kind of a NGO. sent7: the fact that something does muff Tytonidae but it does not muff delusion is not right if it does not naturalize. sent8: that the double-crosser is not a force and it does not muff beating is incorrect. sent9: the snuffer is not a NGO. sent10: the microgametophyte is not a moorhen and it is not a electrograph if that the shipwreck is a electrograph hold. sent11: something is not a moorhen if the fact that it does muff Tytonidae and it does not muff delusion is not true. sent12: the double-crosser does not teeter if the fact that it is not a kind of a force and it does not muff beating is not true. sent13: the double-crosser does muff Tytonidae if something that is not a moorhen is not a electrograph. sent14: the microgametophyte does not naturalize if there is something such that it realizes. sent15: the fact that the double-crosser does not muff delusion and does naturalize is not right if the shipwreck is not Proustian. sent16: if something is Proustian it does not trumpet and it is not a NGO.
sent4 -> int1: the fact that the shipwreck is not a electrograph is wrong.; int1 & sent10 -> int2: the microgametophyte is not a moorhen and it is not a electrograph.; int2 -> int3: something is not a moorhen and not a electrograph.; int3 & sent13 -> int4: the double-crosser muffs Tytonidae.; sent6 -> int5: if the double-crosser muffs Tytonidae then it is a NGO.; int4 & int5 -> int6: that the double-crosser is a NGO is true.; sent2 -> int7: if the double-crosser is a NGO then it does not muff delusion and it does naturalize.; int6 & int7 -> hypothesis;
the microgametophyte does not trumpet and it is not a NGO.
sent16 -> int8: the microgametophyte does not trumpet and is not a NGO if it is Proustian.; sent11 -> int9: if the fact that the microgametophyte does muff Tytonidae but it does not muff delusion does not hold it is not a moorhen.; sent7 -> int10: if the microgametophyte does not naturalize that it does muff Tytonidae and it does not muff delusion is not correct.; sent3 & sent1 -> int11: the double-crosser is not a thrall.; sent12 & sent8 -> int12: the fact that the double-crosser does not teeter hold.; int11 & int12 -> int13: the double-crosser is not a kind of a thrall and it does not teeter.; sent5 & int13 -> int14: the shipwreck realizes.; int14 -> int15: something realizes.; int15 & sent14 -> int16: the microgametophyte does not naturalize.; int10 & int16 -> int17: the fact that the microgametophyte muffs Tytonidae but it does not muff delusion is not correct.; int9 & int17 -> int18: the microgametophyte is not a moorhen.;
$hypothesis$ = the double-crosser does not muff delusion and does naturalize. ; $context$ = sent1: the double-crosser is a Anselm. sent2: something does not muff delusion but it does naturalize if it is a NGO. sent3: if the double-crosser is a Anselm it is not a thrall. sent4: the shipwreck is a kind of Proustian a electrograph. sent5: the shipwreck does realize if the double-crosser is not a thrall and it does not teeter. sent6: if something does muff Tytonidae it is a kind of a NGO. sent7: the fact that something does muff Tytonidae but it does not muff delusion is not right if it does not naturalize. sent8: that the double-crosser is not a force and it does not muff beating is incorrect. sent9: the snuffer is not a NGO. sent10: the microgametophyte is not a moorhen and it is not a electrograph if that the shipwreck is a electrograph hold. sent11: something is not a moorhen if the fact that it does muff Tytonidae and it does not muff delusion is not true. sent12: the double-crosser does not teeter if the fact that it is not a kind of a force and it does not muff beating is not true. sent13: the double-crosser does muff Tytonidae if something that is not a moorhen is not a electrograph. sent14: the microgametophyte does not naturalize if there is something such that it realizes. sent15: the fact that the double-crosser does not muff delusion and does naturalize is not right if the shipwreck is not Proustian. sent16: if something is Proustian it does not trumpet and it is not a NGO. ; $proof$ = 
sent4 -> int1: the fact that the shipwreck is not a electrograph is wrong.; int1 & sent10 -> int2: the microgametophyte is not a moorhen and it is not a electrograph.; int2 -> int3: something is not a moorhen and not a electrograph.; int3 & sent13 -> int4: the double-crosser muffs Tytonidae.; sent6 -> int5: if the double-crosser muffs Tytonidae then it is a NGO.; int4 & int5 -> int6: that the double-crosser is a NGO is true.; sent2 -> int7: if the double-crosser is a NGO then it does not muff delusion and it does naturalize.; int6 & int7 -> hypothesis; __PROVED__