the henbane governs plasmacyte.
sent1: the henbane does govern plasmacyte if the muon deplumes and it is a bark-louse. sent2: the fact that if the muon deplumes and is not a bark-louse then the henbane governs plasmacyte is true. sent3: the traditionalist does not fudge Sioux. sent4: that something does not educe but it does govern plasmacyte is not right if it is a pressure. sent5: if the traditionalist does not govern plasmacyte and does fudge Sioux then the henbane does not govern plasmacyte. sent6: the muon is not a bark-louse. sent7: there is something such that it does not fudge Sioux. sent8: the traditionalist does educe and does not fudge Sioux if that the muon does not fudge Sioux is right. sent9: there exists something such that it is not a master. sent10: something does not fudge Sioux if that it deplumes and it is not a bark-louse does not hold. sent11: the Bhutanese does not govern clashing if it is not a pressure. sent12: if something is a bark-louse then the fact that it does not fudge Sioux is not false. sent13: the fact that the muon does deplume and is a bark-louse does not hold. sent14: if the plasmacyte is not bacchantic then it is not a racer and it does govern clashing. sent15: the plasmacyte is a kind of a racer if the fact that the Bhutanese is not a racer is wrong. sent16: the Bhutanese is a kind of a racer and does not govern clashing if it is not a pressure. sent17: the Bhutanese does not govern clashing. sent18: the fact that the Bhutanese is not a pressure is not incorrect. sent19: if something is a kind of a pressure and/or is a kind of a scorpionfish then the traditionalist is a pressure. sent20: if there exists something such that it educes and it fudges Sioux the plasmacyte is not a racer. sent21: the fact that the plasmacyte is not a racer is not wrong if something does educe and does not fudge Sioux. sent22: something is not a kind of a Caloocan and does not headquarter warrigal. sent23: if the fact that something does not educe and governs plasmacyte is not true that it does not governs plasmacyte hold. sent24: the muon does not fudge Sioux if it is a kind of a bark-louse. sent25: if there exists something such that it is not a kind of a master then the Bhutanese is a kind of a pressure and/or it is a scorpionfish. sent26: the muon deplumes if the plasmacyte does deplumes. sent27: the traditionalist headquarters behaviorist and is not a wrecker.
sent10 -> int1: the muon does not fudge Sioux if that it deplumes and is not a bark-louse is not true.; void -> assump1: Let's assume that the fact that the muon does deplume but it is not a bark-louse is not true.; int1 & assump1 -> int2: the muon does not fudge Sioux.; int2 & sent8 -> int3: the traditionalist does educe and does not fudge Sioux.; int3 -> int4: something educes and does not fudge Sioux.; int4 & sent21 -> int5: the plasmacyte is not a racer.; sent16 & sent18 -> int6: the Bhutanese is a kind of a racer but it does not govern clashing.; int6 -> int7: the Bhutanese is a racer.; sent15 & int7 -> int8: the plasmacyte is a kind of a racer.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the muon does deplume but it is not a kind of a bark-louse.; int10 & sent2 -> hypothesis;
the henbane does not govern plasmacyte.
sent23 -> int11: the traditionalist does not govern plasmacyte if the fact that it does not educe and it govern plasmacyte is incorrect.; sent4 -> int12: if the traditionalist is a kind of a pressure the fact that it does not educe and it governs plasmacyte is not right.; sent9 & sent25 -> int13: the Bhutanese is a pressure and/or a scorpionfish.; int13 -> int14: something is a kind of a pressure or it is a kind of a scorpionfish or both.; int14 & sent19 -> int15: the traditionalist is a pressure.; int12 & int15 -> int16: the fact that the traditionalist does not educe but it governs plasmacyte is incorrect.; int11 & int16 -> int17: the traditionalist does not govern plasmacyte.;
$hypothesis$ = the henbane governs plasmacyte. ; $context$ = sent1: the henbane does govern plasmacyte if the muon deplumes and it is a bark-louse. sent2: the fact that if the muon deplumes and is not a bark-louse then the henbane governs plasmacyte is true. sent3: the traditionalist does not fudge Sioux. sent4: that something does not educe but it does govern plasmacyte is not right if it is a pressure. sent5: if the traditionalist does not govern plasmacyte and does fudge Sioux then the henbane does not govern plasmacyte. sent6: the muon is not a bark-louse. sent7: there is something such that it does not fudge Sioux. sent8: the traditionalist does educe and does not fudge Sioux if that the muon does not fudge Sioux is right. sent9: there exists something such that it is not a master. sent10: something does not fudge Sioux if that it deplumes and it is not a bark-louse does not hold. sent11: the Bhutanese does not govern clashing if it is not a pressure. sent12: if something is a bark-louse then the fact that it does not fudge Sioux is not false. sent13: the fact that the muon does deplume and is a bark-louse does not hold. sent14: if the plasmacyte is not bacchantic then it is not a racer and it does govern clashing. sent15: the plasmacyte is a kind of a racer if the fact that the Bhutanese is not a racer is wrong. sent16: the Bhutanese is a kind of a racer and does not govern clashing if it is not a pressure. sent17: the Bhutanese does not govern clashing. sent18: the fact that the Bhutanese is not a pressure is not incorrect. sent19: if something is a kind of a pressure and/or is a kind of a scorpionfish then the traditionalist is a pressure. sent20: if there exists something such that it educes and it fudges Sioux the plasmacyte is not a racer. sent21: the fact that the plasmacyte is not a racer is not wrong if something does educe and does not fudge Sioux. sent22: something is not a kind of a Caloocan and does not headquarter warrigal. sent23: if the fact that something does not educe and governs plasmacyte is not true that it does not governs plasmacyte hold. sent24: the muon does not fudge Sioux if it is a kind of a bark-louse. sent25: if there exists something such that it is not a kind of a master then the Bhutanese is a kind of a pressure and/or it is a scorpionfish. sent26: the muon deplumes if the plasmacyte does deplumes. sent27: the traditionalist headquarters behaviorist and is not a wrecker. ; $proof$ = 
sent10 -> int1: the muon does not fudge Sioux if that it deplumes and is not a bark-louse is not true.; void -> assump1: Let's assume that the fact that the muon does deplume but it is not a bark-louse is not true.; int1 & assump1 -> int2: the muon does not fudge Sioux.; int2 & sent8 -> int3: the traditionalist does educe and does not fudge Sioux.; int3 -> int4: something educes and does not fudge Sioux.; int4 & sent21 -> int5: the plasmacyte is not a racer.; sent16 & sent18 -> int6: the Bhutanese is a kind of a racer but it does not govern clashing.; int6 -> int7: the Bhutanese is a racer.; sent15 & int7 -> int8: the plasmacyte is a kind of a racer.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the muon does deplume but it is not a kind of a bark-louse.; int10 & sent2 -> hypothesis; __PROVED__