the wryneck is not concretistic.
sent1: something malts willingness. sent2: there exists something such that it is not a kind of a Stalinist. sent3: if the fact that the repairman is gestational and/or it is not on is not correct it does not malt willingness. sent4: the antihistamine either is a kind of a liquefaction or is not a kind of a tender or both if there exists something such that it does not malt willingness. sent5: there exists something such that the fact that it is gestational is not incorrect. sent6: the wryneck does not grub congregant if the antihistamine is not a kind of a tender. sent7: the repairman is on if there is something such that it is not a Stalinist. sent8: if that either the repairman is gestational or it is on or both is not right that it does not malt willingness is correct. sent9: something is a kind of a Stalinist if it is gestational. sent10: if that something does tender hold it is on. sent11: that the repairman is on is correct. sent12: if something is Stalinist it is concretistic. sent13: there is nothing that does not grub congregant and is concretistic. sent14: the wryneck does grub congregant if the antihistamine is a liquefaction. sent15: if the repairman is gestational but it does not malt willingness then the wryneck is gestational. sent16: there exists something such that that it is not non-Stalinist is correct. sent17: if there is something such that it is not Stalinist then that the repairman is gestational and/or is not on is wrong.
sent2 & sent17 -> int1: the fact that the repairman is gestational and/or it is not on is wrong.; int1 & sent3 -> int2: the repairman does not malt willingness.; int2 -> int3: there is something such that it does not malt willingness.; int3 & sent4 -> int4: the antihistamine is a liquefaction or it is not a tender or both.; void -> assump1: Let's assume that the wryneck is concretistic.; sent13 -> int5: the fact that the wryneck does not grub congregant and is concretistic is not right.;
the wryneck is concretistic.
sent12 -> int6: the wryneck is concretistic if it is a Stalinist.; sent9 -> int7: the wryneck is not non-Stalinist if that it is not non-gestational is not incorrect.; sent10 -> int8: the repairman is on if it tenders.;
$hypothesis$ = the wryneck is not concretistic. ; $context$ = sent1: something malts willingness. sent2: there exists something such that it is not a kind of a Stalinist. sent3: if the fact that the repairman is gestational and/or it is not on is not correct it does not malt willingness. sent4: the antihistamine either is a kind of a liquefaction or is not a kind of a tender or both if there exists something such that it does not malt willingness. sent5: there exists something such that the fact that it is gestational is not incorrect. sent6: the wryneck does not grub congregant if the antihistamine is not a kind of a tender. sent7: the repairman is on if there is something such that it is not a Stalinist. sent8: if that either the repairman is gestational or it is on or both is not right that it does not malt willingness is correct. sent9: something is a kind of a Stalinist if it is gestational. sent10: if that something does tender hold it is on. sent11: that the repairman is on is correct. sent12: if something is Stalinist it is concretistic. sent13: there is nothing that does not grub congregant and is concretistic. sent14: the wryneck does grub congregant if the antihistamine is a liquefaction. sent15: if the repairman is gestational but it does not malt willingness then the wryneck is gestational. sent16: there exists something such that that it is not non-Stalinist is correct. sent17: if there is something such that it is not Stalinist then that the repairman is gestational and/or is not on is wrong. ; $proof$ = 
sent2 & sent17 -> int1: the fact that the repairman is gestational and/or it is not on is wrong.; int1 & sent3 -> int2: the repairman does not malt willingness.; int2 -> int3: there is something such that it does not malt willingness.; int3 & sent4 -> int4: the antihistamine is a liquefaction or it is not a tender or both.; void -> assump1: Let's assume that the wryneck is concretistic.; sent13 -> int5: the fact that the wryneck does not grub congregant and is concretistic is not right.; __UNKNOWN__