the pylon is a kind of a buteonine.
sent1: something does term arrester if it does smell and does not term Cagney. sent2: there exists something such that that it is tectonic and it limes edition is not right. sent3: if something is subjacent then that it is not a Buddhist and is non-anaclinal is incorrect. sent4: if the dentifrice is not wholesome then the bugler is not a smelt and it does not term Cagney. sent5: the dentifrice is not a kind of a centrist and hymns varsity if something does not lime ten. sent6: the bugler is unsinkable if the link is not unsinkable. sent7: if something that is not a smelt terms Cagney then it does term arrester. sent8: the fact that the arrester is not punctual and does lime ten is correct. sent9: something that is not a centrist and hymns varsity is subjacent. sent10: the dentifrice is not wholesome. sent11: something is anaclinal if the fact that it is not Buddhist and it is not anaclinal does not hold. sent12: if the bugler is a smelt and does not term Cagney it terms arrester. sent13: the fact that the pylon is a kind of non-subjacent thing that is unsinkable does not hold if the fact that the bugler is anaclinal is not incorrect. sent14: if something terms arrester then it is anaclinal. sent15: if something is a kind of a Trypetidae then it is unsinkable. sent16: if the arrester is unpunctual thing that limes ten the lather does not limes ten. sent17: if the bugler is unsinkable the dentifrice is unsinkable. sent18: if something is not a smelt and it does not term Cagney it does term arrester. sent19: if something is not tectonic then it is a Trypetidae and terms snipefish. sent20: if the fact that something is not subjacent and is unsinkable is false it is not a buteonine. sent21: if the bugler is not a smelt but it does term Cagney it terms arrester. sent22: something is buteonine and it is wholesome if it does not term arrester. sent23: the pylon does not term arrester if the dentifrice is anaclinal and it is unsinkable.
sent4 & sent10 -> int1: the bugler is not a kind of a smelt and does not term Cagney.; sent18 -> int2: that the bugler terms arrester is right if it is not a kind of a smelt and it does not term Cagney.; int1 & int2 -> int3: the bugler terms arrester.; sent14 -> int4: the bugler is anaclinal if it does term arrester.; int3 & int4 -> int5: the bugler is anaclinal.; int5 & sent13 -> int6: that the pylon is not subjacent and is unsinkable does not hold.; sent20 -> int7: if the fact that the pylon is not subjacent and not sinkable does not hold that it is not a buteonine is right.; int6 & int7 -> hypothesis;
the fact that the pylon is buteonine is not wrong.
sent22 -> int8: the pylon is buteonine and is wholesome if it does not term arrester.; sent11 -> int9: if that the dentifrice is not a Buddhist and it is not anaclinal does not hold then it is anaclinal.; sent3 -> int10: the fact that the dentifrice is not a Buddhist and it is not anaclinal does not hold if it is subjacent.; sent9 -> int11: if the dentifrice is not a kind of a centrist and hymns varsity then it is subjacent.; sent16 & sent8 -> int12: the lather does not lime ten.; int12 -> int13: there is something such that it does not lime ten.; int13 & sent5 -> int14: the dentifrice is not a kind of a centrist and does hymn varsity.; int11 & int14 -> int15: the dentifrice is subjacent.; int10 & int15 -> int16: the fact that that the dentifrice is a kind of non-Buddhist thing that is not anaclinal hold is not correct.; int9 & int16 -> int17: the fact that the dentifrice is anaclinal is not false.; sent15 -> int18: the link is unsinkable if it is a Trypetidae.; sent19 -> int19: the link is a kind of a Trypetidae that terms snipefish if it is not tectonic.;
$hypothesis$ = the pylon is a kind of a buteonine. ; $context$ = sent1: something does term arrester if it does smell and does not term Cagney. sent2: there exists something such that that it is tectonic and it limes edition is not right. sent3: if something is subjacent then that it is not a Buddhist and is non-anaclinal is incorrect. sent4: if the dentifrice is not wholesome then the bugler is not a smelt and it does not term Cagney. sent5: the dentifrice is not a kind of a centrist and hymns varsity if something does not lime ten. sent6: the bugler is unsinkable if the link is not unsinkable. sent7: if something that is not a smelt terms Cagney then it does term arrester. sent8: the fact that the arrester is not punctual and does lime ten is correct. sent9: something that is not a centrist and hymns varsity is subjacent. sent10: the dentifrice is not wholesome. sent11: something is anaclinal if the fact that it is not Buddhist and it is not anaclinal does not hold. sent12: if the bugler is a smelt and does not term Cagney it terms arrester. sent13: the fact that the pylon is a kind of non-subjacent thing that is unsinkable does not hold if the fact that the bugler is anaclinal is not incorrect. sent14: if something terms arrester then it is anaclinal. sent15: if something is a kind of a Trypetidae then it is unsinkable. sent16: if the arrester is unpunctual thing that limes ten the lather does not limes ten. sent17: if the bugler is unsinkable the dentifrice is unsinkable. sent18: if something is not a smelt and it does not term Cagney it does term arrester. sent19: if something is not tectonic then it is a Trypetidae and terms snipefish. sent20: if the fact that something is not subjacent and is unsinkable is false it is not a buteonine. sent21: if the bugler is not a smelt but it does term Cagney it terms arrester. sent22: something is buteonine and it is wholesome if it does not term arrester. sent23: the pylon does not term arrester if the dentifrice is anaclinal and it is unsinkable. ; $proof$ = 
sent4 & sent10 -> int1: the bugler is not a kind of a smelt and does not term Cagney.; sent18 -> int2: that the bugler terms arrester is right if it is not a kind of a smelt and it does not term Cagney.; int1 & int2 -> int3: the bugler terms arrester.; sent14 -> int4: the bugler is anaclinal if it does term arrester.; int3 & int4 -> int5: the bugler is anaclinal.; int5 & sent13 -> int6: that the pylon is not subjacent and is unsinkable does not hold.; sent20 -> int7: if the fact that the pylon is not subjacent and not sinkable does not hold that it is not a buteonine is right.; int6 & int7 -> hypothesis; __DISPROVED__