その先学は密航でない一方でそれは総括する
fact1: その否が開設期間だがそれが腐れないとしたらこの職業活動は開設期間だということはない fact2: もし仮にその否が開設期間だということはないならばそれは判であるが総括するということはない fact3: 仮にむず痒くない物が入荷するとすればそれは陣頭である fact4: とある物が開設期間でないとしたらやばくて加えて邪見でない fact5: もし仮にあのイレギュラーは写生するとすれば「その先学は密航でない」ということは本当だ fact6: 陣頭は正当行為だ fact7: 仮にその先学が密航でないとするとその否は密航でない fact8: すべてのものはむず痒くないししかも入荷する fact9: もし仮にあのイレギュラーが古臭くないとすればあの先学は密航でない fact10: 正当行為は写生するかまたは古臭くないかもしくは両方である fact11: その否は開設期間でない fact12: 仮にその否は総括しないなら「その先学は密航でないがしかしそれは総括する」ということは成り立たない
fact2 & fact11 -> int1: その否は判であるけれどそれは総括しない; int1 -> int2: その否は総括しない; int2 & fact12 -> hypothesis;
この職業活動はやばい一方でそれは邪見でない
fact19 -> int3: この職業活動が開設期間でないとするとそれはやばいし邪見でない; fact18 -> int4: あのイミプラミンは正当行為であるとするとそれは写生するかまたは古臭くないかまたはどちらもだ; fact17 -> int5: もし仮にあのイミプラミンは陣頭であるならそれは正当行為だ; fact16 -> int6: あのイミプラミンはむず痒くないけど入荷する; fact21 -> int7: もしあのイミプラミンがむず痒くないけれど入荷すれば陣頭である; int6 & int7 -> int8: あのイミプラミンは陣頭である; int5 & int8 -> int9: 「あのイミプラミンは正当行為だ」ということは事実と異ならない; int4 & int9 -> int10: あのイミプラミンは写生するかあるいはそれは古臭くない; int10 -> int11: 何もかもは写生するかもしくは古臭くないかもしくは両方である; int11 -> int12: あのイレギュラーは写生するかあるいはそれは古臭くない; fact20 & fact14 & int12 -> int13: その先学は密航でない; int13 & fact15 -> int14: その否は密航でない;
$facts$ = fact1: その否が開設期間だがそれが腐れないとしたらこの職業活動は開設期間だということはない fact2: もし仮にその否が開設期間だということはないならばそれは判であるが総括するということはない fact3: 仮にむず痒くない物が入荷するとすればそれは陣頭である fact4: とある物が開設期間でないとしたらやばくて加えて邪見でない fact5: もし仮にあのイレギュラーは写生するとすれば「その先学は密航でない」ということは本当だ fact6: 陣頭は正当行為だ fact7: 仮にその先学が密航でないとするとその否は密航でない fact8: すべてのものはむず痒くないししかも入荷する fact9: もし仮にあのイレギュラーが古臭くないとすればあの先学は密航でない fact10: 正当行為は写生するかまたは古臭くないかもしくは両方である fact11: その否は開設期間でない fact12: 仮にその否は総括しないなら「その先学は密航でないがしかしそれは総括する」ということは成り立たない ; $hypothesis$ = その先学は密航でない一方でそれは総括する ; $proof$ = 
fact2 & fact11 -> int1: その否は判であるけれどそれは総括しない; int1 -> int2: その否は総括しない; int2 & fact12 -> hypothesis; __DISPROVED__
事実1: その否が開設期間だがそれが腐れないとしたらこの職業活動は開設期間だということはない
事実2: もし仮にその否が開設期間だということはないならばそれは判であるが総括するということはない
事実3: 仮にむず痒くない物が入荷するとすればそれは陣頭である
事実4: とある物が開設期間でないとしたらやばくて加えて邪見でない
事実5: もし仮にあのイレギュラーは写生するとすれば「その先学は密航でない」ということは本当だ
事実6: 陣頭は正当行為だ
事実7: 仮にその先学が密航でないとするとその否は密航でない
事実8: すべてのものはむず痒くないししかも入荷する
事実9: もし仮にあのイレギュラーが古臭くないとすればあの先学は密航でない
事実10: 正当行為は写生するかまたは古臭くないかもしくは両方である
事実11: その否は開設期間でない
事実12: 仮にその否は総括しないなら「その先学は密航でないがしかしそれは総括する」ということは成り立たない

仮説: その先学は密航でない一方でそれは総括する
1. 事実2と事実11から、推論1: "その否は判であるけれどそれは総括しない"が導かれる
2. 推論1から、推論2: "その否は総括しない"が導かれる
3. 推論2と事実12から、仮説が否定される

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