この末期症状は部長である
fact1: もしもこの譲歩が血鯛でないならばこの急速潜航は血鯛でない fact2: もしその残留農薬が部長でないならこの末期症状は部長でない fact3: この暗証番号が年額でないしおまけに血鯛でないとすればあの残留農薬は君らしい fact4: この暗証番号は血鯛でないけど部長だ fact5: この急速潜航は燃え易くないけど御固い fact6: もし仮にこの急速潜航が部長だということはないが御固いならこの暗証番号は年額だ fact7: もし仮にその残留農薬が君らしいとすればこの末期症状は部長でない fact8: もし仮にこの暗証番号が年額でないがそれは血鯛なら「その残留農薬は君らしい」ということは成り立つ fact9: もしこの譲歩が血鯛だということはないとすればあの暗証番号は血鯛でない fact10: もし仮にその残留農薬が年額だしそれに燃え易いならばこの急速潜航は君らしくない fact11: もしもこの急速潜航は燃え易くないけれど御固いとすれば「この譲歩は血鯛でない」ということは真実だ fact12: もしも「なにがしかのものは問題視しないし君らしいということはない」ということは間違っているとすれば「それは血鯛でない」ということは成り立つ fact13: この急速潜航は御固い fact14: この暗証番号は血鯛でない fact15: この暗証番号は御固くない fact16: そのサービス等は首輪でないがしかし部長だ fact17: 仮にこの譲歩が血鯛でないならばこの暗証番号は年額でなくて加えて血鯛でない fact18: この急速潜航は血鯛でないけど御固い fact19: もしこの譲歩が部長でないならばこの末期症状は血鯛でなくてそれは部長だということはない fact20: もしもこの急速潜航が年額であるしその上それが燃え易いならばあの暗証番号は血鯛でない fact21: この木曾路はＳＭＣでないけれど君らしい
fact11 & fact5 -> int1: この譲歩は血鯛でない; int1 & fact17 -> int2: この暗証番号は年額でなくてその上血鯛でない; int2 & fact3 -> int3: その残留農薬は君らしい; int3 & fact7 -> hypothesis;
この末期症状は部長だ
fact22 -> int4: 仮に「この末期症状は問題視しなくておまけに君らしくない」ということは偽ならば血鯛でない;
$facts$ = fact1: もしもこの譲歩が血鯛でないならばこの急速潜航は血鯛でない fact2: もしその残留農薬が部長でないならこの末期症状は部長でない fact3: この暗証番号が年額でないしおまけに血鯛でないとすればあの残留農薬は君らしい fact4: この暗証番号は血鯛でないけど部長だ fact5: この急速潜航は燃え易くないけど御固い fact6: もし仮にこの急速潜航が部長だということはないが御固いならこの暗証番号は年額だ fact7: もし仮にその残留農薬が君らしいとすればこの末期症状は部長でない fact8: もし仮にこの暗証番号が年額でないがそれは血鯛なら「その残留農薬は君らしい」ということは成り立つ fact9: もしこの譲歩が血鯛だということはないとすればあの暗証番号は血鯛でない fact10: もし仮にその残留農薬が年額だしそれに燃え易いならばこの急速潜航は君らしくない fact11: もしもこの急速潜航は燃え易くないけれど御固いとすれば「この譲歩は血鯛でない」ということは真実だ fact12: もしも「なにがしかのものは問題視しないし君らしいということはない」ということは間違っているとすれば「それは血鯛でない」ということは成り立つ fact13: この急速潜航は御固い fact14: この暗証番号は血鯛でない fact15: この暗証番号は御固くない fact16: そのサービス等は首輪でないがしかし部長だ fact17: 仮にこの譲歩が血鯛でないならばこの暗証番号は年額でなくて加えて血鯛でない fact18: この急速潜航は血鯛でないけど御固い fact19: もしこの譲歩が部長でないならばこの末期症状は血鯛でなくてそれは部長だということはない fact20: もしもこの急速潜航が年額であるしその上それが燃え易いならばあの暗証番号は血鯛でない fact21: この木曾路はＳＭＣでないけれど君らしい ; $hypothesis$ = この末期症状は部長である ; $proof$ = 
fact11 & fact5 -> int1: この譲歩は血鯛でない; int1 & fact17 -> int2: この暗証番号は年額でなくてその上血鯛でない; int2 & fact3 -> int3: その残留農薬は君らしい; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: もしもこの譲歩が血鯛でないならばこの急速潜航は血鯛でない
事実2: もしその残留農薬が部長でないならこの末期症状は部長でない
事実3: この暗証番号が年額でないしおまけに血鯛でないとすればあの残留農薬は君らしい
事実4: この暗証番号は血鯛でないけど部長だ
事実5: この急速潜航は燃え易くないけど御固い
事実6: もし仮にこの急速潜航が部長だということはないが御固いならこの暗証番号は年額だ
事実7: もし仮にその残留農薬が君らしいとすればこの末期症状は部長でない
事実8: もし仮にこの暗証番号が年額でないがそれは血鯛なら「その残留農薬は君らしい」ということは成り立つ
事実9: もしこの譲歩が血鯛だということはないとすればあの暗証番号は血鯛でない
事実10: もし仮にその残留農薬が年額だしそれに燃え易いならばこの急速潜航は君らしくない
事実11: もしもこの急速潜航は燃え易くないけれど御固いとすれば「この譲歩は血鯛でない」ということは真実だ
事実12: もしも「なにがしかのものは問題視しないし君らしいということはない」ということは間違っているとすれば「それは血鯛でない」ということは成り立つ
事実13: この急速潜航は御固い
事実14: この暗証番号は血鯛でない
事実15: この暗証番号は御固くない
事実16: そのサービス等は首輪でないがしかし部長だ
事実17: 仮にこの譲歩が血鯛でないならばこの暗証番号は年額でなくて加えて血鯛でない
事実18: この急速潜航は血鯛でないけど御固い
事実19: もしこの譲歩が部長でないならばこの末期症状は血鯛でなくてそれは部長だということはない
事実20: もしもこの急速潜航が年額であるしその上それが燃え易いならばあの暗証番号は血鯛でない
事実21: この木曾路はＳＭＣでないけれど君らしい

仮説: この末期症状は部長である
1. 事実11と事実5から、推論1: "この譲歩は血鯛でない"が導かれる
2. 推論1と事実17から、推論2: "この暗証番号は年額でなくてその上血鯛でない"が導かれる
3. 推論2と事実3から、推論3: "その残留農薬は君らしい"が導かれる
4. 推論3と事実7から、仮説が否定される

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