the researcher is a bottom.
sent1: the takeout is a moonstone and/or does idealize. sent2: that if the viewgraph tops Babar then the AMP is Bogartian is not incorrect. sent3: the takeout tops Babar. sent4: the choreography is a kind of a duff if the takeout is a moonstone and/or it does not idealize. sent5: if the fact that the takeout is not a duff and does not idealize does not hold then the researcher does not idealize. sent6: the viewgraph is eccrine if that the choreography is Bogartian is not false. sent7: if the takeout does not idealize the choreography is a duff. sent8: if the viewgraph is Bogartian then the researcher does bottom. sent9: if the choreography is eccrine then the AMP does top Babar. sent10: something is a shimmy or is a kind of a moonstone or both if it does not idealize. sent11: the takeout is a kind of a shimmy. sent12: the takeout is a kind of a moonstone if it does shimmy. sent13: the takeout is Bogartian if the viewgraph is a kind of a shimmy. sent14: if something is a duff then it is eccrine. sent15: if that the choreography is a kind of non-Bogartian thing that is not eccrine is not false then that the takeout is eccrine is not wrong. sent16: if something is eccrine the fact that it is not a duff and it does not idealize is not right. sent17: the choreography is a moonstone or it is not eccrine or both.
sent12 & sent11 -> int1: the takeout is a kind of a moonstone.; int1 -> int2: either the takeout is a moonstone or it does not idealize or both.; int2 & sent4 -> int3: the choreography is a duff.; sent14 -> int4: if the choreography is a duff that it is eccrine hold.; int3 & int4 -> int5: the choreography is eccrine.; int5 & sent9 -> int6: the AMP does top Babar.;
the researcher does not bottom.
sent10 -> int7: the researcher does shimmy or is a moonstone or both if it does not idealize.; sent16 -> int8: the fact that the takeout is not a duff and does not idealize does not hold if it is eccrine.;
$hypothesis$ = the researcher is a bottom. ; $context$ = sent1: the takeout is a moonstone and/or does idealize. sent2: that if the viewgraph tops Babar then the AMP is Bogartian is not incorrect. sent3: the takeout tops Babar. sent4: the choreography is a kind of a duff if the takeout is a moonstone and/or it does not idealize. sent5: if the fact that the takeout is not a duff and does not idealize does not hold then the researcher does not idealize. sent6: the viewgraph is eccrine if that the choreography is Bogartian is not false. sent7: if the takeout does not idealize the choreography is a duff. sent8: if the viewgraph is Bogartian then the researcher does bottom. sent9: if the choreography is eccrine then the AMP does top Babar. sent10: something is a shimmy or is a kind of a moonstone or both if it does not idealize. sent11: the takeout is a kind of a shimmy. sent12: the takeout is a kind of a moonstone if it does shimmy. sent13: the takeout is Bogartian if the viewgraph is a kind of a shimmy. sent14: if something is a duff then it is eccrine. sent15: if that the choreography is a kind of non-Bogartian thing that is not eccrine is not false then that the takeout is eccrine is not wrong. sent16: if something is eccrine the fact that it is not a duff and it does not idealize is not right. sent17: the choreography is a moonstone or it is not eccrine or both. ; $proof$ = 
sent12 & sent11 -> int1: the takeout is a kind of a moonstone.; int1 -> int2: either the takeout is a moonstone or it does not idealize or both.; int2 & sent4 -> int3: the choreography is a duff.; sent14 -> int4: if the choreography is a duff that it is eccrine hold.; int3 & int4 -> int5: the choreography is eccrine.; int5 & sent9 -> int6: the AMP does top Babar.; __UNKNOWN__