その二番機は五千円相当でない
fact1: もし仮に「あの町組は五千円相当だ」ということは正しいとしたら折れ易い fact2: すべては御悪くない fact3: もしもなんらかの物が痛み出すとしたらそれは五千円相当である fact4: もし仮になにがしかの物がローコードだとすればそれは産出水準である fact5: 全てのものは少なくないし広がり難いということはない fact6: もし掻き易くないものがじいんとしないとすると痛み出す fact7: 「もし「そのステータスは痛み出すということはない」ということは正しいなら「その国際銀行家はじいんとするがしかし掻き易くない」ということは誤りだ」ということは真実である fact8: 仮にあの連載記事が痛み出さない一方でそれが握り返すとしたら鬱積する fact9: 「全てのものは掻き易いということはないしまたじいんとしない」ということは真実だ
fact9 -> int1: その二番機は掻き易くないしじいんとしない; fact6 -> int2: 仮にその二番機は掻き易くないしまたじいんとしないならそれは痛み出す; int1 & int2 -> int3: 「その二番機は痛み出す」ということは成り立つ; fact3 -> int4: もし「その二番機は痛み出さない」ということは偽であるとすると五千円相当である; int3 & int4 -> hypothesis;
「その二番機は五千円相当でない」ということは成り立つ
$facts$ = fact1: もし仮に「あの町組は五千円相当だ」ということは正しいとしたら折れ易い fact2: すべては御悪くない fact3: もしもなんらかの物が痛み出すとしたらそれは五千円相当である fact4: もし仮になにがしかの物がローコードだとすればそれは産出水準である fact5: 全てのものは少なくないし広がり難いということはない fact6: もし掻き易くないものがじいんとしないとすると痛み出す fact7: 「もし「そのステータスは痛み出すということはない」ということは正しいなら「その国際銀行家はじいんとするがしかし掻き易くない」ということは誤りだ」ということは真実である fact8: 仮にあの連載記事が痛み出さない一方でそれが握り返すとしたら鬱積する fact9: 「全てのものは掻き易いということはないしまたじいんとしない」ということは真実だ ; $hypothesis$ = その二番機は五千円相当でない ; $proof$ = 
fact9 -> int1: その二番機は掻き易くないしじいんとしない; fact6 -> int2: 仮にその二番機は掻き易くないしまたじいんとしないならそれは痛み出す; int1 & int2 -> int3: 「その二番機は痛み出す」ということは成り立つ; fact3 -> int4: もし「その二番機は痛み出さない」ということは偽であるとすると五千円相当である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの町組は五千円相当だ」ということは正しいとしたら折れ易い
事実2: すべては御悪くない
事実3: もしもなんらかの物が痛み出すとしたらそれは五千円相当である
事実4: もし仮になにがしかの物がローコードだとすればそれは産出水準である
事実5: 全てのものは少なくないし広がり難いということはない
事実6: もし掻き易くないものがじいんとしないとすると痛み出す
事実7: 「もし「そのステータスは痛み出すということはない」ということは正しいなら「その国際銀行家はじいんとするがしかし掻き易くない」ということは誤りだ」ということは真実である
事実8: 仮にあの連載記事が痛み出さない一方でそれが握り返すとしたら鬱積する
事実9: 「全てのものは掻き易いということはないしまたじいんとしない」ということは真実だ

仮説: その二番機は五千円相当でない
1. 事実9から、推論1: "その二番機は掻き易くないしじいんとしない"が導かれる
2. 事実6から、推論2: "仮にその二番機は掻き易くないしまたじいんとしないならそれは痛み出す"が導かれる
3. 推論1と推論2から、推論3: "「その二番機は痛み出す」ということは成り立つ"が導かれる
4. 事実3から、推論4: "もし「その二番機は痛み出さない」ということは偽であるとすると五千円相当である"が導かれる
5. 推論3と推論4から、仮説が否定される

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