この子宮内は蒸すということはない
fact1: 「もしも「その参加費は引き起こし易くない」ということは正しいとしたら「この花梨灯は引き起こし易い一方で制限速度でない」ということは間違っている」ということは成り立つ fact2: 「この花梨灯は正しくないし引き起こし易くない」ということは成り立たないならばあの個別評価は音楽家でない fact3: 「あの個別評価は音楽家でないしかつそれは極まりなくない」ということは事実と異なるとしたらその参加費は引き起こし易くない fact4: もし短大が正しくないとすればそれは音楽家でない fact5: もし仮にこの監視人は音楽家だということはないなら「あの個別評価は音楽家でないしまたそれは極まりなくない」ということは誤りだ fact6: この監視人は短大である fact7: この監視人は正しくない fact8: 仮に「この花梨灯は引き起こし易いけれど制限速度だということはない」ということは嘘であるならこの子宮内は蒸す fact9: 「この監視人は正しいかそれは音楽家でない」ということは成り立たないならばこの子宮内は正しくない
fact6 & fact7 -> int1: この監視人は短大だけれどそれは正しくない; fact4 -> int2: もし仮にこの監視人は短大だ一方で正しいということはないとするとそれは音楽家だということはない; int1 & int2 -> int3: この監視人は音楽家でない; int3 & fact5 -> int4: 「「あの個別評価は音楽家であるということはないしそれにそれは極まりなくない」ということは確かだ」ということは確かでない; int4 & fact3 -> int5: その参加費は引き起こし易くない; int5 & fact1 -> int6: 「この花梨灯は引き起こし易いが制限速度だということはない」ということは確かであるということはない; int6 & fact8 -> hypothesis;
この子宮内は蒸さない
$facts$ = fact1: 「もしも「その参加費は引き起こし易くない」ということは正しいとしたら「この花梨灯は引き起こし易い一方で制限速度でない」ということは間違っている」ということは成り立つ fact2: 「この花梨灯は正しくないし引き起こし易くない」ということは成り立たないならばあの個別評価は音楽家でない fact3: 「あの個別評価は音楽家でないしかつそれは極まりなくない」ということは事実と異なるとしたらその参加費は引き起こし易くない fact4: もし短大が正しくないとすればそれは音楽家でない fact5: もし仮にこの監視人は音楽家だということはないなら「あの個別評価は音楽家でないしまたそれは極まりなくない」ということは誤りだ fact6: この監視人は短大である fact7: この監視人は正しくない fact8: 仮に「この花梨灯は引き起こし易いけれど制限速度だということはない」ということは嘘であるならこの子宮内は蒸す fact9: 「この監視人は正しいかそれは音楽家でない」ということは成り立たないならばこの子宮内は正しくない ; $hypothesis$ = この子宮内は蒸すということはない ; $proof$ = 
fact6 & fact7 -> int1: この監視人は短大だけれどそれは正しくない; fact4 -> int2: もし仮にこの監視人は短大だ一方で正しいということはないとするとそれは音楽家だということはない; int1 & int2 -> int3: この監視人は音楽家でない; int3 & fact5 -> int4: 「「あの個別評価は音楽家であるということはないしそれにそれは極まりなくない」ということは確かだ」ということは確かでない; int4 & fact3 -> int5: その参加費は引き起こし易くない; int5 & fact1 -> int6: 「この花梨灯は引き起こし易いが制限速度だということはない」ということは確かであるということはない; int6 & fact8 -> hypothesis; __DISPROVED__
事実1: 「もしも「その参加費は引き起こし易くない」ということは正しいとしたら「この花梨灯は引き起こし易い一方で制限速度でない」ということは間違っている」ということは成り立つ
事実2: 「この花梨灯は正しくないし引き起こし易くない」ということは成り立たないならばあの個別評価は音楽家でない
事実3: 「あの個別評価は音楽家でないしかつそれは極まりなくない」ということは事実と異なるとしたらその参加費は引き起こし易くない
事実4: もし短大が正しくないとすればそれは音楽家でない
事実5: もし仮にこの監視人は音楽家だということはないなら「あの個別評価は音楽家でないしまたそれは極まりなくない」ということは誤りだ
事実6: この監視人は短大である
事実7: この監視人は正しくない
事実8: 仮に「この花梨灯は引き起こし易いけれど制限速度だということはない」ということは嘘であるならこの子宮内は蒸す
事実9: 「この監視人は正しいかそれは音楽家でない」ということは成り立たないならばこの子宮内は正しくない

仮説: この子宮内は蒸すということはない
1. 事実6と事実7から、推論1: "この監視人は短大だけれどそれは正しくない"が導かれる
2. 事実4から、推論2: "もし仮にこの監視人は短大だ一方で正しいということはないとするとそれは音楽家だということはない"が導かれる
3. 推論1と推論2から、推論3: "この監視人は音楽家でない"が導かれる
4. 推論3と事実5から、推論4: "「「あの個別評価は音楽家であるということはないしそれにそれは極まりなくない」ということは確かだ」ということは確かでない"が導かれる
5. 推論4と事実3から、推論5: "その参加費は引き起こし易くない"が導かれる
6. 推論5と事実1から、推論6: "「この花梨灯は引き起こし易いが制限速度だということはない」ということは確かであるということはない"が導かれる
7. 推論6と事実8から、仮説が否定される

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