あの起床時間は誓うということはない
fact1: あの起床時間は複合する fact2: もし「何かは見付け難い」ということは正しいとしたら塩揉みする fact3: あの御靴は見付け難くない fact4: もし仮にあるものは白桃書房なら「期待し難い」ということは本当である fact5: その左ページは見付け難い fact6: もしもその左ページがメモリモジュールであるしかつ見付け難いとすればあの起床時間は誓わない fact7: もしもなにがしかのものは複合しない一方で塩揉みするならそれはメモリモジュールだ fact8: その木彫りが期待し難いならばその左ページは複合しないが塩揉みする fact9: その木彫りは白桃書房だしさらに結び合わせる fact10: その木彫りは結び合わせる
fact9 -> int1: その木彫りは白桃書房である; fact4 -> int2: もしその木彫りは白桃書房であるとしたら期待し難い; int1 & int2 -> int3: その木彫りは期待し難い; int3 & fact8 -> int4: その左ページは複合しないけれどそれは塩揉みする; fact7 -> int5: 仮にその左ページは複合しないがしかし塩揉みするとしたらそれはメモリモジュールだ; int4 & int5 -> int6: その左ページはメモリモジュールだ; int6 & fact5 -> int7: その左ページはメモリモジュールで見付け難い; int7 & fact6 -> hypothesis;
あの起床時間は複合するしまた推論する
$facts$ = fact1: あの起床時間は複合する fact2: もし「何かは見付け難い」ということは正しいとしたら塩揉みする fact3: あの御靴は見付け難くない fact4: もし仮にあるものは白桃書房なら「期待し難い」ということは本当である fact5: その左ページは見付け難い fact6: もしもその左ページがメモリモジュールであるしかつ見付け難いとすればあの起床時間は誓わない fact7: もしもなにがしかのものは複合しない一方で塩揉みするならそれはメモリモジュールだ fact8: その木彫りが期待し難いならばその左ページは複合しないが塩揉みする fact9: その木彫りは白桃書房だしさらに結び合わせる fact10: その木彫りは結び合わせる ; $hypothesis$ = あの起床時間は誓うということはない ; $proof$ = 
fact9 -> int1: その木彫りは白桃書房である; fact4 -> int2: もしその木彫りは白桃書房であるとしたら期待し難い; int1 & int2 -> int3: その木彫りは期待し難い; int3 & fact8 -> int4: その左ページは複合しないけれどそれは塩揉みする; fact7 -> int5: 仮にその左ページは複合しないがしかし塩揉みするとしたらそれはメモリモジュールだ; int4 & int5 -> int6: その左ページはメモリモジュールだ; int6 & fact5 -> int7: その左ページはメモリモジュールで見付け難い; int7 & fact6 -> hypothesis; __PROVED__
事実1: あの起床時間は複合する
事実2: もし「何かは見付け難い」ということは正しいとしたら塩揉みする
事実3: あの御靴は見付け難くない
事実4: もし仮にあるものは白桃書房なら「期待し難い」ということは本当である
事実5: その左ページは見付け難い
事実6: もしもその左ページがメモリモジュールであるしかつ見付け難いとすればあの起床時間は誓わない
事実7: もしもなにがしかのものは複合しない一方で塩揉みするならそれはメモリモジュールだ
事実8: その木彫りが期待し難いならばその左ページは複合しないが塩揉みする
事実9: その木彫りは白桃書房だしさらに結び合わせる
事実10: その木彫りは結び合わせる

仮説: あの起床時間は誓うということはない
1. 事実9から、推論1: "その木彫りは白桃書房である"が導かれる
2. 事実4から、推論2: "もしその木彫りは白桃書房であるとしたら期待し難い"が導かれる
3. 推論1と推論2から、推論3: "その木彫りは期待し難い"が導かれる
4. 推論3と事実8から、推論4: "その左ページは複合しないけれどそれは塩揉みする"が導かれる
5. 事実7から、推論5: "仮にその左ページは複合しないがしかし塩揉みするとしたらそれはメモリモジュールだ"が導かれる
6. 推論4と推論5から、推論6: "その左ページはメモリモジュールだ"が導かれる
7. 推論6と事実5から、推論7: "その左ページはメモリモジュールで見付け難い"が導かれる
8. 推論7と事実6から、仮説が導かれる

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