the thyrse is not a kind of a sapsucker.
sent1: that the vermifuge is dorsal and not a soundboard does not hold. sent2: the fact that if that the vermifuge is not dorsal and it is not a soundboard is not right then the horsehide is not a kind of a foam hold. sent3: if something is synovial then the fact that it is not dorsal and is a soundboard does not hold. sent4: if the fact that the plasmin is not a Laocoon and contributes horsehide is wrong then the conferee is not a bootblack. sent5: if the conferee is not a kind of a bootblack then the thyrse is a sapsucker. sent6: if the vermifuge is not synovial then the fact that the plasmin is not a Laocoon and contributes horsehide does not hold. sent7: the fact that the vermifuge is not dorsal but a soundboard is wrong. sent8: the fact that something is not dorsal and is not a soundboard is not true if it is synovial. sent9: there exists something such that that it is not a kind of a foam and it does japan Borodino is correct. sent10: if there is something such that that it does not foam and japans Borodino is not correct then the horsehide foam. sent11: that the succession does not foam and japans Borodino is false. sent12: there is something such that that it does foam and does japan Borodino is false. sent13: the horsehide does foam if there is something such that it foam. sent14: the conferee is not a bootblack if the plasmin does not contribute horsehide. sent15: the fact that the thyrse is not a sapsucker is not wrong if the fact that the horsehide is a sapsucker and/or synovial is wrong. sent16: that the vermifuge is dorsal but it is not a kind of a soundboard is false if it is synovial. sent17: if the vermifuge is synovial then that it is non-dorsal a soundboard is not true. sent18: that something is dorsal but it is not a soundboard does not hold if it is synovial. sent19: if that the fact that the vermifuge does not contribute horsehide and it is not a kind of a soundboard is not true is right then the plasmin is not synovial. sent20: the succession is a kind of a bootblack that does not contribute horsehide. sent21: the fact that the succession is a kind of a foam and does japan Borodino is not correct.
sent8 -> int1: the fact that the vermifuge is not dorsal and not a soundboard does not hold if it is not non-synovial.; void -> assump1: Let's assume that the vermifuge is synovial.; int1 & assump1 -> int2: the fact that the vermifuge is non-dorsal thing that is not a kind of a soundboard is not true.; int2 & sent2 -> int3: the fact that the horsehide is not a foam is true.; sent11 -> int4: there exists something such that the fact that it does not foam and japans Borodino does not hold.; int4 & sent10 -> int5: the horsehide is a kind of a foam.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the vermifuge is not synovial.; int7 & sent6 -> int8: that the plasmin is not a Laocoon and does contribute horsehide is not true.; int8 & sent4 -> int9: the conferee is not a bootblack.; int9 & sent5 -> hypothesis;
the thyrse is not a sapsucker.
sent20 -> int10: there is something such that it is a bootblack and does not contribute horsehide.;
$hypothesis$ = the thyrse is not a kind of a sapsucker. ; $context$ = sent1: that the vermifuge is dorsal and not a soundboard does not hold. sent2: the fact that if that the vermifuge is not dorsal and it is not a soundboard is not right then the horsehide is not a kind of a foam hold. sent3: if something is synovial then the fact that it is not dorsal and is a soundboard does not hold. sent4: if the fact that the plasmin is not a Laocoon and contributes horsehide is wrong then the conferee is not a bootblack. sent5: if the conferee is not a kind of a bootblack then the thyrse is a sapsucker. sent6: if the vermifuge is not synovial then the fact that the plasmin is not a Laocoon and contributes horsehide does not hold. sent7: the fact that the vermifuge is not dorsal but a soundboard is wrong. sent8: the fact that something is not dorsal and is not a soundboard is not true if it is synovial. sent9: there exists something such that that it is not a kind of a foam and it does japan Borodino is correct. sent10: if there is something such that that it does not foam and japans Borodino is not correct then the horsehide foam. sent11: that the succession does not foam and japans Borodino is false. sent12: there is something such that that it does foam and does japan Borodino is false. sent13: the horsehide does foam if there is something such that it foam. sent14: the conferee is not a bootblack if the plasmin does not contribute horsehide. sent15: the fact that the thyrse is not a sapsucker is not wrong if the fact that the horsehide is a sapsucker and/or synovial is wrong. sent16: that the vermifuge is dorsal but it is not a kind of a soundboard is false if it is synovial. sent17: if the vermifuge is synovial then that it is non-dorsal a soundboard is not true. sent18: that something is dorsal but it is not a soundboard does not hold if it is synovial. sent19: if that the fact that the vermifuge does not contribute horsehide and it is not a kind of a soundboard is not true is right then the plasmin is not synovial. sent20: the succession is a kind of a bootblack that does not contribute horsehide. sent21: the fact that the succession is a kind of a foam and does japan Borodino is not correct. ; $proof$ = 
sent8 -> int1: the fact that the vermifuge is not dorsal and not a soundboard does not hold if it is not non-synovial.; void -> assump1: Let's assume that the vermifuge is synovial.; int1 & assump1 -> int2: the fact that the vermifuge is non-dorsal thing that is not a kind of a soundboard is not true.; int2 & sent2 -> int3: the fact that the horsehide is not a foam is true.; sent11 -> int4: there exists something such that the fact that it does not foam and japans Borodino does not hold.; int4 & sent10 -> int5: the horsehide is a kind of a foam.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the vermifuge is not synovial.; int7 & sent6 -> int8: that the plasmin is not a Laocoon and does contribute horsehide is not true.; int8 & sent4 -> int9: the conferee is not a bootblack.; int9 & sent5 -> hypothesis; __DISPROVED__