「その一次元配列は予約出来る」ということは真実だ
fact1: その一次元配列は選択され易くない fact2: そのＬＡＮ機器は過剰反応する fact3: もしそのＬＡＮ機器が過剰反応するならその一次元配列は近しいがしかし洗い上げない fact4: あの中国革命同盟会は過剰反応する fact5: もしその一次元配列は近しくておまけに洗い上げるとすると予約出来る fact6: 「この安全度は町田藍であるがしかし過剰反応しない」ということは真実である fact7: もしそのＬＡＮ機器は過剰反応するとしたら「その一次元配列は洗い上げない」ということは確かである fact8: 近しいものが洗い上げないとしたら予約出来る fact9: なにかは過剰反応する一方で近しくないとしたら洗い上げる
fact3 & fact2 -> int1: その一次元配列は近しいがしかし洗い上げるということはない; fact8 -> int2: もしもその一次元配列が近しいがしかしそれは洗い上げないとしたら「それは予約出来る」ということは事実だ; int1 & int2 -> hypothesis;
$facts$ = fact1: その一次元配列は選択され易くない fact2: そのＬＡＮ機器は過剰反応する fact3: もしそのＬＡＮ機器が過剰反応するならその一次元配列は近しいがしかし洗い上げない fact4: あの中国革命同盟会は過剰反応する fact5: もしその一次元配列は近しくておまけに洗い上げるとすると予約出来る fact6: 「この安全度は町田藍であるがしかし過剰反応しない」ということは真実である fact7: もしそのＬＡＮ機器は過剰反応するとしたら「その一次元配列は洗い上げない」ということは確かである fact8: 近しいものが洗い上げないとしたら予約出来る fact9: なにかは過剰反応する一方で近しくないとしたら洗い上げる ; $hypothesis$ = 「その一次元配列は予約出来る」ということは真実だ ; $proof$ = 
fact3 & fact2 -> int1: その一次元配列は近しいがしかし洗い上げるということはない; fact8 -> int2: もしもその一次元配列が近しいがしかしそれは洗い上げないとしたら「それは予約出来る」ということは事実だ; int1 & int2 -> hypothesis; __PROVED__
事実1: その一次元配列は選択され易くない
事実2: そのＬＡＮ機器は過剰反応する
事実3: もしそのＬＡＮ機器が過剰反応するならその一次元配列は近しいがしかし洗い上げない
事実4: あの中国革命同盟会は過剰反応する
事実5: もしその一次元配列は近しくておまけに洗い上げるとすると予約出来る
事実6: 「この安全度は町田藍であるがしかし過剰反応しない」ということは真実である
事実7: もしそのＬＡＮ機器は過剰反応するとしたら「その一次元配列は洗い上げない」ということは確かである
事実8: 近しいものが洗い上げないとしたら予約出来る
事実9: なにかは過剰反応する一方で近しくないとしたら洗い上げる

仮説: 「その一次元配列は予約出来る」ということは真実だ
1. 事実3と事実2から、推論1: "その一次元配列は近しいがしかし洗い上げるということはない"が導かれる
2. 事実8から、推論2: "もしもその一次元配列が近しいがしかしそれは洗い上げないとしたら「それは予約出来る」ということは事実だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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