the fact that the Fothergilla is not a negligee and/or it is a slinger is not true if the metabolism is restless.
sent1: if the Fothergilla is not a nitrofuran then the metabolism is not a kind of a nitrofuran and/or is a kind of a slinger. sent2: the metabolism is a kind of strange thing that is a kind of a nitrofuran. sent3: the cilium is not a negligee if the metabolism is a rationale and it is restless. sent4: the Fothergilla is a kind of a nitrofuran. sent5: the fact that the Fothergilla is non-thrifty and/or blues Ascension is wrong. sent6: the fact that the Fothergilla is not a negligee and/or it is a slinger is not true if the cilium is not a negligee. sent7: the Fothergilla is not a slinger. sent8: the metabolism is a nitrofuran. sent9: the Fothergilla is not a negligee and/or it is a kind of a slinger. sent10: the metabolism is not strange and/or is a slinger if the Fothergilla is not strange. sent11: if the cilium is not a kind of a negligee the Fothergilla is not a kind of a slinger. sent12: something that is strange is a rationale. sent13: that if the cilium is not a negligee that the Fothergilla is a negligee or is a kind of a slinger or both is not true is not false. sent14: if the fact that the cilium is non-strange is right then that the metabolism is not non-strange or is a nitrofuran or both is false.
sent2 -> int1: the metabolism is strange.; sent12 -> int2: the metabolism is a rationale if it is strange.; int1 & int2 -> int3: the metabolism is a rationale.; void -> assump1: Let's assume that the metabolism is not restful.; int3 & assump1 -> int4: the metabolism is a rationale that is restless.; int4 & sent3 -> int5: the cilium is not a kind of a negligee.; int5 & sent6 -> int6: the fact that the Fothergilla is not a negligee and/or it is a slinger is false.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that the Fothergilla is not a negligee and/or it is a slinger is not true if the metabolism is restless. ; $context$ = sent1: if the Fothergilla is not a nitrofuran then the metabolism is not a kind of a nitrofuran and/or is a kind of a slinger. sent2: the metabolism is a kind of strange thing that is a kind of a nitrofuran. sent3: the cilium is not a negligee if the metabolism is a rationale and it is restless. sent4: the Fothergilla is a kind of a nitrofuran. sent5: the fact that the Fothergilla is non-thrifty and/or blues Ascension is wrong. sent6: the fact that the Fothergilla is not a negligee and/or it is a slinger is not true if the cilium is not a negligee. sent7: the Fothergilla is not a slinger. sent8: the metabolism is a nitrofuran. sent9: the Fothergilla is not a negligee and/or it is a kind of a slinger. sent10: the metabolism is not strange and/or is a slinger if the Fothergilla is not strange. sent11: if the cilium is not a kind of a negligee the Fothergilla is not a kind of a slinger. sent12: something that is strange is a rationale. sent13: that if the cilium is not a negligee that the Fothergilla is a negligee or is a kind of a slinger or both is not true is not false. sent14: if the fact that the cilium is non-strange is right then that the metabolism is not non-strange or is a nitrofuran or both is false. ; $proof$ = 
sent2 -> int1: the metabolism is strange.; sent12 -> int2: the metabolism is a rationale if it is strange.; int1 & int2 -> int3: the metabolism is a rationale.; void -> assump1: Let's assume that the metabolism is not restful.; int3 & assump1 -> int4: the metabolism is a rationale that is restless.; int4 & sent3 -> int5: the cilium is not a kind of a negligee.; int5 & sent6 -> int6: the fact that the Fothergilla is not a negligee and/or it is a slinger is false.; [assump1] & int6 -> hypothesis; __PROVED__