そのブックエンドは疚しい
fact1: もしあの一時消去が取材するしまた疚しいならそのブックエンドは疚しくない fact2: 何かは疲れするとしたらそれは禍々しい fact3: 「何かは活動写真だということはないがそれは心無い」ということは本当であるということはないなら「取材する」ということは成り立つ fact4: 仮に「そのブックエンドは疚しいということはない」ということは本当であるとすれば「活動写真でないが心無い」ということは事実と異なる fact5: そのブックエンドは疲れする fact6: あの出っ歯は疲れする fact7: もし仮にある物が取材するとしたらそれは禍々しかない
void -> assump1: 以下のように仮定する。そのブックエンドは疚しくない; fact4 & assump1 -> int1: 「そのブックエンドは活動写真でないけれどそれは心無い」ということは成り立たない; fact3 -> int2: もし「そのブックエンドは活動写真でない一方で心無い」ということは真実でないならば取材する; int1 & int2 -> int3: そのブックエンドは取材する; fact7 -> int4: もし仮にそのブックエンドが取材するとしたらそれは禍々しかない; int3 & int4 -> int5: 「そのブックエンドは禍々しい」ということは誤りである; fact2 -> int6: もしそのブックエンドは疲れするなら「禍々しい」ということは成り立つ; int6 & fact5 -> int7: 「そのブックエンドは禍々しい」ということは成り立つ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
「そのブックエンドは疚しくない」ということは本当だ
$facts$ = fact1: もしあの一時消去が取材するしまた疚しいならそのブックエンドは疚しくない fact2: 何かは疲れするとしたらそれは禍々しい fact3: 「何かは活動写真だということはないがそれは心無い」ということは本当であるということはないなら「取材する」ということは成り立つ fact4: 仮に「そのブックエンドは疚しいということはない」ということは本当であるとすれば「活動写真でないが心無い」ということは事実と異なる fact5: そのブックエンドは疲れする fact6: あの出っ歯は疲れする fact7: もし仮にある物が取材するとしたらそれは禍々しかない ; $hypothesis$ = そのブックエンドは疚しい ; $proof$ = 
void -> assump1: 以下のように仮定する。そのブックエンドは疚しくない; fact4 & assump1 -> int1: 「そのブックエンドは活動写真でないけれどそれは心無い」ということは成り立たない; fact3 -> int2: もし「そのブックエンドは活動写真でない一方で心無い」ということは真実でないならば取材する; int1 & int2 -> int3: そのブックエンドは取材する; fact7 -> int4: もし仮にそのブックエンドが取材するとしたらそれは禍々しかない; int3 & int4 -> int5: 「そのブックエンドは禍々しい」ということは誤りである; fact2 -> int6: もしそのブックエンドは疲れするなら「禍々しい」ということは成り立つ; int6 & fact5 -> int7: 「そのブックエンドは禍々しい」ということは成り立つ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もしあの一時消去が取材するしまた疚しいならそのブックエンドは疚しくない
事実2: 何かは疲れするとしたらそれは禍々しい
事実3: 「何かは活動写真だということはないがそれは心無い」ということは本当であるということはないなら「取材する」ということは成り立つ
事実4: 仮に「そのブックエンドは疚しいということはない」ということは本当であるとすれば「活動写真でないが心無い」ということは事実と異なる
事実5: そのブックエンドは疲れする
事実6: あの出っ歯は疲れする
事実7: もし仮にある物が取材するとしたらそれは禍々しかない

仮説: そのブックエンドは疚しい
1. 仮定1: 以下のように仮定する。そのブックエンドは疚しくない
2. 事実4と仮定1から、推論1: "「そのブックエンドは活動写真でないけれどそれは心無い」ということは成り立たない"が導かれる
3. 事実3から、推論2: "もし「そのブックエンドは活動写真でない一方で心無い」ということは真実でないならば取材する"が導かれる
4. 推論1と推論2から、推論3: "そのブックエンドは取材する"が導かれる
5. 事実7から、推論4: "もし仮にそのブックエンドが取材するとしたらそれは禍々しかない"が導かれる
6. 推論3と推論4から、推論5: "「そのブックエンドは禍々しい」ということは誤りである"が導かれる
7. 事実2から、推論6: "もしそのブックエンドは疲れするなら「禍々しい」ということは成り立つ"が導かれる
8. 推論6と事実5から、推論7: "「そのブックエンドは禍々しい」ということは成り立つ"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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