the fratricide is serious.
sent1: if something is not a kind of a predestinarianism and/or it is not Icelandic then it is not a kind of a Scirpus. sent2: the filovirus is disintegrative. sent3: the fact that something does not rap filovirus and is not a Portuguese does not hold if it is earthen. sent4: that the CORE does not scavenge and it is not earthen is false if it is a Scirpus. sent5: if the fact that the tribadism is not a compass and it is not a pornography does not hold it is a kind of a compass. sent6: the CORE is a cable that is not serious. sent7: that the fratricide is both not a edmontosaurus and not earthen is false. sent8: something does not scavenge if it is a kind of a cable and is not a kind of a Tetranychidae. sent9: the CORE is a Scirpus. sent10: either the tape raps filovirus or it is a Portuguese or both if the tribadism is not a Scirpus. sent11: the submariner is not a Scirpus. sent12: if the CORE is serious but it is not a kind of a Tetranychidae it is not earthen. sent13: if there exists something such that that it does not rap filovirus and is not a kind of a Portuguese is not right then the fratricide is not serious. sent14: the fact that the fact that the gorget is a kind of non-disintegrative thing that is not the pastorate is not right if the gorget is anticoagulative is not incorrect. sent15: the tribadism is not a predestinarianism or is not a Icelandic or both if it is a compass. sent16: that the CORE is non-apogamic thing that does not rap filovirus is not right if it is recombinant. sent17: the fratricide is serious if the fact that the gorget is not earthen and does not scavenge is not correct. sent18: everything is a kind of a cable and it is not a Tetranychidae. sent19: if the tape does rap filovirus then the gorget does scavenge. sent20: if something does rap filovirus the fratricide is not serious.
sent8 -> int1: the CORE does not scavenge if it is a cable and is not a Tetranychidae.; sent18 -> int2: the CORE is both a cable and not a Tetranychidae.; int1 & int2 -> int3: the CORE does not scavenge.; void -> assump1: Let's assume that the CORE is not earthen.; int3 & assump1 -> int4: that the CORE does not scavenge and is not earthen is right.; sent4 & sent9 -> int5: that the CORE does not scavenge and it is not earthen is wrong.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the CORE is earthen.; sent3 -> int8: the fact that that the CORE does not rap filovirus and it is not a Portuguese is wrong is correct if it is not non-earthen.; int7 & int8 -> int9: that the CORE does not rap filovirus and it is not a Portuguese is not true.; int9 -> int10: there exists something such that that it does not rap filovirus and it is non-Portuguese is not correct.; int10 & sent13 -> hypothesis;
the fratricide is serious.
$hypothesis$ = the fratricide is serious. ; $context$ = sent1: if something is not a kind of a predestinarianism and/or it is not Icelandic then it is not a kind of a Scirpus. sent2: the filovirus is disintegrative. sent3: the fact that something does not rap filovirus and is not a Portuguese does not hold if it is earthen. sent4: that the CORE does not scavenge and it is not earthen is false if it is a Scirpus. sent5: if the fact that the tribadism is not a compass and it is not a pornography does not hold it is a kind of a compass. sent6: the CORE is a cable that is not serious. sent7: that the fratricide is both not a edmontosaurus and not earthen is false. sent8: something does not scavenge if it is a kind of a cable and is not a kind of a Tetranychidae. sent9: the CORE is a Scirpus. sent10: either the tape raps filovirus or it is a Portuguese or both if the tribadism is not a Scirpus. sent11: the submariner is not a Scirpus. sent12: if the CORE is serious but it is not a kind of a Tetranychidae it is not earthen. sent13: if there exists something such that that it does not rap filovirus and is not a kind of a Portuguese is not right then the fratricide is not serious. sent14: the fact that the fact that the gorget is a kind of non-disintegrative thing that is not the pastorate is not right if the gorget is anticoagulative is not incorrect. sent15: the tribadism is not a predestinarianism or is not a Icelandic or both if it is a compass. sent16: that the CORE is non-apogamic thing that does not rap filovirus is not right if it is recombinant. sent17: the fratricide is serious if the fact that the gorget is not earthen and does not scavenge is not correct. sent18: everything is a kind of a cable and it is not a Tetranychidae. sent19: if the tape does rap filovirus then the gorget does scavenge. sent20: if something does rap filovirus the fratricide is not serious. ; $proof$ = 
sent8 -> int1: the CORE does not scavenge if it is a cable and is not a Tetranychidae.; sent18 -> int2: the CORE is both a cable and not a Tetranychidae.; int1 & int2 -> int3: the CORE does not scavenge.; void -> assump1: Let's assume that the CORE is not earthen.; int3 & assump1 -> int4: that the CORE does not scavenge and is not earthen is right.; sent4 & sent9 -> int5: that the CORE does not scavenge and it is not earthen is wrong.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the CORE is earthen.; sent3 -> int8: the fact that that the CORE does not rap filovirus and it is not a Portuguese is wrong is correct if it is not non-earthen.; int7 & int8 -> int9: that the CORE does not rap filovirus and it is not a Portuguese is not true.; int9 -> int10: there exists something such that that it does not rap filovirus and it is non-Portuguese is not correct.; int10 & sent13 -> hypothesis; __DISPROVED__