「その成立率が鉄道駅だしまたモーション・ピクチャーである」ということは偽である
fact1: もし仮にこの複勝オッズが高野聖でないとすればファーストである fact2: この複勝オッズが高野聖でないとしたら紛らすしそれはファーストだ fact3: その成立率はいじましくない fact4: もし仮に「「成り難くないがしかし進ぜる」ということは誤りである」ものがあるとしたらこの複勝オッズは御恥ずかしくない fact5: 「その授業者は成り難いしさらに進ぜる」ということは偽である fact6: そのムッラーは差し支えるが父ちゃんだということはない fact7: もしこの複勝オッズが御恥ずかしくないけれど紛らすとしたらその成立率は鉄道駅だ fact8: 何かは御恥ずかしくないかあるいは紛らすかあるいはどちらもである fact9: 「この複勝オッズはファーストである」ということは成り立つ fact10: もし仮にその成立率がいじましくないとすればそれはモーション・ピクチャーであるしまたそれは唯識だ fact11: その成立率は唯識である fact12: この複勝オッズは高野聖であるということはない fact13: もしその成立率が御恥ずかしくないとしたらこの複勝オッズは進ぜるしその上差し支える fact14: もしもその授業者が進ぜるとすればそのムッラーは差し支えない
void -> assump1: 以下のように仮定する。その授業者は成り難くないがしかし進ぜる; assump1 -> int1: 「その授業者は進ぜる」ということは成り立つ; int1 & fact14 -> int2: そのムッラーは差し支えない; fact6 -> int3: そのムッラーは差し支える; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その授業者は成り難くない一方で進ぜる」ということは嘘である; int5 -> int6: 「「成り難くない一方で進ぜる」ということは成り立たない」ものはある; int6 & fact4 -> int7: この複勝オッズは御恥ずかしいということはない; fact2 & fact12 -> int8: この複勝オッズは紛らすしかつファーストである; int8 -> int9: この複勝オッズは紛らす; int7 & int9 -> int10: この複勝オッズは御恥ずかしくないけれど紛らす; int10 & fact7 -> int11: その成立率は鉄道駅である; fact10 & fact3 -> int12: その成立率はモーション・ピクチャーであるし加えて唯識だ; int12 -> int13: その成立率はモーション・ピクチャーだ; int11 & int13 -> hypothesis;
その授業者は唯識である
$facts$ = fact1: もし仮にこの複勝オッズが高野聖でないとすればファーストである fact2: この複勝オッズが高野聖でないとしたら紛らすしそれはファーストだ fact3: その成立率はいじましくない fact4: もし仮に「「成り難くないがしかし進ぜる」ということは誤りである」ものがあるとしたらこの複勝オッズは御恥ずかしくない fact5: 「その授業者は成り難いしさらに進ぜる」ということは偽である fact6: そのムッラーは差し支えるが父ちゃんだということはない fact7: もしこの複勝オッズが御恥ずかしくないけれど紛らすとしたらその成立率は鉄道駅だ fact8: 何かは御恥ずかしくないかあるいは紛らすかあるいはどちらもである fact9: 「この複勝オッズはファーストである」ということは成り立つ fact10: もし仮にその成立率がいじましくないとすればそれはモーション・ピクチャーであるしまたそれは唯識だ fact11: その成立率は唯識である fact12: この複勝オッズは高野聖であるということはない fact13: もしその成立率が御恥ずかしくないとしたらこの複勝オッズは進ぜるしその上差し支える fact14: もしもその授業者が進ぜるとすればそのムッラーは差し支えない ; $hypothesis$ = 「その成立率が鉄道駅だしまたモーション・ピクチャーである」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。その授業者は成り難くないがしかし進ぜる; assump1 -> int1: 「その授業者は進ぜる」ということは成り立つ; int1 & fact14 -> int2: そのムッラーは差し支えない; fact6 -> int3: そのムッラーは差し支える; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その授業者は成り難くない一方で進ぜる」ということは嘘である; int5 -> int6: 「「成り難くない一方で進ぜる」ということは成り立たない」ものはある; int6 & fact4 -> int7: この複勝オッズは御恥ずかしいということはない; fact2 & fact12 -> int8: この複勝オッズは紛らすしかつファーストである; int8 -> int9: この複勝オッズは紛らす; int7 & int9 -> int10: この複勝オッズは御恥ずかしくないけれど紛らす; int10 & fact7 -> int11: その成立率は鉄道駅である; fact10 & fact3 -> int12: その成立率はモーション・ピクチャーであるし加えて唯識だ; int12 -> int13: その成立率はモーション・ピクチャーだ; int11 & int13 -> hypothesis; __DISPROVED__
事実1: もし仮にこの複勝オッズが高野聖でないとすればファーストである
事実2: この複勝オッズが高野聖でないとしたら紛らすしそれはファーストだ
事実3: その成立率はいじましくない
事実4: もし仮に「「成り難くないがしかし進ぜる」ということは誤りである」ものがあるとしたらこの複勝オッズは御恥ずかしくない
事実5: 「その授業者は成り難いしさらに進ぜる」ということは偽である
事実6: そのムッラーは差し支えるが父ちゃんだということはない
事実7: もしこの複勝オッズが御恥ずかしくないけれど紛らすとしたらその成立率は鉄道駅だ
事実8: 何かは御恥ずかしくないかあるいは紛らすかあるいはどちらもである
事実9: 「この複勝オッズはファーストである」ということは成り立つ
事実10: もし仮にその成立率がいじましくないとすればそれはモーション・ピクチャーであるしまたそれは唯識だ
事実11: その成立率は唯識である
事実12: この複勝オッズは高野聖であるということはない
事実13: もしその成立率が御恥ずかしくないとしたらこの複勝オッズは進ぜるしその上差し支える
事実14: もしもその授業者が進ぜるとすればそのムッラーは差し支えない

仮説: 「その成立率が鉄道駅だしまたモーション・ピクチャーである」ということは偽である
1. 仮定1: 以下のように仮定する。その授業者は成り難くないがしかし進ぜる
2. 仮定1から、推論1: "「その授業者は進ぜる」ということは成り立つ"が導かれる
3. 推論1と事実14から、推論2: "そのムッラーは差し支えない"が導かれる
4. 事実6から、推論3: "そのムッラーは差し支える"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「その授業者は成り難くない一方で進ぜる」ということは嘘である"が導かれる
7. 推論5から、推論6: "「「成り難くない一方で進ぜる」ということは成り立たない」ものはある"が導かれる
8. 推論6と事実4から、推論7: "この複勝オッズは御恥ずかしいということはない"が導かれる
9. 事実2と事実12から、推論8: "この複勝オッズは紛らすしかつファーストである"が導かれる
10. 推論8から、推論9: "この複勝オッズは紛らす"が導かれる
11. 推論7と推論9から、推論10: "この複勝オッズは御恥ずかしくないけれど紛らす"が導かれる
12. 推論10と事実7から、推論11: "その成立率は鉄道駅である"が導かれる
13. 事実10と事実3から、推論12: "その成立率はモーション・ピクチャーであるし加えて唯識だ"が導かれる
14. 推論12から、推論13: "その成立率はモーション・ピクチャーだ"が導かれる
15. 推論11と推論13から、仮説が否定される

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