その停職はユーザーアカウント名だ
fact1: そのログファイルが戒厳令であるならばこの陰嚢内は戒厳令である fact2: もし何らかの物が戒厳令だということはないとすればユーザーアカウント名でない fact3: 日除けは株式持ち合いでないとするとそれは浅ましくない fact4: 「とある物が日除けだしそれは株式持ち合いだ」ということは偽であるとしたら日除けでない fact5: もしそのログファイルが縒り合わせないとするとそれは浅ましくて更に戒厳令だ fact6: そのログファイルは縒り合わせない fact7: 「「歩留まりでないし戒厳令だ」ということは間違っている」物はある fact8: もしも「「歩留まりでなくて戒厳令である」ということは成り立つということはない」ものがあるとしたらその停職は戒厳令でない fact9: 浅ましいということはない物は戒厳令でない fact10: 「「歩留まりでそれに戒厳令だ」ということは誤っている」ものはある fact11: 「戒厳令でない」物があるとしたらその停職は戒厳令でない fact12: 仮に何らかのものが歩留まりで戒厳令であるならその居住地区は御風呂であるということはない fact13: 仮にとある物は歩留まりでないとすると「ユーザーアカウント名である」ということは成り立つ fact14: なにかは歩留まりでないがしかし戒厳令だ fact15: 何らかのものが日除けでないとしたらそれは歩留まりであるしまたユーザーアカウント名である
fact2 -> int1: その停職は戒厳令でないなら「ユーザーアカウント名でない」ということは本当だ; fact7 & fact8 -> int2: その停職は戒厳令でない; int1 & int2 -> hypothesis;
fact2 -> int1: ¬{B}{aa} -> ¬{C}{aa}; fact7 & fact8 -> int2: ¬{B}{aa}; int1 & int2 -> hypothesis;
その居住地区は御風呂であるということはない
fact17 -> int3: 仮にこの陰嚢内が日除けでないとすればそれは歩留まりであるしまたそれはユーザーアカウント名だ; fact20 -> int4: もしも「「この陰嚢内は日除けであるしそれは株式持ち合いだ」ということは事実と異ならない」ということは成り立たないとすれば日除けでない; fact21 & fact16 -> int5: そのログファイルは浅ましいし戒厳令だ; int5 -> int6: そのログファイルは戒厳令だ; fact18 & int6 -> int7: 「この陰嚢内は戒厳令である」ということは真実である;
$facts$ = fact1: そのログファイルが戒厳令であるならばこの陰嚢内は戒厳令である fact2: もし何らかの物が戒厳令だということはないとすればユーザーアカウント名でない fact3: 日除けは株式持ち合いでないとするとそれは浅ましくない fact4: 「とある物が日除けだしそれは株式持ち合いだ」ということは偽であるとしたら日除けでない fact5: もしそのログファイルが縒り合わせないとするとそれは浅ましくて更に戒厳令だ fact6: そのログファイルは縒り合わせない fact7: 「「歩留まりでないし戒厳令だ」ということは間違っている」物はある fact8: もしも「「歩留まりでなくて戒厳令である」ということは成り立つということはない」ものがあるとしたらその停職は戒厳令でない fact9: 浅ましいということはない物は戒厳令でない fact10: 「「歩留まりでそれに戒厳令だ」ということは誤っている」ものはある fact11: 「戒厳令でない」物があるとしたらその停職は戒厳令でない fact12: 仮に何らかのものが歩留まりで戒厳令であるならその居住地区は御風呂であるということはない fact13: 仮にとある物は歩留まりでないとすると「ユーザーアカウント名である」ということは成り立つ fact14: なにかは歩留まりでないがしかし戒厳令だ fact15: 何らかのものが日除けでないとしたらそれは歩留まりであるしまたユーザーアカウント名である ; $hypothesis$ = その停職はユーザーアカウント名だ ; $proof$ = 
fact2 -> int1: その停職は戒厳令でないなら「ユーザーアカウント名でない」ということは本当だ; fact7 & fact8 -> int2: その停職は戒厳令でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: そのログファイルが戒厳令であるならばこの陰嚢内は戒厳令である
事実2: もし何らかの物が戒厳令だということはないとすればユーザーアカウント名でない
事実3: 日除けは株式持ち合いでないとするとそれは浅ましくない
事実4: 「とある物が日除けだしそれは株式持ち合いだ」ということは偽であるとしたら日除けでない
事実5: もしそのログファイルが縒り合わせないとするとそれは浅ましくて更に戒厳令だ
事実6: そのログファイルは縒り合わせない
事実7: 「「歩留まりでないし戒厳令だ」ということは間違っている」物はある
事実8: もしも「「歩留まりでなくて戒厳令である」ということは成り立つということはない」ものがあるとしたらその停職は戒厳令でない
事実9: 浅ましいということはない物は戒厳令でない
事実10: 「「歩留まりでそれに戒厳令だ」ということは誤っている」ものはある
事実11: 「戒厳令でない」物があるとしたらその停職は戒厳令でない
事実12: 仮に何らかのものが歩留まりで戒厳令であるならその居住地区は御風呂であるということはない
事実13: 仮にとある物は歩留まりでないとすると「ユーザーアカウント名である」ということは成り立つ
事実14: なにかは歩留まりでないがしかし戒厳令だ
事実15: 何らかのものが日除けでないとしたらそれは歩留まりであるしまたユーザーアカウント名である

仮説: その停職はユーザーアカウント名だ
1. 事実2から、推論1: "その停職は戒厳令でないなら「ユーザーアカウント名でない」ということは本当だ"が導かれる
2. 事実7と事実8から、推論2: "その停職は戒厳令でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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