「零落しない」物はある
fact1: あの全五色が薄汚いししかもそれががぶ飲みするならそれは零落しない fact2: もし仮にあの処理条件が抱き抱えるしまたアクセスし易いならそれは浄化出来ない fact3: あの全五色は薄汚いしおまけにがぶ飲みする fact4: 「崩壊し始めない」物はある fact5: 「あの全五色はがぶ飲みする」ということは成り立つ
fact1 & fact3 -> int1: あの全五色は零落しない; int1 -> hypothesis;
$facts$ = fact1: あの全五色が薄汚いししかもそれががぶ飲みするならそれは零落しない fact2: もし仮にあの処理条件が抱き抱えるしまたアクセスし易いならそれは浄化出来ない fact3: あの全五色は薄汚いしおまけにがぶ飲みする fact4: 「崩壊し始めない」物はある fact5: 「あの全五色はがぶ飲みする」ということは成り立つ ; $hypothesis$ = 「零落しない」物はある ; $proof$ = 
fact1 & fact3 -> int1: あの全五色は零落しない; int1 -> hypothesis; __PROVED__
事実1: あの全五色が薄汚いししかもそれががぶ飲みするならそれは零落しない
事実2: もし仮にあの処理条件が抱き抱えるしまたアクセスし易いならそれは浄化出来ない
事実3: あの全五色は薄汚いしおまけにがぶ飲みする
事実4: 「崩壊し始めない」物はある
事実5: 「あの全五色はがぶ飲みする」ということは成り立つ

仮説: 「零落しない」物はある
1. 事実1と事実3から、推論1: "あの全五色は零落しない"が導かれる
2. 推論1から、仮説が導かれる

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