「待ち遠しくないとしたら衰うかあるいはペーパーレス化するかまたはどちらもな」物はある
fact1: なんらかのものが表現するしまたそれは物狂おしいなら「それは珍しかない」ということは誤っていない fact2: 「あの飯島花月は変色する」ということは事実だ fact3: 珍しかないものは待ち遠しくないし楽しくない fact4: もし仮に何かはペーパーレス化しないかまたはそれは待ち遠しくないか両方であるとしたらそれは御仕えしない fact5: 何かは変色するならばあの白猿神は表現するし物狂おしい fact6: 仮に「あの飯島花月は待ち遠しくない」ということは真実ならそれは衰うしさらに御仕えするということはない fact7: その生理機能が寒々しいとすればそれは待ち遠しいけれど使い辛くない
void -> assump1: 以下のように仮定する。あの飯島花月は待ち遠しくない; fact6 & assump1 -> int1: あの飯島花月は衰うが御仕えしない; int1 -> int2: あの飯島花月は衰う; int2 -> int3: あの飯島花月は衰うかペーパーレス化するかあるいは両方である; [assump1] & int3 -> int4: もしあの飯島花月が待ち遠しくないとしたら衰うかペーパーレス化するか両方ともである; int4 -> hypothesis;
その白猿神は御仕えするということはない
fact10 -> int5: もしその白猿神がペーパーレス化しないかまたは待ち遠しくないかどちらもだとすれば御仕えしない; fact12 -> int6: その白猿神が珍しかないとすればそれは待ち遠しくないしさらに楽しくない; fact9 -> int7: もしその白猿神が表現するし物狂おしいならそれは珍しかない; fact8 -> int8: 「なんらかの物は変色する」ということは正しい; int8 & fact11 -> int9: その白猿神は表現するしさらに物狂おしい; int7 & int9 -> int10: その白猿神は珍しかない; int6 & int10 -> int11: その白猿神は待ち遠しくないしかつ楽しくない; int11 -> int12: 「その白猿神は待ち遠しくない」ということは確かだ; int12 -> int13: その白猿神はペーパーレス化しないかもしくは待ち遠しくないかもしくはどちらもである; int5 & int13 -> hypothesis;
$facts$ = fact1: なんらかのものが表現するしまたそれは物狂おしいなら「それは珍しかない」ということは誤っていない fact2: 「あの飯島花月は変色する」ということは事実だ fact3: 珍しかないものは待ち遠しくないし楽しくない fact4: もし仮に何かはペーパーレス化しないかまたはそれは待ち遠しくないか両方であるとしたらそれは御仕えしない fact5: 何かは変色するならばあの白猿神は表現するし物狂おしい fact6: 仮に「あの飯島花月は待ち遠しくない」ということは真実ならそれは衰うしさらに御仕えするということはない fact7: その生理機能が寒々しいとすればそれは待ち遠しいけれど使い辛くない ; $hypothesis$ = 「待ち遠しくないとしたら衰うかあるいはペーパーレス化するかまたはどちらもな」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの飯島花月は待ち遠しくない; fact6 & assump1 -> int1: あの飯島花月は衰うが御仕えしない; int1 -> int2: あの飯島花月は衰う; int2 -> int3: あの飯島花月は衰うかペーパーレス化するかあるいは両方である; [assump1] & int3 -> int4: もしあの飯島花月が待ち遠しくないとしたら衰うかペーパーレス化するか両方ともである; int4 -> hypothesis; __PROVED__
事実1: なんらかのものが表現するしまたそれは物狂おしいなら「それは珍しかない」ということは誤っていない
事実2: 「あの飯島花月は変色する」ということは事実だ
事実3: 珍しかないものは待ち遠しくないし楽しくない
事実4: もし仮に何かはペーパーレス化しないかまたはそれは待ち遠しくないか両方であるとしたらそれは御仕えしない
事実5: 何かは変色するならばあの白猿神は表現するし物狂おしい
事実6: 仮に「あの飯島花月は待ち遠しくない」ということは真実ならそれは衰うしさらに御仕えするということはない
事実7: その生理機能が寒々しいとすればそれは待ち遠しいけれど使い辛くない

仮説: 「待ち遠しくないとしたら衰うかあるいはペーパーレス化するかまたはどちらもな」物はある
1. 仮定1: 以下のように仮定する。あの飯島花月は待ち遠しくない
2. 事実6と仮定1から、推論1: "あの飯島花月は衰うが御仕えしない"が導かれる
3. 推論1から、推論2: "あの飯島花月は衰う"が導かれる
4. 推論2から、推論3: "あの飯島花月は衰うかペーパーレス化するかあるいは両方である"が導かれる
5. [仮定1]と推論3から、推論4: "もしあの飯島花月が待ち遠しくないとしたら衰うかペーパーレス化するか両方ともである"が導かれる
6. 推論4から、仮説が導かれる

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