the perfume does not unfasten.
sent1: if the fact that something is a firebase and pets is not correct then it is not nonmetamorphic. sent2: the yanker is a bedbug. sent3: something does not hype thrilled if that it does not unfasten and hype thrilled is not true. sent4: if something does hype thrilled it is a bedbug and it does not unwrap. sent5: something that is nonmetamorphic either is not universalistic or is not a firebase or both. sent6: that the chapterhouse does not unfasten but it does hype thrilled is wrong if the perfume is not universalistic. sent7: if something is a bedbug but it does not unwrap it is not universalistic. sent8: if something is a firebase and/or it is nonmetamorphic then the yanker hypes thrilled. sent9: the arborist is nonmetamorphic if the copolymer is nonmetamorphic. sent10: the perfume does unfasten and is not universalistic if the yanker is not universalistic. sent11: there exists something such that it is a firebase and/or nonmetamorphic. sent12: something is a bedbug if it does hype thrilled. sent13: the perfume is not universalistic. sent14: there exists nothing such that it is a firebase and pets.
sent4 -> int1: the yanker is a bedbug that does not unwrap if it does hype thrilled.; sent11 & sent8 -> int2: the fact that the yanker does hype thrilled hold.; int1 & int2 -> int3: the yanker is a bedbug and does not unwrap.; sent7 -> int4: the fact that if the yanker is the bedbug but it does not unwrap the fact that the yanker is not universalistic is not wrong is right.; int3 & int4 -> int5: the yanker is not universalistic.; int5 & sent10 -> int6: the perfume unfastens and is not universalistic.; int6 -> hypothesis;
the perfume does not unfasten.
sent1 -> int7: if the fact that the dispatcher is a firebase that does pet is not correct then it is not nonmetamorphic.; sent14 -> int8: the fact that the dispatcher is both a firebase and a pet does not hold.; int7 & int8 -> int9: the dispatcher is not nonmetamorphic.; int9 -> int10: everything is not nonmetamorphic.; int10 -> int11: the copolymer is not nonmetamorphic.; int11 -> int12: there exists something such that it is not nonmetamorphic.;
$hypothesis$ = the perfume does not unfasten. ; $context$ = sent1: if the fact that something is a firebase and pets is not correct then it is not nonmetamorphic. sent2: the yanker is a bedbug. sent3: something does not hype thrilled if that it does not unfasten and hype thrilled is not true. sent4: if something does hype thrilled it is a bedbug and it does not unwrap. sent5: something that is nonmetamorphic either is not universalistic or is not a firebase or both. sent6: that the chapterhouse does not unfasten but it does hype thrilled is wrong if the perfume is not universalistic. sent7: if something is a bedbug but it does not unwrap it is not universalistic. sent8: if something is a firebase and/or it is nonmetamorphic then the yanker hypes thrilled. sent9: the arborist is nonmetamorphic if the copolymer is nonmetamorphic. sent10: the perfume does unfasten and is not universalistic if the yanker is not universalistic. sent11: there exists something such that it is a firebase and/or nonmetamorphic. sent12: something is a bedbug if it does hype thrilled. sent13: the perfume is not universalistic. sent14: there exists nothing such that it is a firebase and pets. ; $proof$ = 
sent4 -> int1: the yanker is a bedbug that does not unwrap if it does hype thrilled.; sent11 & sent8 -> int2: the fact that the yanker does hype thrilled hold.; int1 & int2 -> int3: the yanker is a bedbug and does not unwrap.; sent7 -> int4: the fact that if the yanker is the bedbug but it does not unwrap the fact that the yanker is not universalistic is not wrong is right.; int3 & int4 -> int5: the yanker is not universalistic.; int5 & sent10 -> int6: the perfume unfastens and is not universalistic.; int6 -> hypothesis; __DISPROVED__