そのパスワード入力欄は大杯でない
fact1: 仮にそのパスワード入力欄が達成し易いとすれば話し辛い fact2: もしなんらかのものが押捺しないかあるいはそれは異性関係であるかまたは両方ともであるならば取得し易い fact3: もしも「このボスは取得し易い」ということは確かだとするとその数ブロックは話し辛い fact4: もしなんらかの物は生まれ始めるということはないけれど職業観だとしたら異性関係である fact5: とある物が生まれ始めるということはないしそれにそれが職業観だということはないならそれは異性関係だ fact6: そのパスワード入力欄は達成し易い fact7: 仮に「なにがしかの物は異性関係でない」ということは正しいなら「職業観でないし生まれ始める」ということは間違いである fact8: 仮にこのボスは生まれ始めるけど職業観だということはないならばそれは異性関係だ fact9: もしもある物が話し辛いとするとそれは銃殺する fact10: 何かは押捺しないならばそれは取得し易い fact11: もしもある物は話し辛いとすると「それは取得し易いということはない」ということは誤っている fact12: もしもある物は生まれ始めるが職業観でないならそれは異性関係である fact13: このボスは押捺するかまたは異性関係であるかあるいは両方だ fact14: もし仮にこのボスが話し辛くないし更にそれは職業観でないとすると銃殺する fact15: このボスが生まれ始めない一方でそれは職業観であるとすればそれは異性関係である fact16: 仮にこのボスが押捺しないならばそれは取得し易い fact17: 「もし仮にその数ブロックが銃殺すればそのパスワード入力欄は大杯である」ということは誤りでない fact18: もしも取得し易い物が押捺しないとしたらそれは異性関係でない fact19: どれもこれもは生まれ始めないしおまけに職業観だということはない
fact19 -> int1: このボスは生まれ始めるということはないしそれに職業観でない; fact5 -> int2: このボスが生まれ始めないしかつそれは職業観でないなら異性関係だ; int1 & int2 -> int3: このボスは異性関係である; int3 -> int4: このボスは押捺するということはないかあるいは異性関係だ; fact2 -> int5: このボスは押捺するということはないかあるいは異性関係であるかもしくは両方だとしたら「それは取得し易い」ということは成り立つ; int4 & int5 -> int6: このボスは取得し易い; int6 & fact3 -> int7: その数ブロックは話し辛い; fact9 -> int8: 「もしもその数ブロックが話し辛いとするとその数ブロックは銃殺する」ということは確かだ; int7 & int8 -> int9: その数ブロックは銃殺する; int9 & fact17 -> hypothesis;
そのパスワード入力欄は大杯であるということはない
fact20 -> int10: もしもそのパスワード入力欄は異性関係だということはないならば「職業観でないし更にそれは生まれ始める」ということは成り立たない; fact23 -> int11: もしそのパスワード入力欄は取得し易いがしかし押捺しないとしたら「それは異性関係でない」ということは真実である; fact22 -> int12: 仮にそのパスワード入力欄が話し辛いとすると取得し易い; fact21 & fact24 -> int13: そのパスワード入力欄は話し辛い; int12 & int13 -> int14: そのパスワード入力欄は取得し易い;
$facts$ = fact1: 仮にそのパスワード入力欄が達成し易いとすれば話し辛い fact2: もしなんらかのものが押捺しないかあるいはそれは異性関係であるかまたは両方ともであるならば取得し易い fact3: もしも「このボスは取得し易い」ということは確かだとするとその数ブロックは話し辛い fact4: もしなんらかの物は生まれ始めるということはないけれど職業観だとしたら異性関係である fact5: とある物が生まれ始めるということはないしそれにそれが職業観だということはないならそれは異性関係だ fact6: そのパスワード入力欄は達成し易い fact7: 仮に「なにがしかの物は異性関係でない」ということは正しいなら「職業観でないし生まれ始める」ということは間違いである fact8: 仮にこのボスは生まれ始めるけど職業観だということはないならばそれは異性関係だ fact9: もしもある物が話し辛いとするとそれは銃殺する fact10: 何かは押捺しないならばそれは取得し易い fact11: もしもある物は話し辛いとすると「それは取得し易いということはない」ということは誤っている fact12: もしもある物は生まれ始めるが職業観でないならそれは異性関係である fact13: このボスは押捺するかまたは異性関係であるかあるいは両方だ fact14: もし仮にこのボスが話し辛くないし更にそれは職業観でないとすると銃殺する fact15: このボスが生まれ始めない一方でそれは職業観であるとすればそれは異性関係である fact16: 仮にこのボスが押捺しないならばそれは取得し易い fact17: 「もし仮にその数ブロックが銃殺すればそのパスワード入力欄は大杯である」ということは誤りでない fact18: もしも取得し易い物が押捺しないとしたらそれは異性関係でない fact19: どれもこれもは生まれ始めないしおまけに職業観だということはない ; $hypothesis$ = そのパスワード入力欄は大杯でない ; $proof$ = 
fact19 -> int1: このボスは生まれ始めるということはないしそれに職業観でない; fact5 -> int2: このボスが生まれ始めないしかつそれは職業観でないなら異性関係だ; int1 & int2 -> int3: このボスは異性関係である; int3 -> int4: このボスは押捺するということはないかあるいは異性関係だ; fact2 -> int5: このボスは押捺するということはないかあるいは異性関係であるかもしくは両方だとしたら「それは取得し易い」ということは成り立つ; int4 & int5 -> int6: このボスは取得し易い; int6 & fact3 -> int7: その数ブロックは話し辛い; fact9 -> int8: 「もしもその数ブロックが話し辛いとするとその数ブロックは銃殺する」ということは確かだ; int7 & int8 -> int9: その数ブロックは銃殺する; int9 & fact17 -> hypothesis; __DISPROVED__
事実1: 仮にそのパスワード入力欄が達成し易いとすれば話し辛い
事実2: もしなんらかのものが押捺しないかあるいはそれは異性関係であるかまたは両方ともであるならば取得し易い
事実3: もしも「このボスは取得し易い」ということは確かだとするとその数ブロックは話し辛い
事実4: もしなんらかの物は生まれ始めるということはないけれど職業観だとしたら異性関係である
事実5: とある物が生まれ始めるということはないしそれにそれが職業観だということはないならそれは異性関係だ
事実6: そのパスワード入力欄は達成し易い
事実7: 仮に「なにがしかの物は異性関係でない」ということは正しいなら「職業観でないし生まれ始める」ということは間違いである
事実8: 仮にこのボスは生まれ始めるけど職業観だということはないならばそれは異性関係だ
事実9: もしもある物が話し辛いとするとそれは銃殺する
事実10: 何かは押捺しないならばそれは取得し易い
事実11: もしもある物は話し辛いとすると「それは取得し易いということはない」ということは誤っている
事実12: もしもある物は生まれ始めるが職業観でないならそれは異性関係である
事実13: このボスは押捺するかまたは異性関係であるかあるいは両方だ
事実14: もし仮にこのボスが話し辛くないし更にそれは職業観でないとすると銃殺する
事実15: このボスが生まれ始めない一方でそれは職業観であるとすればそれは異性関係である
事実16: 仮にこのボスが押捺しないならばそれは取得し易い
事実17: 「もし仮にその数ブロックが銃殺すればそのパスワード入力欄は大杯である」ということは誤りでない
事実18: もしも取得し易い物が押捺しないとしたらそれは異性関係でない
事実19: どれもこれもは生まれ始めないしおまけに職業観だということはない

仮説: そのパスワード入力欄は大杯でない
1. 事実19から、推論1: "このボスは生まれ始めるということはないしそれに職業観でない"が導かれる
2. 事実5から、推論2: "このボスが生まれ始めないしかつそれは職業観でないなら異性関係だ"が導かれる
3. 推論1と推論2から、推論3: "このボスは異性関係である"が導かれる
4. 推論3から、推論4: "このボスは押捺するということはないかあるいは異性関係だ"が導かれる
5. 事実2から、推論5: "このボスは押捺するということはないかあるいは異性関係であるかもしくは両方だとしたら「それは取得し易い」ということは成り立つ"が導かれる
6. 推論4と推論5から、推論6: "このボスは取得し易い"が導かれる
7. 推論6と事実3から、推論7: "その数ブロックは話し辛い"が導かれる
8. 事実9から、推論8: "「もしもその数ブロックが話し辛いとするとその数ブロックは銃殺する」ということは確かだ"が導かれる
9. 推論7と推論8から、推論9: "その数ブロックは銃殺する"が導かれる
10. 推論9と事実17から、仮説が否定される

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