「その民生費はバクテリオファージでない」ということは本当である
fact1: 「「その累進税制はバクテリオファージでないが自社開発である」ということは成り立たない」ということは成り立つ fact2: もしもその累進税制が自社開発だとしたらそれは戻れる fact3: もしも何かは早しけれど勉強し為さらないならばあの累進税制は上げ難くない fact4: その累進税制は自社開発である fact5: もし仮にその累進税制は排出物だとすると「その民生費は自社開発でないがそれは戻れる」ということは成り立たない fact6: もしその累進税制はバクテリオファージであるとすればそれは自社開発である fact7: その累進税制は自社開発だとすると「それは刺々しい」ということは成り立つ fact8: その民生費は戻れる fact9: もしも「ある物は上げ難くないけれど排出物だ」ということは嘘であるとすればそれはバクテリオファージである fact10: あのＳＰＣは排出物である fact11: もしもとある物は自社開発だとすると「五反未満層でないけれど上げ難い」ということは成り立つということはない fact12: 何かは早し一方でそれは勉強し為さらない fact13: このＴ‐ＤＡＰは自社開発だ fact14: その民生費は様式化する fact15: そのＡＯＣワイン産地名は排出物である fact16: もしもその累進税制はバクテリオファージだとすれば「その民生費は戻れないが上げ難い」ということは誤りだ fact17: もし仮に何かは自社開発であるならばそれは排出物だ fact18: 仮にその民生費はバクテリオファージであるとすればそれは自社開発だ fact19: 「その累進税制は排出物でないけれどそれは自社開発だ」ということは成り立たない fact20: もしも「その民生費はバクテリオファージでないが自社開発だ」ということは正しいということはないとしたらそれは排出物だ fact21: なにかは自社開発でないとすればそれは戻れるかもしくはバクテリオファージでない fact22: 仮にその累進税制は戻れるとすれば「「その民生費は上げ難くないけどそれは排出物である」ということは真実だ」ということは偽である fact23: その累進税制は照り映える fact24: その累進税制は自社開発であるとすればバクテリオファージである
fact2 & fact4 -> int1: その累進税制は戻れる; int1 & fact22 -> int2: 「その民生費は上げ難くない一方で排出物だ」ということは偽である; fact9 -> int3: 「その民生費は上げ難くないけど排出物である」ということは誤っているとしたらバクテリオファージである; int2 & int3 -> hypothesis;
その民生費はバクテリオファージでない
fact26 -> int4: その民生費は自社開発でないならば戻れるかバクテリオファージでないか両方である; fact25 & fact27 -> int5: その累進税制は上げ難くない; int5 -> int6: 「上げ難くない」物はある;
$facts$ = fact1: 「「その累進税制はバクテリオファージでないが自社開発である」ということは成り立たない」ということは成り立つ fact2: もしもその累進税制が自社開発だとしたらそれは戻れる fact3: もしも何かは早しけれど勉強し為さらないならばあの累進税制は上げ難くない fact4: その累進税制は自社開発である fact5: もし仮にその累進税制は排出物だとすると「その民生費は自社開発でないがそれは戻れる」ということは成り立たない fact6: もしその累進税制はバクテリオファージであるとすればそれは自社開発である fact7: その累進税制は自社開発だとすると「それは刺々しい」ということは成り立つ fact8: その民生費は戻れる fact9: もしも「ある物は上げ難くないけれど排出物だ」ということは嘘であるとすればそれはバクテリオファージである fact10: あのＳＰＣは排出物である fact11: もしもとある物は自社開発だとすると「五反未満層でないけれど上げ難い」ということは成り立つということはない fact12: 何かは早し一方でそれは勉強し為さらない fact13: このＴ‐ＤＡＰは自社開発だ fact14: その民生費は様式化する fact15: そのＡＯＣワイン産地名は排出物である fact16: もしもその累進税制はバクテリオファージだとすれば「その民生費は戻れないが上げ難い」ということは誤りだ fact17: もし仮に何かは自社開発であるならばそれは排出物だ fact18: 仮にその民生費はバクテリオファージであるとすればそれは自社開発だ fact19: 「その累進税制は排出物でないけれどそれは自社開発だ」ということは成り立たない fact20: もしも「その民生費はバクテリオファージでないが自社開発だ」ということは正しいということはないとしたらそれは排出物だ fact21: なにかは自社開発でないとすればそれは戻れるかもしくはバクテリオファージでない fact22: 仮にその累進税制は戻れるとすれば「「その民生費は上げ難くないけどそれは排出物である」ということは真実だ」ということは偽である fact23: その累進税制は照り映える fact24: その累進税制は自社開発であるとすればバクテリオファージである ; $hypothesis$ = 「その民生費はバクテリオファージでない」ということは本当である ; $proof$ = 
fact2 & fact4 -> int1: その累進税制は戻れる; int1 & fact22 -> int2: 「その民生費は上げ難くない一方で排出物だ」ということは偽である; fact9 -> int3: 「その民生費は上げ難くないけど排出物である」ということは誤っているとしたらバクテリオファージである; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 「「その累進税制はバクテリオファージでないが自社開発である」ということは成り立たない」ということは成り立つ
事実2: もしもその累進税制が自社開発だとしたらそれは戻れる
事実3: もしも何かは早しけれど勉強し為さらないならばあの累進税制は上げ難くない
事実4: その累進税制は自社開発である
事実5: もし仮にその累進税制は排出物だとすると「その民生費は自社開発でないがそれは戻れる」ということは成り立たない
事実6: もしその累進税制はバクテリオファージであるとすればそれは自社開発である
事実7: その累進税制は自社開発だとすると「それは刺々しい」ということは成り立つ
事実8: その民生費は戻れる
事実9: もしも「ある物は上げ難くないけれど排出物だ」ということは嘘であるとすればそれはバクテリオファージである
事実10: あのＳＰＣは排出物である
事実11: もしもとある物は自社開発だとすると「五反未満層でないけれど上げ難い」ということは成り立つということはない
事実12: 何かは早し一方でそれは勉強し為さらない
事実13: このＴ‐ＤＡＰは自社開発だ
事実14: その民生費は様式化する
事実15: そのＡＯＣワイン産地名は排出物である
事実16: もしもその累進税制はバクテリオファージだとすれば「その民生費は戻れないが上げ難い」ということは誤りだ
事実17: もし仮に何かは自社開発であるならばそれは排出物だ
事実18: 仮にその民生費はバクテリオファージであるとすればそれは自社開発だ
事実19: 「その累進税制は排出物でないけれどそれは自社開発だ」ということは成り立たない
事実20: もしも「その民生費はバクテリオファージでないが自社開発だ」ということは正しいということはないとしたらそれは排出物だ
事実21: なにかは自社開発でないとすればそれは戻れるかもしくはバクテリオファージでない
事実22: 仮にその累進税制は戻れるとすれば「「その民生費は上げ難くないけどそれは排出物である」ということは真実だ」ということは偽である
事実23: その累進税制は照り映える
事実24: その累進税制は自社開発であるとすればバクテリオファージである

仮説: 「その民生費はバクテリオファージでない」ということは本当である
1. 事実2と事実4から、推論1: "その累進税制は戻れる"が導かれる
2. 推論1と事実22から、推論2: "「その民生費は上げ難くない一方で排出物だ」ということは偽である"が導かれる
3. 事実9から、推論3: "「その民生費は上げ難くないけど排出物である」ということは誤っているとしたらバクテリオファージである"が導かれる
4. 推論2と推論3から、仮説が否定される

よって、仮説が否定されました。