その未償却残高は御知らせ致さない
fact1: もし「この右袖は操作するということはない」ということは事実であるとすると作詞するしまたそれはぼろい fact2: 「この右袖は幻視するということはないし分かり難くない」ということは偽ならそれは操作しない fact3: あるものが作詞するしまたそれは選定するなら「御知らせ致さない」ということは成り立つ fact4: 仮にとある物が選定するとすればその未償却残高はぼろいし更に御知らせ致す fact5: あの腑甲斐無さは作詞するし更に選定する
fact5 -> int1: 「あの腑甲斐無さは選定する」ということは事実だ; int1 -> int2: なんらかのものは選定する; int2 & fact4 -> int3: その未償却残高はぼろくて更にそれは御知らせ致す; int3 -> hypothesis;
その未償却残高は御知らせ致さない
fact6 -> int4: もしその未償却残高は作詞するし選定するとしたら御知らせ致さない;
$facts$ = fact1: もし「この右袖は操作するということはない」ということは事実であるとすると作詞するしまたそれはぼろい fact2: 「この右袖は幻視するということはないし分かり難くない」ということは偽ならそれは操作しない fact3: あるものが作詞するしまたそれは選定するなら「御知らせ致さない」ということは成り立つ fact4: 仮にとある物が選定するとすればその未償却残高はぼろいし更に御知らせ致す fact5: あの腑甲斐無さは作詞するし更に選定する ; $hypothesis$ = その未償却残高は御知らせ致さない ; $proof$ = 
fact5 -> int1: 「あの腑甲斐無さは選定する」ということは事実だ; int1 -> int2: なんらかのものは選定する; int2 & fact4 -> int3: その未償却残高はぼろくて更にそれは御知らせ致す; int3 -> hypothesis; __DISPROVED__
事実1: もし「この右袖は操作するということはない」ということは事実であるとすると作詞するしまたそれはぼろい
事実2: 「この右袖は幻視するということはないし分かり難くない」ということは偽ならそれは操作しない
事実3: あるものが作詞するしまたそれは選定するなら「御知らせ致さない」ということは成り立つ
事実4: 仮にとある物が選定するとすればその未償却残高はぼろいし更に御知らせ致す
事実5: あの腑甲斐無さは作詞するし更に選定する

仮説: その未償却残高は御知らせ致さない
1. 事実5から、推論1: "「あの腑甲斐無さは選定する」ということは事実だ"が導かれる
2. 推論1から、推論2: "なんらかのものは選定する"が導かれる
3. 推論2と事実4から、推論3: "その未償却残高はぼろくて更にそれは御知らせ致す"が導かれる
4. 推論3から、仮説が否定される

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