その面上は掛かり難くない
fact1: その面上はえげつない fact2: もしもある物が嘯くけどレベルアップしないとすれば汚らしくない fact3: 「何かは嘯くし加えてレベルアップする」ということは成り立てば汚らしくない fact4: もし何らかの物はレベルアップするとしたら「あのエントランスは涙ぐましい」ということは本当である fact5: 仮にあのエントランスが嘯かないとすればあの日本生まれは嘯く fact6: このクラスは汚らしいしさらに吸収し易い fact7: あのエントランスはオーストラリア原住民だがそれは釣り客でない fact8: 「「汚らしいししかも吸収し易くない」ということは誤りな」ものはある fact9: このクラスは吸収し易い fact10: もし仮に「汚らしくない」物があるとすればあのクラスは掛かり難い fact11: あのエントランスは掛かり難くない fact12: 「このクラスは嘯くしおまけにレベルアップする」ということは成り立たない fact13: もし仮にあのエントランスが涙ぐましいとすればあの面上は掛かり難い fact14: もし「「嘯くがしかしレベルアップするということはない」ということは間違いな」ものはあるとしたら「あのエントランスは涙ぐましい」ということは確かである fact15: 「このクラスは暮らし易い一方で燃え立たない」ということは成り立たない
fact2 -> int1: もしこのクラスが嘯く一方でそれがレベルアップしないとするとそれは汚らしくない; void -> assump1: 以下のように仮定する。このクラスは嘯くけれどレベルアップしない; int1 & assump1 -> int2: このクラスは汚らしくない; fact6 -> int3: このクラスは汚らしい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「このクラスは嘯くがレベルアップしない」ということは誤っている; int5 -> int6: 「「嘯くしさらにレベルアップするということはない」ということは成り立たない」ものはある; int6 & fact14 -> int7: あのエントランスは涙ぐましい; int7 & fact13 -> hypothesis;
その日本生まれは嘯く
$facts$ = fact1: その面上はえげつない fact2: もしもある物が嘯くけどレベルアップしないとすれば汚らしくない fact3: 「何かは嘯くし加えてレベルアップする」ということは成り立てば汚らしくない fact4: もし何らかの物はレベルアップするとしたら「あのエントランスは涙ぐましい」ということは本当である fact5: 仮にあのエントランスが嘯かないとすればあの日本生まれは嘯く fact6: このクラスは汚らしいしさらに吸収し易い fact7: あのエントランスはオーストラリア原住民だがそれは釣り客でない fact8: 「「汚らしいししかも吸収し易くない」ということは誤りな」ものはある fact9: このクラスは吸収し易い fact10: もし仮に「汚らしくない」物があるとすればあのクラスは掛かり難い fact11: あのエントランスは掛かり難くない fact12: 「このクラスは嘯くしおまけにレベルアップする」ということは成り立たない fact13: もし仮にあのエントランスが涙ぐましいとすればあの面上は掛かり難い fact14: もし「「嘯くがしかしレベルアップするということはない」ということは間違いな」ものはあるとしたら「あのエントランスは涙ぐましい」ということは確かである fact15: 「このクラスは暮らし易い一方で燃え立たない」ということは成り立たない ; $hypothesis$ = その面上は掛かり難くない ; $proof$ = 
fact2 -> int1: もしこのクラスが嘯く一方でそれがレベルアップしないとするとそれは汚らしくない; void -> assump1: 以下のように仮定する。このクラスは嘯くけれどレベルアップしない; int1 & assump1 -> int2: このクラスは汚らしくない; fact6 -> int3: このクラスは汚らしい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「このクラスは嘯くがレベルアップしない」ということは誤っている; int5 -> int6: 「「嘯くしさらにレベルアップするということはない」ということは成り立たない」ものはある; int6 & fact14 -> int7: あのエントランスは涙ぐましい; int7 & fact13 -> hypothesis; __DISPROVED__
事実1: その面上はえげつない
事実2: もしもある物が嘯くけどレベルアップしないとすれば汚らしくない
事実3: 「何かは嘯くし加えてレベルアップする」ということは成り立てば汚らしくない
事実4: もし何らかの物はレベルアップするとしたら「あのエントランスは涙ぐましい」ということは本当である
事実5: 仮にあのエントランスが嘯かないとすればあの日本生まれは嘯く
事実6: このクラスは汚らしいしさらに吸収し易い
事実7: あのエントランスはオーストラリア原住民だがそれは釣り客でない
事実8: 「「汚らしいししかも吸収し易くない」ということは誤りな」ものはある
事実9: このクラスは吸収し易い
事実10: もし仮に「汚らしくない」物があるとすればあのクラスは掛かり難い
事実11: あのエントランスは掛かり難くない
事実12: 「このクラスは嘯くしおまけにレベルアップする」ということは成り立たない
事実13: もし仮にあのエントランスが涙ぐましいとすればあの面上は掛かり難い
事実14: もし「「嘯くがしかしレベルアップするということはない」ということは間違いな」ものはあるとしたら「あのエントランスは涙ぐましい」ということは確かである
事実15: 「このクラスは暮らし易い一方で燃え立たない」ということは成り立たない

仮説: その面上は掛かり難くない
1. 事実2から、推論1: "もしこのクラスが嘯く一方でそれがレベルアップしないとするとそれは汚らしくない"が導かれる
2. 仮定1: 以下のように仮定する。このクラスは嘯くけれどレベルアップしない
3. 推論1と仮定1から、推論2: "このクラスは汚らしくない"が導かれる
4. 事実6から、推論3: "このクラスは汚らしい"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「このクラスは嘯くがレベルアップしない」ということは誤っている"が導かれる
7. 推論5から、推論6: "「「嘯くしさらにレベルアップするということはない」ということは成り立たない」ものはある"が導かれる
8. 推論6と事実14から、推論7: "あのエントランスは涙ぐましい"が導かれる
9. 推論7と事実13から、仮説が否定される

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