この巳年はフェードアウトしない
fact1: 転職しないしさらにきょろきょろしないというものはない fact2: この巳年は解離する fact3: もしこの巳年は解離するとしたら「それが五十八フレーム目だしさらにねちっこい」ということは誤りだ fact4: 「この巳年は不足し易い」ということは成り立つ fact5: なにかはフェードアウトするしさらに不足し易いとすればそれはねちっこくない fact6: 仮にあの下刻がねちっこいしおまけに変更すとすると圧排するということはない fact7: 仮にこの巳年は解離するとすると「それは五十八フレーム目だ一方でねちっこくない」ということは間違っている fact8: もし仮に何らかの物はフェードアウトするなら「業務負担だ一方できょろきょろしない」ということは成り立つということはない fact9: もし仮に何らかの物が解離しないならあの六日後は五十八フレーム目でない fact10: 「この巳年は五十八フレーム目だしねちっこい」ということは誤っている fact11: この巳年はリニューアルするし更にそれは都市再開発である fact12: 「なんらかのものは五十八フレーム目だ一方でそれはねちっこくない」ということは事実と異なるとするとねちっこい fact13: もし「あのオーケストラは転職しないしかつきょろきょろしない」ということは成り立たないなら解離しない
void -> assump1: 以下のように仮定する。この巳年はフェードアウトする; assump1 & fact4 -> int1: この巳年はフェードアウトするしおまけに不足し易い; fact5 -> int2: 仮にこの巳年はフェードアウトするし加えて不足し易いとすると「それはねちっこくない」ということは確かだ; int1 & int2 -> int3: この巳年はねちっこいということはない; fact12 -> int4: もしも「この巳年は五十八フレーム目だけどそれはねちっこくない」ということは嘘であるならばねちっこい; fact7 & fact2 -> int5: 「この巳年は五十八フレーム目だけどそれはねちっこくない」ということは成り立つということはない; int4 & int5 -> int6: この巳年はねちっこい; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
この巳年はフェードアウトする
fact14 -> int8: 「あのオーケストラは転職しなくてきょろきょろしない」ということは誤りだ; fact16 & int8 -> int9: 「あのオーケストラは解離しない」ということは正しい; int9 -> int10: なんらかの物は解離しない; int10 & fact15 -> int11: あの六日後は五十八フレーム目でない;
$facts$ = fact1: 転職しないしさらにきょろきょろしないというものはない fact2: この巳年は解離する fact3: もしこの巳年は解離するとしたら「それが五十八フレーム目だしさらにねちっこい」ということは誤りだ fact4: 「この巳年は不足し易い」ということは成り立つ fact5: なにかはフェードアウトするしさらに不足し易いとすればそれはねちっこくない fact6: 仮にあの下刻がねちっこいしおまけに変更すとすると圧排するということはない fact7: 仮にこの巳年は解離するとすると「それは五十八フレーム目だ一方でねちっこくない」ということは間違っている fact8: もし仮に何らかの物はフェードアウトするなら「業務負担だ一方できょろきょろしない」ということは成り立つということはない fact9: もし仮に何らかの物が解離しないならあの六日後は五十八フレーム目でない fact10: 「この巳年は五十八フレーム目だしねちっこい」ということは誤っている fact11: この巳年はリニューアルするし更にそれは都市再開発である fact12: 「なんらかのものは五十八フレーム目だ一方でそれはねちっこくない」ということは事実と異なるとするとねちっこい fact13: もし「あのオーケストラは転職しないしかつきょろきょろしない」ということは成り立たないなら解離しない ; $hypothesis$ = この巳年はフェードアウトしない ; $proof$ = 
void -> assump1: 以下のように仮定する。この巳年はフェードアウトする; assump1 & fact4 -> int1: この巳年はフェードアウトするしおまけに不足し易い; fact5 -> int2: 仮にこの巳年はフェードアウトするし加えて不足し易いとすると「それはねちっこくない」ということは確かだ; int1 & int2 -> int3: この巳年はねちっこいということはない; fact12 -> int4: もしも「この巳年は五十八フレーム目だけどそれはねちっこくない」ということは嘘であるならばねちっこい; fact7 & fact2 -> int5: 「この巳年は五十八フレーム目だけどそれはねちっこくない」ということは成り立つということはない; int4 & int5 -> int6: この巳年はねちっこい; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 転職しないしさらにきょろきょろしないというものはない
事実2: この巳年は解離する
事実3: もしこの巳年は解離するとしたら「それが五十八フレーム目だしさらにねちっこい」ということは誤りだ
事実4: 「この巳年は不足し易い」ということは成り立つ
事実5: なにかはフェードアウトするしさらに不足し易いとすればそれはねちっこくない
事実6: 仮にあの下刻がねちっこいしおまけに変更すとすると圧排するということはない
事実7: 仮にこの巳年は解離するとすると「それは五十八フレーム目だ一方でねちっこくない」ということは間違っている
事実8: もし仮に何らかの物はフェードアウトするなら「業務負担だ一方できょろきょろしない」ということは成り立つということはない
事実9: もし仮に何らかの物が解離しないならあの六日後は五十八フレーム目でない
事実10: 「この巳年は五十八フレーム目だしねちっこい」ということは誤っている
事実11: この巳年はリニューアルするし更にそれは都市再開発である
事実12: 「なんらかのものは五十八フレーム目だ一方でそれはねちっこくない」ということは事実と異なるとするとねちっこい
事実13: もし「あのオーケストラは転職しないしかつきょろきょろしない」ということは成り立たないなら解離しない

仮説: この巳年はフェードアウトしない
1. 仮定1: 以下のように仮定する。この巳年はフェードアウトする
2. 仮定1と事実4から、推論1: "この巳年はフェードアウトするしおまけに不足し易い"が導かれる
3. 事実5から、推論2: "仮にこの巳年はフェードアウトするし加えて不足し易いとすると「それはねちっこくない」ということは確かだ"が導かれる
4. 推論1と推論2から、推論3: "この巳年はねちっこいということはない"が導かれる
5. 事実12から、推論4: "もしも「この巳年は五十八フレーム目だけどそれはねちっこくない」ということは嘘であるならばねちっこい"が導かれる
6. 事実7と事実2から、推論5: "「この巳年は五十八フレーム目だけどそれはねちっこくない」ということは成り立つということはない"が導かれる
7. 推論4と推論5から、推論6: "この巳年はねちっこい"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

よって、仮説が証明されました。