the mural is a kind of a buteonine.
sent1: something is an explorer if it is a kind of a burial. sent2: the mural is a kind of a buteonine if the Methuselah is adventuristic. sent3: if the partygoer does repine percentage and is a kind of an explorer then the resistance is not a goldeneye. sent4: the shagbark is not a goldeneye if something is not adventuristic. sent5: there exists something such that it is not bellyless. sent6: the partygoer is a goldeneye if the resistance is not a kind of an explorer and does not repine percentage. sent7: if that the resistance is buteonine thing that does not repine percentage hold then the mural is not a kind of a buteonine. sent8: if the resistance is not a kind of a goldeneye and it is not nonunion then the fact that the Methuselah is adventuristic is true. sent9: the taskmistress is an explorer if the fact that the shagbark is nonunion but it is not an explorer is not right. sent10: if the Skagit is not a spittoon the adviser is a belay and is a kind of a nudist. sent11: if there exists something such that it is a kind of a belay the ebony is not biogenetic and it does not explode. sent12: the fact that something is nonunion and is not an explorer is not right if it is not a goldeneye. sent13: the resistance is not nonunion. sent14: that the partygoer repines percentage is correct. sent15: that the Skagit is multilingual and is pastoral is wrong if the fact that something is not bellyless is not wrong. sent16: the resistance is a buteonine. sent17: the partygoer is a burial. sent18: the partygoer is hydrostatic. sent19: the fact that the Methuselah is a kind of a burial if something is an explorer is true. sent20: the partygoer is a burial if the mural does not repine percentage and is not buteonine. sent21: if that something is multilingual and is pastoral does not hold then it is not a spittoon. sent22: That the percentage repines partygoer is correct. sent23: if something is a kind of non-biogenetic thing that does not explode it is not adventuristic.
sent1 -> int1: the partygoer is an explorer if it is a burial.; int1 & sent17 -> int2: the partygoer is an explorer.; int2 & sent14 -> int3: the partygoer repines percentage and is a kind of an explorer.; int3 & sent3 -> int4: the resistance is not a goldeneye.; int4 & sent13 -> int5: the resistance is not a goldeneye and it is not nonunion.; int5 & sent8 -> int6: the Methuselah is adventuristic.; int6 & sent2 -> hypothesis;
the mural is not a kind of a buteonine.
sent12 -> int7: if the shagbark is not a kind of a goldeneye that it is nonunion and it is not an explorer does not hold.; sent23 -> int8: the fact that the ebony is non-adventuristic is right if it is a kind of non-biogenetic thing that does not explode.; sent21 -> int9: the Skagit is not a spittoon if that it is a kind of multilingual a pastoral is not right.; sent5 & sent15 -> int10: the fact that the Skagit is multilingual and it is a kind of a pastoral is not correct.; int9 & int10 -> int11: the fact that the Skagit is not a kind of a spittoon hold.; sent10 & int11 -> int12: the adviser does belay and it is a nudist.; int12 -> int13: the adviser does belay.; int13 -> int14: there exists something such that it belays.; int14 & sent11 -> int15: the ebony is not biogenetic and does not explode.; int8 & int15 -> int16: the ebony is not adventuristic.; int16 -> int17: there exists something such that it is not adventuristic.; int17 & sent4 -> int18: the shagbark is not a goldeneye.; int7 & int18 -> int19: the fact that the shagbark is nonunion but not an explorer does not hold.; sent9 & int19 -> int20: the taskmistress is an explorer.; int20 -> int21: there exists something such that it is an explorer.; int21 & sent19 -> int22: the Methuselah is a burial.; int22 -> int23: there is something such that it is a burial.;
$hypothesis$ = the mural is a kind of a buteonine. ; $context$ = sent1: something is an explorer if it is a kind of a burial. sent2: the mural is a kind of a buteonine if the Methuselah is adventuristic. sent3: if the partygoer does repine percentage and is a kind of an explorer then the resistance is not a goldeneye. sent4: the shagbark is not a goldeneye if something is not adventuristic. sent5: there exists something such that it is not bellyless. sent6: the partygoer is a goldeneye if the resistance is not a kind of an explorer and does not repine percentage. sent7: if that the resistance is buteonine thing that does not repine percentage hold then the mural is not a kind of a buteonine. sent8: if the resistance is not a kind of a goldeneye and it is not nonunion then the fact that the Methuselah is adventuristic is true. sent9: the taskmistress is an explorer if the fact that the shagbark is nonunion but it is not an explorer is not right. sent10: if the Skagit is not a spittoon the adviser is a belay and is a kind of a nudist. sent11: if there exists something such that it is a kind of a belay the ebony is not biogenetic and it does not explode. sent12: the fact that something is nonunion and is not an explorer is not right if it is not a goldeneye. sent13: the resistance is not nonunion. sent14: that the partygoer repines percentage is correct. sent15: that the Skagit is multilingual and is pastoral is wrong if the fact that something is not bellyless is not wrong. sent16: the resistance is a buteonine. sent17: the partygoer is a burial. sent18: the partygoer is hydrostatic. sent19: the fact that the Methuselah is a kind of a burial if something is an explorer is true. sent20: the partygoer is a burial if the mural does not repine percentage and is not buteonine. sent21: if that something is multilingual and is pastoral does not hold then it is not a spittoon. sent22: That the percentage repines partygoer is correct. sent23: if something is a kind of non-biogenetic thing that does not explode it is not adventuristic. ; $proof$ = 
sent1 -> int1: the partygoer is an explorer if it is a burial.; int1 & sent17 -> int2: the partygoer is an explorer.; int2 & sent14 -> int3: the partygoer repines percentage and is a kind of an explorer.; int3 & sent3 -> int4: the resistance is not a goldeneye.; int4 & sent13 -> int5: the resistance is not a goldeneye and it is not nonunion.; int5 & sent8 -> int6: the Methuselah is adventuristic.; int6 & sent2 -> hypothesis; __PROVED__