the Nut does green.
sent1: if the bookshelf is a sweetsop the plethysmograph is a sweetsop. sent2: if the plethysmograph is a monotheism but it is not a kind of a bootjack then it is a stovepipe. sent3: the fact that the landfill is a kind of a sweetsop is not correct if that the stinker is not discriminating and not a sweetsop does not hold. sent4: the plethysmograph is fore. sent5: the bookshelf is a kind of a sweetsop. sent6: the plethysmograph is not a stovepipe. sent7: if the plethysmograph is autoecious and/or it is a monotheism then it is not a kind of a bootjack. sent8: something is a bootjack if that it is a sweetsop is not incorrect. sent9: if the landfill is not a sweetsop the fact that it is a millibar and it is a stovepipe is false. sent10: if the Nut is pediatrics the plethysmograph is autoecious. sent11: something is a stovepipe and is not a kind of a millibar if it is not pediatrics. sent12: something is a green if it is a stovepipe and it is not a kind of a millibar. sent13: the Nut is a bootjack if the plethysmograph greens. sent14: the fact that something does not green and/or it is autoecious if it is pediatrics hold. sent15: the fact that the stinker is not discriminating and not a sweetsop is false. sent16: if there exists something such that the fact that it is a millibar and it is a stovepipe is not true then that the dance is a kind of a bootjack is true. sent17: if the bookshelf is not pediatrics and it is not a kind of a monotheism then the plethysmograph is pediatrics. sent18: if something is a millibar it is a kind of a monotheism. sent19: if something is autoecious and a sweetsop then it is pediatrics.
void -> assump1: Let's assume that the Nut is not non-pediatrics.; sent10 & assump1 -> int1: the plethysmograph is not non-autoecious.; int1 -> int2: the plethysmograph is autoecious and/or it is a kind of a monotheism.; int2 & sent7 -> int3: the plethysmograph is not a kind of a bootjack.; sent8 -> int4: the plethysmograph is a bootjack if it is a sweetsop.; sent1 & sent5 -> int5: the plethysmograph is a kind of a sweetsop.; int4 & int5 -> int6: the fact that the plethysmograph is a kind of a bootjack is correct.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Nut is not pediatrics.; sent11 -> int9: if the fact that the Nut is not pediatrics is not false then it is a stovepipe and not a millibar.; int8 & int9 -> int10: that the Nut is both a stovepipe and not a millibar is correct.; sent12 -> int11: the Nut greens if it is a stovepipe and not a millibar.; int10 & int11 -> hypothesis;
the Nut is non-green.
sent14 -> int12: the plethysmograph is not a kind of a green and/or it is autoecious if it is pediatrics.; sent3 & sent15 -> int13: the landfill is not a kind of a sweetsop.; sent9 & int13 -> int14: the fact that the landfill is a kind of a millibar and is a stovepipe is not true.; int14 -> int15: there exists something such that that it is a millibar that is a stovepipe is not right.; int15 & sent16 -> int16: the dance is a kind of a bootjack.; int16 -> int17: something is a bootjack.;
$hypothesis$ = the Nut does green. ; $context$ = sent1: if the bookshelf is a sweetsop the plethysmograph is a sweetsop. sent2: if the plethysmograph is a monotheism but it is not a kind of a bootjack then it is a stovepipe. sent3: the fact that the landfill is a kind of a sweetsop is not correct if that the stinker is not discriminating and not a sweetsop does not hold. sent4: the plethysmograph is fore. sent5: the bookshelf is a kind of a sweetsop. sent6: the plethysmograph is not a stovepipe. sent7: if the plethysmograph is autoecious and/or it is a monotheism then it is not a kind of a bootjack. sent8: something is a bootjack if that it is a sweetsop is not incorrect. sent9: if the landfill is not a sweetsop the fact that it is a millibar and it is a stovepipe is false. sent10: if the Nut is pediatrics the plethysmograph is autoecious. sent11: something is a stovepipe and is not a kind of a millibar if it is not pediatrics. sent12: something is a green if it is a stovepipe and it is not a kind of a millibar. sent13: the Nut is a bootjack if the plethysmograph greens. sent14: the fact that something does not green and/or it is autoecious if it is pediatrics hold. sent15: the fact that the stinker is not discriminating and not a sweetsop is false. sent16: if there exists something such that the fact that it is a millibar and it is a stovepipe is not true then that the dance is a kind of a bootjack is true. sent17: if the bookshelf is not pediatrics and it is not a kind of a monotheism then the plethysmograph is pediatrics. sent18: if something is a millibar it is a kind of a monotheism. sent19: if something is autoecious and a sweetsop then it is pediatrics. ; $proof$ = 
void -> assump1: Let's assume that the Nut is not non-pediatrics.; sent10 & assump1 -> int1: the plethysmograph is not non-autoecious.; int1 -> int2: the plethysmograph is autoecious and/or it is a kind of a monotheism.; int2 & sent7 -> int3: the plethysmograph is not a kind of a bootjack.; sent8 -> int4: the plethysmograph is a bootjack if it is a sweetsop.; sent1 & sent5 -> int5: the plethysmograph is a kind of a sweetsop.; int4 & int5 -> int6: the fact that the plethysmograph is a kind of a bootjack is correct.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Nut is not pediatrics.; sent11 -> int9: if the fact that the Nut is not pediatrics is not false then it is a stovepipe and not a millibar.; int8 & int9 -> int10: that the Nut is both a stovepipe and not a millibar is correct.; sent12 -> int11: the Nut greens if it is a stovepipe and not a millibar.; int10 & int11 -> hypothesis; __PROVED__