「この短パン姿は確定診断するしおまけに歩き易い」ということは誤りである
fact1: もし「あのプロファイルエディタウィンドウはプライマーであるが恋い慕わない」ということは確かでないとすればあのパイオニアはプライマーである fact2: もしあのプロファイルエディタウィンドウが恋い慕うとすればこの短パン姿は確定診断する fact3: この短パン姿は万人向けであるしまた最終順位である fact4: あのプロファイルエディタウィンドウは歩き易くない fact5: この短パン姿は恋い慕う fact6: もしもなにかは着底期であるとすればプライマーでない fact7: この短パン姿はプライマーである fact8: この短パン姿が脂肪肉腫だししかも掻き取る fact9: その箝口令は恋い慕う fact10: 艶めかしい物は私大でない fact11: もしこの短パン姿は恋い慕うということはないとしたら「プライマーでないしその上労働法典でない」ということは事実と異なる fact12: 仮に何かは着底期でないとすれば労働法典である fact13: もしも「あのプロファイルエディタウィンドウは確定診断する」ということは事実であるとすれば「プライマーであるしまた恋い慕わない」ということは偽だ fact14: もしもあのプロファイルエディタウィンドウが労働法典であるということはないけどそれは着底期ならば「この舵輪は恋い慕う」ということは本当だ fact15: あのプロファイルエディタウィンドウはプライマーであるということはない fact16: この短パン姿が確定診断するということはなくて加えて歩き易くないとしたらあのプロファイルエディタウィンドウは労働法典でない fact17: もし「なにがしかのものは労働法典でないかそれはプライマーであるかもしくは両方ともだ」ということは成り立たないなら「着底期でない」ということは成り立つ fact18: その箝口令はプライマーである fact19: 仮にその箝口令が労働法典であるとするとあのプロファイルエディタウィンドウは恋い慕う fact20: もし仮に何らかのものが歩き易くないとすればそれは確定診断する fact21: もし仮に「この短パン姿はプライマーでなくてかつ労働法典でない」ということは事実と異なるとしたらそれは着底期でない fact22: 「この短パン姿は歩き易い」ということは真実である
fact6 -> int1: もし仮にその箝口令が着底期だとするとプライマーでない; void -> assump1: 以下のように仮定する。その箝口令は着底期だ; int1 & assump1 -> int2: その箝口令はプライマーでない; int2 & fact18 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その箝口令は着底期でない」ということは真実だ; fact12 -> int5: 仮にその箝口令は着底期でないとするとそれは労働法典だ; int4 & int5 -> int6: その箝口令は労働法典である; int6 & fact19 -> int7: 「あのプロファイルエディタウィンドウは恋い慕う」ということは成り立つ; int7 & fact2 -> int8: この短パン姿は確定診断する; int8 & fact22 -> hypothesis;
「「この短パン姿は確定診断するしその上歩き易い」ということは事実である」ということは間違っている
$facts$ = fact1: もし「あのプロファイルエディタウィンドウはプライマーであるが恋い慕わない」ということは確かでないとすればあのパイオニアはプライマーである fact2: もしあのプロファイルエディタウィンドウが恋い慕うとすればこの短パン姿は確定診断する fact3: この短パン姿は万人向けであるしまた最終順位である fact4: あのプロファイルエディタウィンドウは歩き易くない fact5: この短パン姿は恋い慕う fact6: もしもなにかは着底期であるとすればプライマーでない fact7: この短パン姿はプライマーである fact8: この短パン姿が脂肪肉腫だししかも掻き取る fact9: その箝口令は恋い慕う fact10: 艶めかしい物は私大でない fact11: もしこの短パン姿は恋い慕うということはないとしたら「プライマーでないしその上労働法典でない」ということは事実と異なる fact12: 仮に何かは着底期でないとすれば労働法典である fact13: もしも「あのプロファイルエディタウィンドウは確定診断する」ということは事実であるとすれば「プライマーであるしまた恋い慕わない」ということは偽だ fact14: もしもあのプロファイルエディタウィンドウが労働法典であるということはないけどそれは着底期ならば「この舵輪は恋い慕う」ということは本当だ fact15: あのプロファイルエディタウィンドウはプライマーであるということはない fact16: この短パン姿が確定診断するということはなくて加えて歩き易くないとしたらあのプロファイルエディタウィンドウは労働法典でない fact17: もし「なにがしかのものは労働法典でないかそれはプライマーであるかもしくは両方ともだ」ということは成り立たないなら「着底期でない」ということは成り立つ fact18: その箝口令はプライマーである fact19: 仮にその箝口令が労働法典であるとするとあのプロファイルエディタウィンドウは恋い慕う fact20: もし仮に何らかのものが歩き易くないとすればそれは確定診断する fact21: もし仮に「この短パン姿はプライマーでなくてかつ労働法典でない」ということは事実と異なるとしたらそれは着底期でない fact22: 「この短パン姿は歩き易い」ということは真実である ; $hypothesis$ = 「この短パン姿は確定診断するしおまけに歩き易い」ということは誤りである ; $proof$ = 
fact6 -> int1: もし仮にその箝口令が着底期だとするとプライマーでない; void -> assump1: 以下のように仮定する。その箝口令は着底期だ; int1 & assump1 -> int2: その箝口令はプライマーでない; int2 & fact18 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その箝口令は着底期でない」ということは真実だ; fact12 -> int5: 仮にその箝口令は着底期でないとするとそれは労働法典だ; int4 & int5 -> int6: その箝口令は労働法典である; int6 & fact19 -> int7: 「あのプロファイルエディタウィンドウは恋い慕う」ということは成り立つ; int7 & fact2 -> int8: この短パン姿は確定診断する; int8 & fact22 -> hypothesis; __DISPROVED__
事実1: もし「あのプロファイルエディタウィンドウはプライマーであるが恋い慕わない」ということは確かでないとすればあのパイオニアはプライマーである
事実2: もしあのプロファイルエディタウィンドウが恋い慕うとすればこの短パン姿は確定診断する
事実3: この短パン姿は万人向けであるしまた最終順位である
事実4: あのプロファイルエディタウィンドウは歩き易くない
事実5: この短パン姿は恋い慕う
事実6: もしもなにかは着底期であるとすればプライマーでない
事実7: この短パン姿はプライマーである
事実8: この短パン姿が脂肪肉腫だししかも掻き取る
事実9: その箝口令は恋い慕う
事実10: 艶めかしい物は私大でない
事実11: もしこの短パン姿は恋い慕うということはないとしたら「プライマーでないしその上労働法典でない」ということは事実と異なる
事実12: 仮に何かは着底期でないとすれば労働法典である
事実13: もしも「あのプロファイルエディタウィンドウは確定診断する」ということは事実であるとすれば「プライマーであるしまた恋い慕わない」ということは偽だ
事実14: もしもあのプロファイルエディタウィンドウが労働法典であるということはないけどそれは着底期ならば「この舵輪は恋い慕う」ということは本当だ
事実15: あのプロファイルエディタウィンドウはプライマーであるということはない
事実16: この短パン姿が確定診断するということはなくて加えて歩き易くないとしたらあのプロファイルエディタウィンドウは労働法典でない
事実17: もし「なにがしかのものは労働法典でないかそれはプライマーであるかもしくは両方ともだ」ということは成り立たないなら「着底期でない」ということは成り立つ
事実18: その箝口令はプライマーである
事実19: 仮にその箝口令が労働法典であるとするとあのプロファイルエディタウィンドウは恋い慕う
事実20: もし仮に何らかのものが歩き易くないとすればそれは確定診断する
事実21: もし仮に「この短パン姿はプライマーでなくてかつ労働法典でない」ということは事実と異なるとしたらそれは着底期でない
事実22: 「この短パン姿は歩き易い」ということは真実である

仮説: 「この短パン姿は確定診断するしおまけに歩き易い」ということは誤りである
1. 事実6から、推論1: "もし仮にその箝口令が着底期だとするとプライマーでない"が導かれる
2. 仮定1: 以下のように仮定する。その箝口令は着底期だ
3. 推論1と仮定1から、推論2: "その箝口令はプライマーでない"が導かれる
4. 推論2と事実18から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その箝口令は着底期でない」ということは真実だ"が導かれる
6. 事実12から、推論5: "仮にその箝口令は着底期でないとするとそれは労働法典だ"が導かれる
7. 推論4と推論5から、推論6: "その箝口令は労働法典である"が導かれる
8. 推論6と事実19から、推論7: "「あのプロファイルエディタウィンドウは恋い慕う」ということは成り立つ"が導かれる
9. 推論7と事実2から、推論8: "この短パン姿は確定診断する"が導かれる
10. 推論8と事実22から、仮説が否定される

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