「そのメイン・スクリーンは従う」ということは正しい
fact1: ある物は名残惜しいし共産主義運動である fact2: なにかは稼ぎ出さないとすると「それは邪魔臭いがしかし導出しない」ということは成り立たない fact3: もし仮に何らかの物が名残惜しいしさらに共産主義運動であるならその事業活動は異形である fact4: 仮にその事業活動が協賛しないとすればそれは導出するしまたそれは稼ぎ出す fact5: その事業活動が邪魔臭くないならそのメイン・スクリーンは従わない fact6: 「この会計課員は邪魔臭いけれど導出しない」ということは事実でないとしたら異形でない fact7: 仮にこの会計課員が気安いとしたらそれは協賛しなくてしかも稼ぎ出さない fact8: あの背腹軸は協賛しない fact9: もし仮にその事業活動は異形であるし更に邪魔臭いならば導出しない fact10: なにがしかの物は共産主義運動である fact11: 仮にこの会計課員が異形だということはないとすればその事業活動は名残惜しいが共産主義運動でない fact12: その事業活動は協賛しない fact13: この中国電力は導出する
fact1 & fact3 -> int1: その事業活動は異形だ; void -> assump1: 以下のように仮定する。その事業活動は邪魔臭い; int1 & assump1 -> int2: その事業活動が異形だしまたそれは邪魔臭い; int2 & fact9 -> int3: その事業活動は導出しない; fact4 & fact12 -> int4: その事業活動は導出するし加えて稼ぎ出す; int4 -> int5: その事業活動は導出する; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その事業活動は邪魔臭くない; int7 & fact5 -> hypothesis;
そのメイン・スクリーンは従う
fact17 -> int8: もしもこの会計課員は稼ぎ出さないなら「邪魔臭い一方で導出しない」ということは成り立たない;
$facts$ = fact1: ある物は名残惜しいし共産主義運動である fact2: なにかは稼ぎ出さないとすると「それは邪魔臭いがしかし導出しない」ということは成り立たない fact3: もし仮に何らかの物が名残惜しいしさらに共産主義運動であるならその事業活動は異形である fact4: 仮にその事業活動が協賛しないとすればそれは導出するしまたそれは稼ぎ出す fact5: その事業活動が邪魔臭くないならそのメイン・スクリーンは従わない fact6: 「この会計課員は邪魔臭いけれど導出しない」ということは事実でないとしたら異形でない fact7: 仮にこの会計課員が気安いとしたらそれは協賛しなくてしかも稼ぎ出さない fact8: あの背腹軸は協賛しない fact9: もし仮にその事業活動は異形であるし更に邪魔臭いならば導出しない fact10: なにがしかの物は共産主義運動である fact11: 仮にこの会計課員が異形だということはないとすればその事業活動は名残惜しいが共産主義運動でない fact12: その事業活動は協賛しない fact13: この中国電力は導出する ; $hypothesis$ = 「そのメイン・スクリーンは従う」ということは正しい ; $proof$ = 
fact1 & fact3 -> int1: その事業活動は異形だ; void -> assump1: 以下のように仮定する。その事業活動は邪魔臭い; int1 & assump1 -> int2: その事業活動が異形だしまたそれは邪魔臭い; int2 & fact9 -> int3: その事業活動は導出しない; fact4 & fact12 -> int4: その事業活動は導出するし加えて稼ぎ出す; int4 -> int5: その事業活動は導出する; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その事業活動は邪魔臭くない; int7 & fact5 -> hypothesis; __DISPROVED__
事実1: ある物は名残惜しいし共産主義運動である
事実2: なにかは稼ぎ出さないとすると「それは邪魔臭いがしかし導出しない」ということは成り立たない
事実3: もし仮に何らかの物が名残惜しいしさらに共産主義運動であるならその事業活動は異形である
事実4: 仮にその事業活動が協賛しないとすればそれは導出するしまたそれは稼ぎ出す
事実5: その事業活動が邪魔臭くないならそのメイン・スクリーンは従わない
事実6: 「この会計課員は邪魔臭いけれど導出しない」ということは事実でないとしたら異形でない
事実7: 仮にこの会計課員が気安いとしたらそれは協賛しなくてしかも稼ぎ出さない
事実8: あの背腹軸は協賛しない
事実9: もし仮にその事業活動は異形であるし更に邪魔臭いならば導出しない
事実10: なにがしかの物は共産主義運動である
事実11: 仮にこの会計課員が異形だということはないとすればその事業活動は名残惜しいが共産主義運動でない
事実12: その事業活動は協賛しない
事実13: この中国電力は導出する

仮説: 「そのメイン・スクリーンは従う」ということは正しい
1. 事実1と事実3から、推論1: "その事業活動は異形だ"が導かれる
2. 仮定1: 以下のように仮定する。その事業活動は邪魔臭い
3. 推論1と仮定1から、推論2: "その事業活動が異形だしまたそれは邪魔臭い"が導かれる
4. 推論2と事実9から、推論3: "その事業活動は導出しない"が導かれる
5. 事実4と事実12から、推論4: "その事業活動は導出するし加えて稼ぎ出す"が導かれる
6. 推論4から、推論5: "その事業活動は導出する"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その事業活動は邪魔臭くない"が導かれる
9. 推論7と事実5から、仮説が否定される

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