if the thromboplastin is not unsystematic then the kelpie does not pluck Helleborus and does mark Cyclosorus.
sent1: the kelpie does pluck Helleborus and does mark Cyclosorus if the thromboplastin is unequivocal. sent2: if something does not pluck Helleborus it is unsystematic and marks Cyclosorus. sent3: the fact that the kelpie does mark Cyclosorus is true if the thromboplastin is not unsystematic. sent4: that the thromboplastin is a kind of non-Romans thing that is a kind of a baroness does not hold if it is not unsystematic. sent5: if something is not unsystematic then the fact that it is not a kind of a Romans and it is not a kind of a baroness does not hold. sent6: the feeding does marshal nomia. sent7: the jump does not pluck Helleborus and it is not a Hasdrubal if the kelpie does not mark napu. sent8: the kelpie does not pluck Helleborus but it marks Cyclosorus if the thromboplastin is unsystematic. sent9: that the thromboplastin is both not Romans and a baroness does not hold. sent10: if there is something such that it marshals nomia the fact that the chiton does not fester but it sentimentalizes is true. sent11: if the thromboplastin is not unsystematic the kelpie does pluck Helleborus and marks Cyclosorus. sent12: if something is not unsystematic that it is a kind of Romans thing that is not a kind of a baroness does not hold. sent13: the kelpie does mark Cyclosorus if the thromboplastin is unequivocal. sent14: something is unequivocal if that it is not Romans and is not a kind of a baroness is false. sent15: that the thromboplastin is not non-Romans and not a baroness is not right. sent16: that the kelpie does mark napu is not true if something that is not a fester sentimentalizes. sent17: if the thromboplastin is unequivocal then the kelpie does not pluck Helleborus and marks Cyclosorus. sent18: if something is unsystematic then that it is not a Southeast and it is not unequivocal is not right.
sent5 -> int1: that the thromboplastin is not a Romans and it is not a kind of a baroness is not right if it is not unsystematic.; void -> assump1: Let's assume that the thromboplastin is not unsystematic.; int1 & assump1 -> int2: that the thromboplastin is not a Romans and it is not a baroness is wrong.; sent14 -> int3: the thromboplastin is unequivocal if that it is not a Romans and it is not a baroness is not true.; int2 & int3 -> int4: the thromboplastin is unequivocal.; int4 & sent17 -> int5: the kelpie does not pluck Helleborus and marks Cyclosorus.; [assump1] & int5 -> hypothesis;
that the jump is not a kind of a Southeast and it is not unequivocal is not correct.
sent18 -> int6: that the jump is not a Southeast and it is not unequivocal is not right if it is unsystematic.; sent2 -> int7: if the jump does not pluck Helleborus then it is unsystematic thing that does mark Cyclosorus.; sent6 -> int8: there exists something such that it does marshal nomia.; int8 & sent10 -> int9: the chiton is not a kind of a fester and does sentimentalize.; int9 -> int10: something does not fester and does sentimentalize.; int10 & sent16 -> int11: the kelpie does not mark napu.; sent7 & int11 -> int12: the jump does not pluck Helleborus and is not a Hasdrubal.; int12 -> int13: the jump does not pluck Helleborus.; int7 & int13 -> int14: the jump is unsystematic and does mark Cyclosorus.; int14 -> int15: the jump is unsystematic.; int6 & int15 -> hypothesis;
$hypothesis$ = if the thromboplastin is not unsystematic then the kelpie does not pluck Helleborus and does mark Cyclosorus. ; $context$ = sent1: the kelpie does pluck Helleborus and does mark Cyclosorus if the thromboplastin is unequivocal. sent2: if something does not pluck Helleborus it is unsystematic and marks Cyclosorus. sent3: the fact that the kelpie does mark Cyclosorus is true if the thromboplastin is not unsystematic. sent4: that the thromboplastin is a kind of non-Romans thing that is a kind of a baroness does not hold if it is not unsystematic. sent5: if something is not unsystematic then the fact that it is not a kind of a Romans and it is not a kind of a baroness does not hold. sent6: the feeding does marshal nomia. sent7: the jump does not pluck Helleborus and it is not a Hasdrubal if the kelpie does not mark napu. sent8: the kelpie does not pluck Helleborus but it marks Cyclosorus if the thromboplastin is unsystematic. sent9: that the thromboplastin is both not Romans and a baroness does not hold. sent10: if there is something such that it marshals nomia the fact that the chiton does not fester but it sentimentalizes is true. sent11: if the thromboplastin is not unsystematic the kelpie does pluck Helleborus and marks Cyclosorus. sent12: if something is not unsystematic that it is a kind of Romans thing that is not a kind of a baroness does not hold. sent13: the kelpie does mark Cyclosorus if the thromboplastin is unequivocal. sent14: something is unequivocal if that it is not Romans and is not a kind of a baroness is false. sent15: that the thromboplastin is not non-Romans and not a baroness is not right. sent16: that the kelpie does mark napu is not true if something that is not a fester sentimentalizes. sent17: if the thromboplastin is unequivocal then the kelpie does not pluck Helleborus and marks Cyclosorus. sent18: if something is unsystematic then that it is not a Southeast and it is not unequivocal is not right. ; $proof$ = 
sent5 -> int1: that the thromboplastin is not a Romans and it is not a kind of a baroness is not right if it is not unsystematic.; void -> assump1: Let's assume that the thromboplastin is not unsystematic.; int1 & assump1 -> int2: that the thromboplastin is not a Romans and it is not a baroness is wrong.; sent14 -> int3: the thromboplastin is unequivocal if that it is not a Romans and it is not a baroness is not true.; int2 & int3 -> int4: the thromboplastin is unequivocal.; int4 & sent17 -> int5: the kelpie does not pluck Helleborus and marks Cyclosorus.; [assump1] & int5 -> hypothesis; __PROVED__