「もしも「このＪＳＰは第一次インドシナ戦争だ」ということは確かであるとすればあの試合は薄汚い」ということは正しくない
fact1: 「このＪＳＰは変態女だ」ということは真実である fact2: 「乏しいかもしくは湿気易いかあるいは両方であるという物はない」ということは成り立つ fact3: 全ては湿気易くない fact4: もしもこのＪＳＰが湿気易くないとすればあのヒーターは適わないしそれは受け取り金額だということはない fact5: もしこのＪＳＰが適わないがしかしそれが第一次インドシナ戦争であるとするとあの試合は薄汚い fact6: このＪＳＰは受け取り金額であるということはない fact7: 仮にあのヒーターが乏しくなくて入れ直さないとすれば「薄汚いということはない」ということは成り立つ fact8: もし仮にあるものは受け取り金額でなくて入れ直さないとすれば適うということはない fact9: もしもあのヒーターが真っ黒くないとしたらこのＪＳＰは受け取り金額でないしおまけにそれは入れ直さない fact10: もし仮にこのＪＳＰは受け取り金額だ一方で入れ直さないとしたら適わない fact11: もしも「何らかのものは乏しいかもしくはそれは湿気易い」ということは間違いだとするとそれは真っ黒くない fact12: あのヒーターは入れ直さないし湿気易くない fact13: あのヒーターは湿気易くない fact14: もしもとあるものは過誤でなくて意地悪くないならそれは人恋しくない fact15: もしとあるものは成約時代でないし処分性でないとすると小使室でない fact16: もしあのヒーターが真っ黒くないとするとこのＪＳＰは受け取り金額でない fact17: もし仮に受け取り金額は入れ直すということはないとしたら「それは適わない」ということは確かだ
fact2 -> int1: 「あのヒーターは乏しいかもしくはそれは湿気易い」ということは間違っている; fact11 -> int2: もしも「あのヒーターは乏しいかまたは湿気易いか両方だ」ということは誤りだとするとそれは真っ黒くない; int1 & int2 -> int3: あのヒーターは真っ黒くない; int3 & fact9 -> int4: このＪＳＰは受け取り金額でなくて入れ直さない; fact8 -> int5: もしこのＪＳＰが受け取り金額でないしさらに入れ直すということはないならばそれは適わない; int4 & int5 -> int6: このＪＳＰは適わない; void -> assump1: 以下のように仮定する。このＪＳＰは第一次インドシナ戦争だ; int6 & assump1 -> int7: このＪＳＰは適わない一方で第一次インドシナ戦争だ; int7 & fact5 -> int8: あの試合は薄汚い; [assump1] & int8 -> hypothesis;
$facts$ = fact1: 「このＪＳＰは変態女だ」ということは真実である fact2: 「乏しいかもしくは湿気易いかあるいは両方であるという物はない」ということは成り立つ fact3: 全ては湿気易くない fact4: もしもこのＪＳＰが湿気易くないとすればあのヒーターは適わないしそれは受け取り金額だということはない fact5: もしこのＪＳＰが適わないがしかしそれが第一次インドシナ戦争であるとするとあの試合は薄汚い fact6: このＪＳＰは受け取り金額であるということはない fact7: 仮にあのヒーターが乏しくなくて入れ直さないとすれば「薄汚いということはない」ということは成り立つ fact8: もし仮にあるものは受け取り金額でなくて入れ直さないとすれば適うということはない fact9: もしもあのヒーターが真っ黒くないとしたらこのＪＳＰは受け取り金額でないしおまけにそれは入れ直さない fact10: もし仮にこのＪＳＰは受け取り金額だ一方で入れ直さないとしたら適わない fact11: もしも「何らかのものは乏しいかもしくはそれは湿気易い」ということは間違いだとするとそれは真っ黒くない fact12: あのヒーターは入れ直さないし湿気易くない fact13: あのヒーターは湿気易くない fact14: もしもとあるものは過誤でなくて意地悪くないならそれは人恋しくない fact15: もしとあるものは成約時代でないし処分性でないとすると小使室でない fact16: もしあのヒーターが真っ黒くないとするとこのＪＳＰは受け取り金額でない fact17: もし仮に受け取り金額は入れ直すということはないとしたら「それは適わない」ということは確かだ ; $hypothesis$ = 「もしも「このＪＳＰは第一次インドシナ戦争だ」ということは確かであるとすればあの試合は薄汚い」ということは正しくない ; $proof$ = 
fact2 -> int1: 「あのヒーターは乏しいかもしくはそれは湿気易い」ということは間違っている; fact11 -> int2: もしも「あのヒーターは乏しいかまたは湿気易いか両方だ」ということは誤りだとするとそれは真っ黒くない; int1 & int2 -> int3: あのヒーターは真っ黒くない; int3 & fact9 -> int4: このＪＳＰは受け取り金額でなくて入れ直さない; fact8 -> int5: もしこのＪＳＰが受け取り金額でないしさらに入れ直すということはないならばそれは適わない; int4 & int5 -> int6: このＪＳＰは適わない; void -> assump1: 以下のように仮定する。このＪＳＰは第一次インドシナ戦争だ; int6 & assump1 -> int7: このＪＳＰは適わない一方で第一次インドシナ戦争だ; int7 & fact5 -> int8: あの試合は薄汚い; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: 「このＪＳＰは変態女だ」ということは真実である
事実2: 「乏しいかもしくは湿気易いかあるいは両方であるという物はない」ということは成り立つ
事実3: 全ては湿気易くない
事実4: もしもこのＪＳＰが湿気易くないとすればあのヒーターは適わないしそれは受け取り金額だということはない
事実5: もしこのＪＳＰが適わないがしかしそれが第一次インドシナ戦争であるとするとあの試合は薄汚い
事実6: このＪＳＰは受け取り金額であるということはない
事実7: 仮にあのヒーターが乏しくなくて入れ直さないとすれば「薄汚いということはない」ということは成り立つ
事実8: もし仮にあるものは受け取り金額でなくて入れ直さないとすれば適うということはない
事実9: もしもあのヒーターが真っ黒くないとしたらこのＪＳＰは受け取り金額でないしおまけにそれは入れ直さない
事実10: もし仮にこのＪＳＰは受け取り金額だ一方で入れ直さないとしたら適わない
事実11: もしも「何らかのものは乏しいかもしくはそれは湿気易い」ということは間違いだとするとそれは真っ黒くない
事実12: あのヒーターは入れ直さないし湿気易くない
事実13: あのヒーターは湿気易くない
事実14: もしもとあるものは過誤でなくて意地悪くないならそれは人恋しくない
事実15: もしとあるものは成約時代でないし処分性でないとすると小使室でない
事実16: もしあのヒーターが真っ黒くないとするとこのＪＳＰは受け取り金額でない
事実17: もし仮に受け取り金額は入れ直すということはないとしたら「それは適わない」ということは確かだ

仮説: 「もしも「このＪＳＰは第一次インドシナ戦争だ」ということは確かであるとすればあの試合は薄汚い」ということは正しくない
1. 事実2から、推論1: "「あのヒーターは乏しいかもしくはそれは湿気易い」ということは間違っている"が導かれる
2. 事実11から、推論2: "もしも「あのヒーターは乏しいかまたは湿気易いか両方だ」ということは誤りだとするとそれは真っ黒くない"が導かれる
3. 推論1と推論2から、推論3: "あのヒーターは真っ黒くない"が導かれる
4. 推論3と事実9から、推論4: "このＪＳＰは受け取り金額でなくて入れ直さない"が導かれる
5. 事実8から、推論5: "もしこのＪＳＰが受け取り金額でないしさらに入れ直すということはないならばそれは適わない"が導かれる
6. 推論4と推論5から、推論6: "このＪＳＰは適わない"が導かれる
7. 仮定1: 以下のように仮定する。このＪＳＰは第一次インドシナ戦争だ
8. 推論6と仮定1から、推論7: "このＪＳＰは適わない一方で第一次インドシナ戦争だ"が導かれる
9. 推論7と事実5から、推論8: "あの試合は薄汚い"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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