この一株以上は人気歌手であるということはない
fact1: もしもその実施頻度がしょぼくないならこの一株以上はしょぼい一方で実行し易くない fact2: その当法廷は人気歌手である fact3: この一株以上は活動し難い fact4: もしもその当法廷がＭ四Ａワンだとしたらこの一株以上はまだるっこしいということはない fact5: その実施頻度はしょぼいが実行し易くないとするとそれは幇助犯だ fact6: 仮にこの一株以上がしょぼくないならばあの実施頻度はしょぼいがしかし実行し易くない fact7: 「その当法廷は幇助犯だ」ということは事実だ fact8: もしもその当法廷がまだるっこしくないとしたらあの雇用保険制度は活動し難いししかもＭ四Ａワンだ fact9: この一株以上は変成しない fact10: その当法廷は実行し易いということはない fact11: 仮に「その実施頻度は幇助犯であるしさらにそれはまだるっこしい」ということは成り立つとすればその当法廷はまだるっこしくない fact12: この一株以上は実行し易い fact13: この下士官候補者は仮処分申請でない fact14: もしその実施頻度が幇助犯であるならこの下士官候補者は仮処分申請だ fact15: もし仮にこの一株以上がまだるっこしいということはないけれど人気歌手であるとするとしょぼいということはない fact16: もしこの一株以上がしょぼくないがしかしそれがまだるっこしいならば幇助犯でない fact17: 仮にその当法廷が活動し難いとするとこの一株以上はまだるっこしくない fact18: その実施頻度は実行し易いか仮処分申請でないか両方である fact19: この勤労者財産形成貯蓄保険契約等はＭ四Ａワンだ fact20: その実施頻度はまだるっこしい fact21: 仮に何らかのものはＭ四Ａワンであるならそれは人気歌手だ fact22: その当法廷はＭ四Ａワンであるかあるいは活動し難いかあるいはどちらもである
fact22 & fact4 & fact17 -> int1: この一株以上はまだるっこしいということはない; void -> assump1: 以下のように仮定する。この一株以上は人気歌手である; int1 & assump1 -> int2: この一株以上はまだるっこしいということはないがしかしそれは人気歌手である; int2 & fact15 -> int3: この一株以上はしょぼくない; int3 & fact6 -> int4: その実施頻度はしょぼいけれど実行し易いということはない; int4 & fact5 -> int5: その実施頻度は幇助犯である; int5 & fact14 -> int6: この下士官候補者は仮処分申請だ; int6 & fact13 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あの雇用保険制度は人気歌手である
fact23 -> int8: 「あの雇用保険制度はＭ四Ａワンだ」ということは成り立つとすればそれは人気歌手である;
$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$ = 
fact22 & fact4 & fact17 -> int1: この一株以上はまだるっこしいということはない; void -> assump1: 以下のように仮定する。この一株以上は人気歌手である; int1 & assump1 -> int2: この一株以上はまだるっこしいということはないがしかしそれは人気歌手である; int2 & fact15 -> int3: この一株以上はしょぼくない; int3 & fact6 -> int4: その実施頻度はしょぼいけれど実行し易いということはない; int4 & fact5 -> int5: その実施頻度は幇助犯である; int5 & fact14 -> int6: この下士官候補者は仮処分申請だ; int6 & fact13 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしもその実施頻度がしょぼくないならこの一株以上はしょぼい一方で実行し易くない
事実2: その当法廷は人気歌手である
事実3: この一株以上は活動し難い
事実4: もしもその当法廷がＭ四Ａワンだとしたらこの一株以上はまだるっこしいということはない
事実5: その実施頻度はしょぼいが実行し易くないとするとそれは幇助犯だ
事実6: 仮にこの一株以上がしょぼくないならばあの実施頻度はしょぼいがしかし実行し易くない
事実7: 「その当法廷は幇助犯だ」ということは事実だ
事実8: もしもその当法廷がまだるっこしくないとしたらあの雇用保険制度は活動し難いししかもＭ四Ａワンだ
事実9: この一株以上は変成しない
事実10: その当法廷は実行し易いということはない
事実11: 仮に「その実施頻度は幇助犯であるしさらにそれはまだるっこしい」ということは成り立つとすればその当法廷はまだるっこしくない
事実12: この一株以上は実行し易い
事実13: この下士官候補者は仮処分申請でない
事実14: もしその実施頻度が幇助犯であるならこの下士官候補者は仮処分申請だ
事実15: もし仮にこの一株以上がまだるっこしいということはないけれど人気歌手であるとするとしょぼいということはない
事実16: もしこの一株以上がしょぼくないがしかしそれがまだるっこしいならば幇助犯でない
事実17: 仮にその当法廷が活動し難いとするとこの一株以上はまだるっこしくない
事実18: その実施頻度は実行し易いか仮処分申請でないか両方である
事実19: この勤労者財産形成貯蓄保険契約等はＭ四Ａワンだ
事実20: その実施頻度はまだるっこしい
事実21: 仮に何らかのものはＭ四Ａワンであるならそれは人気歌手だ
事実22: その当法廷はＭ四Ａワンであるかあるいは活動し難いかあるいはどちらもである

仮説: この一株以上は人気歌手であるということはない
1. 事実22と事実4と事実17から、推論1: "この一株以上はまだるっこしいということはない"が導かれる
2. 仮定1: 以下のように仮定する。この一株以上は人気歌手である
3. 推論1と仮定1から、推論2: "この一株以上はまだるっこしいということはないがしかしそれは人気歌手である"が導かれる
4. 推論2と事実15から、推論3: "この一株以上はしょぼくない"が導かれる
5. 推論3と事実6から、推論4: "その実施頻度はしょぼいけれど実行し易いということはない"が導かれる
6. 推論4と事実5から、推論5: "その実施頻度は幇助犯である"が導かれる
7. 推論5と事実14から、推論6: "この下士官候補者は仮処分申請だ"が導かれる
8. 推論6と事実13から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

よって、仮説が証明されました。