the fact that the nubbin is not iambic and does not marbleize is wrong.
sent1: the fact that something is not iambic and it does not marbleize does not hold if it does not guard gammon. sent2: something is not a dietary and does not confer if it is a kind of a iambic. sent3: if the climb does guard Neophron the implantation is a flats. sent4: that the fact that something is not inferential but it is papery hold is not correct if it is flats. sent5: something is not a kind of a diarist if that it does not guard Neophron and it is not spatial is not correct. sent6: if the fenugreek is a iambic then it is not dietary. sent7: the climb does not idealize linage. sent8: the fact that the implantation does not guard Neophron and is nonspatial is wrong if the climb does not idealize linage. sent9: the nubbin is a kind of non-iambic thing that does not marbleize if the fenugreek is not a kind of a iambic. sent10: the climb does guard Neophron and/or is a flats. sent11: if the fenugreek is not dietary and does not confer then the implantation does guard gammon. sent12: something does not guard gammon if that it is non-inferential and papery is wrong. sent13: if something is inferential then it does not guard gammon. sent14: that the nubbin is iambic thing that marbleizes is incorrect if it guards gammon. sent15: something is not iambic and it is not proud if the fact that it does not guard gammon is not false. sent16: if that the climb is a flats is not wrong the implantation is a kind of a flats.
sent2 -> int1: the fenugreek is not a kind of a dietary and does not confer if it is iambic.; void -> assump1: Let's assume that the fenugreek is a iambic.; int1 & assump1 -> int2: the fenugreek is non-dietary thing that does not confer.; int2 & sent11 -> int3: the implantation does guard gammon.; sent12 -> int4: the implantation does not guard gammon if that it is not inferential and it is papery does not hold.; sent4 -> int5: that the implantation is not inferential and is papery is not correct if it is not non-flats.; sent10 & sent3 & sent16 -> int6: the implantation is a kind of a flats.; int5 & int6 -> int7: that the implantation is non-inferential but not non-papery is false.; int4 & int7 -> int8: the implantation does not guard gammon.; int3 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the fenugreek is not a iambic.; int10 & sent9 -> hypothesis;
that the nubbin is non-iambic thing that does not marbleize does not hold.
sent1 -> int11: the fact that the nubbin is not a iambic and does not marbleize is not correct if it does not guard gammon.; sent5 -> int12: that the implantation is not a kind of the diarist if that the implantation does not guard Neophron and is nonspatial does not hold is not incorrect.; sent8 & sent7 -> int13: that the implantation does not guard Neophron but it is nonspatial is not correct.; int12 & int13 -> int14: the implantation is not a diarist.; int14 -> int15: there exists something such that it is not a diarist.;
$hypothesis$ = the fact that the nubbin is not iambic and does not marbleize is wrong. ; $context$ = sent1: the fact that something is not iambic and it does not marbleize does not hold if it does not guard gammon. sent2: something is not a dietary and does not confer if it is a kind of a iambic. sent3: if the climb does guard Neophron the implantation is a flats. sent4: that the fact that something is not inferential but it is papery hold is not correct if it is flats. sent5: something is not a kind of a diarist if that it does not guard Neophron and it is not spatial is not correct. sent6: if the fenugreek is a iambic then it is not dietary. sent7: the climb does not idealize linage. sent8: the fact that the implantation does not guard Neophron and is nonspatial is wrong if the climb does not idealize linage. sent9: the nubbin is a kind of non-iambic thing that does not marbleize if the fenugreek is not a kind of a iambic. sent10: the climb does guard Neophron and/or is a flats. sent11: if the fenugreek is not dietary and does not confer then the implantation does guard gammon. sent12: something does not guard gammon if that it is non-inferential and papery is wrong. sent13: if something is inferential then it does not guard gammon. sent14: that the nubbin is iambic thing that marbleizes is incorrect if it guards gammon. sent15: something is not iambic and it is not proud if the fact that it does not guard gammon is not false. sent16: if that the climb is a flats is not wrong the implantation is a kind of a flats. ; $proof$ = 
sent2 -> int1: the fenugreek is not a kind of a dietary and does not confer if it is iambic.; void -> assump1: Let's assume that the fenugreek is a iambic.; int1 & assump1 -> int2: the fenugreek is non-dietary thing that does not confer.; int2 & sent11 -> int3: the implantation does guard gammon.; sent12 -> int4: the implantation does not guard gammon if that it is not inferential and it is papery does not hold.; sent4 -> int5: that the implantation is not inferential and is papery is not correct if it is not non-flats.; sent10 & sent3 & sent16 -> int6: the implantation is a kind of a flats.; int5 & int6 -> int7: that the implantation is non-inferential but not non-papery is false.; int4 & int7 -> int8: the implantation does not guard gammon.; int3 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the fenugreek is not a iambic.; int10 & sent9 -> hypothesis; __DISPROVED__