the result is not a capability.
sent1: if the chorister is not a shire the renewal is a shire. sent2: if the libertarian is not a kind of a tracery then that it does bob hold-down and is not a wedgie is incorrect. sent3: that the result is a kind of a wedgie and is a shire is incorrect if the fact that the renewal is not a shire is true. sent4: the fact that the result does mistake portrayal but it is not a wedgie does not hold if the footstool is not a wedgie. sent5: the chorister does mistake portrayal if the fact that the renewal does not mistake portrayal and does not troop aging is false. sent6: The Steatornithidae troops aging. sent7: if the libertarian is not a kind of a plier and/or it is not a tracery it is not a kind of a tracery. sent8: the chorister is a tracery if the libertarian does not bob hold-down. sent9: something is not a kind of a capability if that it mistakes portrayal and it is not a wedgie is not correct. sent10: the renewal troops Steatornithidae. sent11: the aging troops Steatornithidae. sent12: that the result does mistake portrayal and is not a kind of a tracery does not hold if the chorister is not a tracery. sent13: if the renewal is not a plier and is a shire then the footstool is not a wedgie. sent14: if the chorister is not a kind of a shire then the renewal is not a plier but it is a kind of a shire. sent15: if the aging does troop Steatornithidae and it is Chian then the libertarian does not bob hold-down. sent16: the aging is Chian. sent17: the libertarian is not a kind of a plier and/or it is not a tracery if the chorister mistakes portrayal. sent18: the fact that something does not mistake portrayal and it does not troop aging is false if it torments result. sent19: the footstool does not troop Steatornithidae. sent20: if that the libertarian does not bob hold-down hold the chorister is a tracery and not a shire. sent21: the renewal does torment result. sent22: if something is not Chian then it is a kind of a capability that does troop Steatornithidae. sent23: the fact that something is a shire and not Chian is not wrong if it does not bob hold-down. sent24: the result is not Chian if the aging is a shire but it is Chian.
sent11 & sent16 -> int1: the aging does troop Steatornithidae and is Chian.; int1 & sent15 -> int2: the libertarian does not bob hold-down.; int2 & sent20 -> int3: the chorister is a tracery and is not a shire.; int3 -> int4: the chorister is not a shire.; int4 & sent14 -> int5: the renewal is not a kind of a plier but it is a kind of a shire.; int5 & sent13 -> int6: the footstool is not a wedgie.; int6 & sent4 -> int7: the fact that the result does mistake portrayal but it is not a wedgie does not hold.; sent9 -> int8: that the result is a capability is not true if that it mistakes portrayal and is not a wedgie does not hold.; int7 & int8 -> hypothesis;
the result is a kind of a capability.
sent22 -> int9: the result is a capability and troops Steatornithidae if it is not Chian.; sent23 -> int10: if the aging does not bob hold-down then that it is a shire and it is not Chian is right.; sent18 -> int11: if the renewal torments result then that it does not mistake portrayal and does not troop aging is wrong.; int11 & sent21 -> int12: that the renewal does not mistake portrayal and it does not troop aging is wrong.; sent5 & int12 -> int13: the chorister does mistake portrayal.; sent17 & int13 -> int14: the libertarian is not a plier and/or it is not a kind of a tracery.; sent7 & int14 -> int15: the libertarian is not a tracery.; sent2 & int15 -> int16: the fact that the libertarian does bob hold-down and is not a wedgie is not correct.; int16 -> int17: there is something such that the fact that it bobs hold-down and it is not a wedgie does not hold.;
$hypothesis$ = the result is not a capability. ; $context$ = sent1: if the chorister is not a shire the renewal is a shire. sent2: if the libertarian is not a kind of a tracery then that it does bob hold-down and is not a wedgie is incorrect. sent3: that the result is a kind of a wedgie and is a shire is incorrect if the fact that the renewal is not a shire is true. sent4: the fact that the result does mistake portrayal but it is not a wedgie does not hold if the footstool is not a wedgie. sent5: the chorister does mistake portrayal if the fact that the renewal does not mistake portrayal and does not troop aging is false. sent6: The Steatornithidae troops aging. sent7: if the libertarian is not a kind of a plier and/or it is not a tracery it is not a kind of a tracery. sent8: the chorister is a tracery if the libertarian does not bob hold-down. sent9: something is not a kind of a capability if that it mistakes portrayal and it is not a wedgie is not correct. sent10: the renewal troops Steatornithidae. sent11: the aging troops Steatornithidae. sent12: that the result does mistake portrayal and is not a kind of a tracery does not hold if the chorister is not a tracery. sent13: if the renewal is not a plier and is a shire then the footstool is not a wedgie. sent14: if the chorister is not a kind of a shire then the renewal is not a plier but it is a kind of a shire. sent15: if the aging does troop Steatornithidae and it is Chian then the libertarian does not bob hold-down. sent16: the aging is Chian. sent17: the libertarian is not a kind of a plier and/or it is not a tracery if the chorister mistakes portrayal. sent18: the fact that something does not mistake portrayal and it does not troop aging is false if it torments result. sent19: the footstool does not troop Steatornithidae. sent20: if that the libertarian does not bob hold-down hold the chorister is a tracery and not a shire. sent21: the renewal does torment result. sent22: if something is not Chian then it is a kind of a capability that does troop Steatornithidae. sent23: the fact that something is a shire and not Chian is not wrong if it does not bob hold-down. sent24: the result is not Chian if the aging is a shire but it is Chian. ; $proof$ = 
sent11 & sent16 -> int1: the aging does troop Steatornithidae and is Chian.; int1 & sent15 -> int2: the libertarian does not bob hold-down.; int2 & sent20 -> int3: the chorister is a tracery and is not a shire.; int3 -> int4: the chorister is not a shire.; int4 & sent14 -> int5: the renewal is not a kind of a plier but it is a kind of a shire.; int5 & sent13 -> int6: the footstool is not a wedgie.; int6 & sent4 -> int7: the fact that the result does mistake portrayal but it is not a wedgie does not hold.; sent9 -> int8: that the result is a capability is not true if that it mistakes portrayal and is not a wedgie does not hold.; int7 & int8 -> hypothesis; __PROVED__