the proposer is a xi.
sent1: the odonate is a kind of a Frisbee if the cutthroat does gravel. sent2: the odonate is not an explosive and not a wank if it is biographic. sent3: if the odonate is nonexplosive and is not a wank then the proposer is bismuthic. sent4: the cutthroat is lossy if the odonate is both not a lisle and explosive. sent5: if the cutthroat is a lisle then it is biographic and it is not a wank. sent6: if the cutthroat is controversial and it is a lisle then it is bismuthic. sent7: the cutthroat is controversial. sent8: the Po does not individuate oblateness and is not a snout. sent9: something is a kind of a xi if it is bismuthic. sent10: if the cutthroat is lossy but it is not a lisle it does gravel. sent11: the cutthroat is a wank if it does gravel. sent12: if the cutthroat is not non-lossy then it is biographic. sent13: something that unblocks is a peel. sent14: the fact that the odonate is not controversial hold if it is a Frisbee. sent15: something is controversial if it is an explosive. sent16: something is biographic if it is a kind of a Frisbee. sent17: if the cutthroat is controversial it is both lossy and not a lisle. sent18: the fact that the cutthroat is lossy is not incorrect.
sent17 & sent7 -> int1: the cutthroat is lossy but it is not a kind of a lisle.; int1 & sent10 -> int2: the cutthroat is a gravel.; int2 & sent1 -> int3: the odonate is a Frisbee.; sent16 -> int4: the odonate is biographic if that it is a kind of a Frisbee is true.; int3 & int4 -> int5: the odonate is biographic.; int5 & sent2 -> int6: the odonate is nonexplosive but not a wank.; int6 & sent3 -> int7: the proposer is bismuthic.; sent9 -> int8: if the proposer is bismuthic then it is a kind of a xi.; int7 & int8 -> hypothesis;
$hypothesis$ = the proposer is a xi. ; $context$ = sent1: the odonate is a kind of a Frisbee if the cutthroat does gravel. sent2: the odonate is not an explosive and not a wank if it is biographic. sent3: if the odonate is nonexplosive and is not a wank then the proposer is bismuthic. sent4: the cutthroat is lossy if the odonate is both not a lisle and explosive. sent5: if the cutthroat is a lisle then it is biographic and it is not a wank. sent6: if the cutthroat is controversial and it is a lisle then it is bismuthic. sent7: the cutthroat is controversial. sent8: the Po does not individuate oblateness and is not a snout. sent9: something is a kind of a xi if it is bismuthic. sent10: if the cutthroat is lossy but it is not a lisle it does gravel. sent11: the cutthroat is a wank if it does gravel. sent12: if the cutthroat is not non-lossy then it is biographic. sent13: something that unblocks is a peel. sent14: the fact that the odonate is not controversial hold if it is a Frisbee. sent15: something is controversial if it is an explosive. sent16: something is biographic if it is a kind of a Frisbee. sent17: if the cutthroat is controversial it is both lossy and not a lisle. sent18: the fact that the cutthroat is lossy is not incorrect. ; $proof$ = 
sent17 & sent7 -> int1: the cutthroat is lossy but it is not a kind of a lisle.; int1 & sent10 -> int2: the cutthroat is a gravel.; int2 & sent1 -> int3: the odonate is a Frisbee.; sent16 -> int4: the odonate is biographic if that it is a kind of a Frisbee is true.; int3 & int4 -> int5: the odonate is biographic.; int5 & sent2 -> int6: the odonate is nonexplosive but not a wank.; int6 & sent3 -> int7: the proposer is bismuthic.; sent9 -> int8: if the proposer is bismuthic then it is a kind of a xi.; int7 & int8 -> hypothesis; __PROVED__