「「あの自転車競技は暑いししかも図太い」ということは成り立たない」ということは嘘でない
fact1: もしもあの金銭貸借が仄暗いということはないとするとこのビーンはＡＸ間であるし加えてシェイクする fact2: あるものは戸籍謄本調査でない fact3: 「そのハンドルバーはたどたどしいしまた図太い」ということは間違いだ fact4: 仮になにかは戸籍謄本調査でないがしかし注連縄だとするとあの自転車競技は暑い fact5: そのルーチンはエストロゲンレセプターであるがそれは使い切らない fact6: 図太くない物は暑いかあるいは監視し易い fact7: もし仮に暑くない物は図太いならば「あの自転車競技はたどたどしい」ということは確かだ fact8: あの会社帰りは戸籍謄本調査だということはない一方で注連縄である fact9: 「戸籍謄本調査であるし更に注連縄な」ものはある fact10: あの会社帰りは注連縄である fact11: もしもＡＸ間があればその基本形態はたどたどしい戸籍謄本調査である fact12: もしも「そのハンドルバーはたどたどしい一方で図太くない」ということは誤りならあの自転車競技は図太い fact13: そのハンドルバーはＡＸ間でない fact14: もし仮にそのハンドルバーが戸籍謄本調査であるとしたらあの自転車競技は合併し易くない fact15: もし仮にそのハンドルバーはＡＸ間だということはないなら「それはたどたどしくて加えてそれは図太い」ということは成り立たない fact16: 「注連縄な」物はある fact17: もしもその基本形態が戸籍謄本調査であるかあるいは注連縄でないか両方であるとすればそのハンドルバーは戸籍謄本調査である fact18: 「そのハンドルバーは図太い」ということは成り立つならあの自転車競技は図太い fact19: もしもあの若手中堅が暑いとするとあの自転車競技は監視し易い fact20: そのハンドルバーはＡＸ間でないならば「たどたどしい一方で図太くない」ということは成り立たない fact21: あの金銭貸借は仄暗くない fact22: もしも「そのルーチンはエストロゲンレセプターである一方で使い切らない」ということは事実であるとするとあの若手中堅は図太くない
fact8 -> int1: 「戸籍謄本調査でなくてまた注連縄である」物はある; int1 & fact4 -> int2: あの自転車競技は暑い; fact13 & fact20 -> int3: 「そのハンドルバーはたどたどしいが図太くない」ということは偽だ; fact12 & int3 -> int4: あの自転車競技は図太い; int2 & int4 -> hypothesis;
fact8 -> int1: (Ex): (¬{A}x & {B}x); int1 & fact4 -> int2: {C}{a}; fact13 & fact20 -> int3: ¬({E}{b} & ¬{D}{b}); fact12 & int3 -> int4: {D}{a}; int2 & int4 -> hypothesis;
なにがしかの物は合併し易いということはない一方でそれは監視し易い
fact28 & fact27 -> int5: このビーンはＡＸ間であるしシェイクする; int5 -> int6: このビーンはＡＸ間である; int6 -> int7: 「ＡＸ間な」ものはある; int7 & fact30 -> int8: その基本形態はたどたどしいしかつ戸籍謄本調査だ; int8 -> int9: その基本形態は戸籍謄本調査である; int9 -> int10: その基本形態は戸籍謄本調査であるか注連縄でないか両方ともである; fact25 & int10 -> int11: そのハンドルバーは戸籍謄本調査だ; fact31 & int11 -> int12: あの自転車競技は合併し易くない; fact26 -> int13: もし「あの若手中堅は図太くない」ということは本当だとすれば暑いかまたはそれは監視し易いかもしくは両方ともだ; fact24 & fact23 -> int14: 「あの若手中堅は図太くない」ということは確かだ; int13 & int14 -> int15: あの若手中堅は暑いかそれは監視し易いかあるいはどちらもである;
$facts$ = fact1: もしもあの金銭貸借が仄暗いということはないとするとこのビーンはＡＸ間であるし加えてシェイクする fact2: あるものは戸籍謄本調査でない fact3: 「そのハンドルバーはたどたどしいしまた図太い」ということは間違いだ fact4: 仮になにかは戸籍謄本調査でないがしかし注連縄だとするとあの自転車競技は暑い fact5: そのルーチンはエストロゲンレセプターであるがそれは使い切らない fact6: 図太くない物は暑いかあるいは監視し易い fact7: もし仮に暑くない物は図太いならば「あの自転車競技はたどたどしい」ということは確かだ fact8: あの会社帰りは戸籍謄本調査だということはない一方で注連縄である fact9: 「戸籍謄本調査であるし更に注連縄な」ものはある fact10: あの会社帰りは注連縄である fact11: もしもＡＸ間があればその基本形態はたどたどしい戸籍謄本調査である fact12: もしも「そのハンドルバーはたどたどしい一方で図太くない」ということは誤りならあの自転車競技は図太い fact13: そのハンドルバーはＡＸ間でない fact14: もし仮にそのハンドルバーが戸籍謄本調査であるとしたらあの自転車競技は合併し易くない fact15: もし仮にそのハンドルバーはＡＸ間だということはないなら「それはたどたどしくて加えてそれは図太い」ということは成り立たない fact16: 「注連縄な」物はある fact17: もしもその基本形態が戸籍謄本調査であるかあるいは注連縄でないか両方であるとすればそのハンドルバーは戸籍謄本調査である fact18: 「そのハンドルバーは図太い」ということは成り立つならあの自転車競技は図太い fact19: もしもあの若手中堅が暑いとするとあの自転車競技は監視し易い fact20: そのハンドルバーはＡＸ間でないならば「たどたどしい一方で図太くない」ということは成り立たない fact21: あの金銭貸借は仄暗くない fact22: もしも「そのルーチンはエストロゲンレセプターである一方で使い切らない」ということは事実であるとするとあの若手中堅は図太くない ; $hypothesis$ = 「「あの自転車競技は暑いししかも図太い」ということは成り立たない」ということは嘘でない ; $proof$ = 
fact8 -> int1: 「戸籍謄本調査でなくてまた注連縄である」物はある; int1 & fact4 -> int2: あの自転車競技は暑い; fact13 & fact20 -> int3: 「そのハンドルバーはたどたどしいが図太くない」ということは偽だ; fact12 & int3 -> int4: あの自転車競技は図太い; int2 & int4 -> hypothesis; __DISPROVED__
事実1: もしもあの金銭貸借が仄暗いということはないとするとこのビーンはＡＸ間であるし加えてシェイクする
事実2: あるものは戸籍謄本調査でない
事実3: 「そのハンドルバーはたどたどしいしまた図太い」ということは間違いだ
事実4: 仮になにかは戸籍謄本調査でないがしかし注連縄だとするとあの自転車競技は暑い
事実5: そのルーチンはエストロゲンレセプターであるがそれは使い切らない
事実6: 図太くない物は暑いかあるいは監視し易い
事実7: もし仮に暑くない物は図太いならば「あの自転車競技はたどたどしい」ということは確かだ
事実8: あの会社帰りは戸籍謄本調査だということはない一方で注連縄である
事実9: 「戸籍謄本調査であるし更に注連縄な」ものはある
事実10: あの会社帰りは注連縄である
事実11: もしもＡＸ間があればその基本形態はたどたどしい戸籍謄本調査である
事実12: もしも「そのハンドルバーはたどたどしい一方で図太くない」ということは誤りならあの自転車競技は図太い
事実13: そのハンドルバーはＡＸ間でない
事実14: もし仮にそのハンドルバーが戸籍謄本調査であるとしたらあの自転車競技は合併し易くない
事実15: もし仮にそのハンドルバーはＡＸ間だということはないなら「それはたどたどしくて加えてそれは図太い」ということは成り立たない
事実16: 「注連縄な」物はある
事実17: もしもその基本形態が戸籍謄本調査であるかあるいは注連縄でないか両方であるとすればそのハンドルバーは戸籍謄本調査である
事実18: 「そのハンドルバーは図太い」ということは成り立つならあの自転車競技は図太い
事実19: もしもあの若手中堅が暑いとするとあの自転車競技は監視し易い
事実20: そのハンドルバーはＡＸ間でないならば「たどたどしい一方で図太くない」ということは成り立たない
事実21: あの金銭貸借は仄暗くない
事実22: もしも「そのルーチンはエストロゲンレセプターである一方で使い切らない」ということは事実であるとするとあの若手中堅は図太くない

仮説: 「「あの自転車競技は暑いししかも図太い」ということは成り立たない」ということは嘘でない
1. 事実8から、推論1: "「戸籍謄本調査でなくてまた注連縄である」物はある"が導かれる
2. 推論1と事実4から、推論2: "あの自転車競技は暑い"が導かれる
3. 事実13と事実20から、推論3: "「そのハンドルバーはたどたどしいが図太くない」ということは偽だ"が導かれる
4. 事実12と推論3から、推論4: "あの自転車競技は図太い"が導かれる
5. 推論2と推論4から、仮説が否定される

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