the phylloquinone is not unexpendable.
sent1: the gayal is longitudinal. sent2: if there is something such that it is a wilt then the ornithischian is Polish. sent3: the phylloquinone is febrile or it is not a wilt or both if it is not Polish. sent4: if the ornithischian is a Polish it is longitudinal. sent5: if something splices and/or does not bind shirtsleeve then it is not Polish. sent6: if the ornithischian is febrile it is longitudinal. sent7: the phylloquinone does not bind shirtsleeve if there is something such that that it is a kind of an overthrow that does bind shirtsleeve is not correct. sent8: there is something such that it is longitudinal and/or it wilts. sent9: if the ornithischian is a Polish then the phylloquinone is unexpendable. sent10: the phylloquinone is longitudinal. sent11: that the gayal is longitudinal and ribless is not wrong. sent12: the gayal is longitudinal and is thoughtful. sent13: the gayal does pique gayal. sent14: there exists something such that that it is a kind of an overthrow that does bind shirtsleeve is wrong. sent15: something that is febrile or does not wilt or both is not a wilt. sent16: the ornithischian is febrile or a Polish or both if the phylloquinone does not bind shirtsleeve. sent17: if that something is longitudinal but it is not thoughtful is not correct then it is expendable. sent18: if there is something such that either it is thoughtful or it is a kind of a wilt or both then the ornithischian is Polish. sent19: that the ornithischian is unexpendable hold. sent20: the phylloquinone is solanaceous and a ratline. sent21: that something is a kind of a wilt but it is not unexpendable is not correct if it is longitudinal.
sent12 -> int1: the gayal is thoughtful.; int1 -> int2: the gayal is thoughtful and/or does wilt.; int2 -> int3: there exists something such that either it is thoughtful or it is a kind of a wilt or both.; int3 & sent18 -> int4: that the ornithischian is Polish hold.; sent9 & int4 -> hypothesis;
the harpoon is unexpendable.
sent21 -> int5: if the ornithischian is longitudinal the fact that it is a wilt that is not unexpendable does not hold.; sent14 & sent7 -> int6: the phylloquinone does not bind shirtsleeve.; sent16 & int6 -> int7: the ornithischian is febrile and/or it is a Polish.; int7 & sent6 & sent4 -> int8: the ornithischian is longitudinal.; int5 & int8 -> int9: that the ornithischian does wilt but it is not unexpendable is not right.; int9 -> int10: there exists something such that that it is a wilt and it is not unexpendable is false.;
$hypothesis$ = the phylloquinone is not unexpendable. ; $context$ = sent1: the gayal is longitudinal. sent2: if there is something such that it is a wilt then the ornithischian is Polish. sent3: the phylloquinone is febrile or it is not a wilt or both if it is not Polish. sent4: if the ornithischian is a Polish it is longitudinal. sent5: if something splices and/or does not bind shirtsleeve then it is not Polish. sent6: if the ornithischian is febrile it is longitudinal. sent7: the phylloquinone does not bind shirtsleeve if there is something such that that it is a kind of an overthrow that does bind shirtsleeve is not correct. sent8: there is something such that it is longitudinal and/or it wilts. sent9: if the ornithischian is a Polish then the phylloquinone is unexpendable. sent10: the phylloquinone is longitudinal. sent11: that the gayal is longitudinal and ribless is not wrong. sent12: the gayal is longitudinal and is thoughtful. sent13: the gayal does pique gayal. sent14: there exists something such that that it is a kind of an overthrow that does bind shirtsleeve is wrong. sent15: something that is febrile or does not wilt or both is not a wilt. sent16: the ornithischian is febrile or a Polish or both if the phylloquinone does not bind shirtsleeve. sent17: if that something is longitudinal but it is not thoughtful is not correct then it is expendable. sent18: if there is something such that either it is thoughtful or it is a kind of a wilt or both then the ornithischian is Polish. sent19: that the ornithischian is unexpendable hold. sent20: the phylloquinone is solanaceous and a ratline. sent21: that something is a kind of a wilt but it is not unexpendable is not correct if it is longitudinal. ; $proof$ = 
sent12 -> int1: the gayal is thoughtful.; int1 -> int2: the gayal is thoughtful and/or does wilt.; int2 -> int3: there exists something such that either it is thoughtful or it is a kind of a wilt or both.; int3 & sent18 -> int4: that the ornithischian is Polish hold.; sent9 & int4 -> hypothesis; __DISPROVED__