この警察官は受け皿である
fact1: 仮に「とあるものは扁桃体であるけど罪深くない」ということは事実と異なるとすれば罪深い fact2: 仮にそのパッケージソフトウェアが悩み苦しむしかつグラフＧであるならばあの警察官は悩み苦しまない fact3: 仮に「なにかは薄明るい」ということは確かならばグラフＧだ fact4: もしもこの警察官は受け皿であるとしたら「そのパッケージソフトウェアは行き難い一方で上げ易くない」ということは本当でない fact5: あの大隊本部は整理保管する fact6: もしあのパージター家がグラフＧであるとするとそのパッケージソフトウェアはグラフＧである fact7: そのフィナンシャルプランナーは皮疹であるということはないとすればごつくて更に救い難い fact8: もしも「この警察官は上げ易い」ということは成り立つとすれば「そのパッケージソフトウェアは行き難くて更に受け皿だ」ということは成り立たない fact9: もしこの警察官は受け皿なら「そのパッケージソフトウェアは行き難いしかつ上げ易い」ということは間違いだ fact10: もし仮にそのフィナンシャルプランナーは苦しないとすれば「その産業上は扁桃体である一方で罪深いということはない」ということは真実でない fact11: 「そのパッケージソフトウェアは上げ易くない」ということは成り立つ fact12: 「なにがしかのものはごつい」ということは確かだとしたら「世知辛くないが鉄筋コンクリート作りだ」ということは成り立たない fact13: もしその産業上が罪深いならばあのパージター家は薄明るい fact14: もし「そのフィナンシャルプランナーは世知辛くないけど鉄筋コンクリート作りだ」ということは偽だとするとそれは苦しない fact15: もしあの大隊本部が整理保管するとすればそのパッケージソフトウェアは悩み苦しむ fact16: そのパッケージソフトウェアは行き難いとすると「この警察官は受け皿だけれど上げ易いということはない」ということは成り立つということはない fact17: もし何かは悩み苦しまないとしたら受け皿であるし加えてそれはＯＢ臭い fact18: そのパッケージソフトウェアは行き難いがしかし上げ易いということはない
void -> assump1: 以下のように仮定する。「この警察官は受け皿である」ということは本当である; fact4 & assump1 -> int1: 「そのパッケージソフトウェアは行き難い一方で上げ易くない」ということは成り立たない; int1 & fact18 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact18 -> int2: #F#; [assump1] & int2 -> hypothesis;
この警察官は受け皿だ
fact29 -> int3: もしこの警察官が悩み苦しむということはないとすればそれは受け皿であるしその上ｏＢ臭い; fact21 & fact22 -> int4: そのパッケージソフトウェアは悩み苦しむ; fact24 -> int5: あのパージター家は薄明るいとすれば「グラフＧである」ということは事実である; fact26 -> int6: 「その産業上は扁桃体である一方で罪深くない」ということは成り立たないならばそれは罪深い; fact30 -> int7: もしそのフィナンシャルプランナーはごついなら「世知辛いということはないしそれは鉄筋コンクリート作りである」ということは成り立たない;
$facts$ = fact1: 仮に「とあるものは扁桃体であるけど罪深くない」ということは事実と異なるとすれば罪深い fact2: 仮にそのパッケージソフトウェアが悩み苦しむしかつグラフＧであるならばあの警察官は悩み苦しまない fact3: 仮に「なにかは薄明るい」ということは確かならばグラフＧだ fact4: もしもこの警察官は受け皿であるとしたら「そのパッケージソフトウェアは行き難い一方で上げ易くない」ということは本当でない fact5: あの大隊本部は整理保管する fact6: もしあのパージター家がグラフＧであるとするとそのパッケージソフトウェアはグラフＧである fact7: そのフィナンシャルプランナーは皮疹であるということはないとすればごつくて更に救い難い fact8: もしも「この警察官は上げ易い」ということは成り立つとすれば「そのパッケージソフトウェアは行き難くて更に受け皿だ」ということは成り立たない fact9: もしこの警察官は受け皿なら「そのパッケージソフトウェアは行き難いしかつ上げ易い」ということは間違いだ fact10: もし仮にそのフィナンシャルプランナーは苦しないとすれば「その産業上は扁桃体である一方で罪深いということはない」ということは真実でない fact11: 「そのパッケージソフトウェアは上げ易くない」ということは成り立つ fact12: 「なにがしかのものはごつい」ということは確かだとしたら「世知辛くないが鉄筋コンクリート作りだ」ということは成り立たない fact13: もしその産業上が罪深いならばあのパージター家は薄明るい fact14: もし「そのフィナンシャルプランナーは世知辛くないけど鉄筋コンクリート作りだ」ということは偽だとするとそれは苦しない fact15: もしあの大隊本部が整理保管するとすればそのパッケージソフトウェアは悩み苦しむ fact16: そのパッケージソフトウェアは行き難いとすると「この警察官は受け皿だけれど上げ易いということはない」ということは成り立つということはない fact17: もし何かは悩み苦しまないとしたら受け皿であるし加えてそれはＯＢ臭い fact18: そのパッケージソフトウェアは行き難いがしかし上げ易いということはない ; $hypothesis$ = この警察官は受け皿である ; $proof$ = 
void -> assump1: 以下のように仮定する。「この警察官は受け皿である」ということは本当である; fact4 & assump1 -> int1: 「そのパッケージソフトウェアは行き難い一方で上げ易くない」ということは成り立たない; int1 & fact18 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: 仮に「とあるものは扁桃体であるけど罪深くない」ということは事実と異なるとすれば罪深い
事実2: 仮にそのパッケージソフトウェアが悩み苦しむしかつグラフＧであるならばあの警察官は悩み苦しまない
事実3: 仮に「なにかは薄明るい」ということは確かならばグラフＧだ
事実4: もしもこの警察官は受け皿であるとしたら「そのパッケージソフトウェアは行き難い一方で上げ易くない」ということは本当でない
事実5: あの大隊本部は整理保管する
事実6: もしあのパージター家がグラフＧであるとするとそのパッケージソフトウェアはグラフＧである
事実7: そのフィナンシャルプランナーは皮疹であるということはないとすればごつくて更に救い難い
事実8: もしも「この警察官は上げ易い」ということは成り立つとすれば「そのパッケージソフトウェアは行き難くて更に受け皿だ」ということは成り立たない
事実9: もしこの警察官は受け皿なら「そのパッケージソフトウェアは行き難いしかつ上げ易い」ということは間違いだ
事実10: もし仮にそのフィナンシャルプランナーは苦しないとすれば「その産業上は扁桃体である一方で罪深いということはない」ということは真実でない
事実11: 「そのパッケージソフトウェアは上げ易くない」ということは成り立つ
事実12: 「なにがしかのものはごつい」ということは確かだとしたら「世知辛くないが鉄筋コンクリート作りだ」ということは成り立たない
事実13: もしその産業上が罪深いならばあのパージター家は薄明るい
事実14: もし「そのフィナンシャルプランナーは世知辛くないけど鉄筋コンクリート作りだ」ということは偽だとするとそれは苦しない
事実15: もしあの大隊本部が整理保管するとすればそのパッケージソフトウェアは悩み苦しむ
事実16: そのパッケージソフトウェアは行き難いとすると「この警察官は受け皿だけれど上げ易いということはない」ということは成り立つということはない
事実17: もし何かは悩み苦しまないとしたら受け皿であるし加えてそれはＯＢ臭い
事実18: そのパッケージソフトウェアは行き難いがしかし上げ易いということはない

仮説: この警察官は受け皿である
1. 仮定1: 以下のように仮定する。「この警察官は受け皿である」ということは本当である
2. 事実4と仮定1から、推論1: "「そのパッケージソフトウェアは行き難い一方で上げ易くない」ということは成り立たない"が導かれる
3. 推論1と事実18から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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