the ordinand does not symbolize compaction.
sent1: if there exists something such that the fact that it is not fatty and/or does not beat swag hold the placenta is a bun. sent2: if that something does beat disarray but it is not fatty is false then it does not symbolize compaction. sent3: the inset is a Sana if the placenta does humanize ferrule. sent4: a bun does humanize ferrule. sent5: there is something such that it beats disarray. sent6: the ammonium is a bun. sent7: if something does not beat swag the fact that it beats disarray and is not fatty does not hold. sent8: something is a bun if it symbolizes compaction. sent9: something is fatty or does not beat swag or both. sent10: if the inset is a Sana then the ordinand symbolizes compaction. sent11: there is something such that it does not beat swag or it does not symbolize compaction or both. sent12: the ammonium either is not fatty or does beat swag or both. sent13: that the placenta beats disarray is true. sent14: there is something such that it is not fatty and/or it does beat swag. sent15: if the fact that something does not beat swag and/or it does not beat disarray is not wrong then it does not beat disarray. sent16: if there is something such that it does not beat disarray the ammonium either is not fatty or does beat swag or both. sent17: something does not symbolize sparker if it does not beat disarray. sent18: if there is something such that the fact that it does not beat disarray hold then the ammonium is not fatty and/or it does not beat swag. sent19: something does not beat disarray. sent20: if there exists something such that it does not beat swag the placenta is a kind of a bun.
sent19 & sent18 -> int1: the ammonium is not fatty and/or it does not beat swag.; int1 -> int2: there exists something such that it is not fatty and/or it does not beat swag.; int2 & sent1 -> int3: the placenta is a kind of a bun.; sent4 -> int4: the placenta humanizes ferrule if it is a kind of a bun.; int3 & int4 -> int5: the placenta does humanize ferrule.; int5 & sent3 -> int6: the inset is a Sana.; int6 & sent10 -> hypothesis;
the ordinand does not symbolize compaction.
sent2 -> int7: if the fact that the ordinand does beat disarray but it is not fatty is not correct then it does not symbolize compaction.; sent7 -> int8: if the ordinand does not beat swag then the fact that it beats disarray and is not fatty is wrong.;
$hypothesis$ = the ordinand does not symbolize compaction. ; $context$ = sent1: if there exists something such that the fact that it is not fatty and/or does not beat swag hold the placenta is a bun. sent2: if that something does beat disarray but it is not fatty is false then it does not symbolize compaction. sent3: the inset is a Sana if the placenta does humanize ferrule. sent4: a bun does humanize ferrule. sent5: there is something such that it beats disarray. sent6: the ammonium is a bun. sent7: if something does not beat swag the fact that it beats disarray and is not fatty does not hold. sent8: something is a bun if it symbolizes compaction. sent9: something is fatty or does not beat swag or both. sent10: if the inset is a Sana then the ordinand symbolizes compaction. sent11: there is something such that it does not beat swag or it does not symbolize compaction or both. sent12: the ammonium either is not fatty or does beat swag or both. sent13: that the placenta beats disarray is true. sent14: there is something such that it is not fatty and/or it does beat swag. sent15: if the fact that something does not beat swag and/or it does not beat disarray is not wrong then it does not beat disarray. sent16: if there is something such that it does not beat disarray the ammonium either is not fatty or does beat swag or both. sent17: something does not symbolize sparker if it does not beat disarray. sent18: if there is something such that the fact that it does not beat disarray hold then the ammonium is not fatty and/or it does not beat swag. sent19: something does not beat disarray. sent20: if there exists something such that it does not beat swag the placenta is a kind of a bun. ; $proof$ = 
sent19 & sent18 -> int1: the ammonium is not fatty and/or it does not beat swag.; int1 -> int2: there exists something such that it is not fatty and/or it does not beat swag.; int2 & sent1 -> int3: the placenta is a kind of a bun.; sent4 -> int4: the placenta humanizes ferrule if it is a kind of a bun.; int3 & int4 -> int5: the placenta does humanize ferrule.; int5 & sent3 -> int6: the inset is a Sana.; int6 & sent10 -> hypothesis; __DISPROVED__