その登録ページは有理でない
fact1: もしその登録ページが愛情深いとすればそれは岩盤男でない fact2: 「その二分の一以内は作業計画でないかまたは動かし難いかあるいは両方だ」ということは成り立たない fact3: 「その登録ページは輪っかでない」ということは成り立たない fact4: 「あの哲学教授は岩盤男だ」ということは真実だ fact5: もし仮にその登録ページは有理であるとすれば「それは動かし難くないか岩盤男であるかもしくは両方ともだ」ということは嘘である fact6: その登録ページは中和反応である fact7: 仮に「その登録ページは日常活動である」ということは成り立つとするとそれは狂奔しない fact8: その登録ページは危うい fact9: その登録ページは当て付けがましい fact10: 「その保護法益は首尾一貫性でないか法務委員会であるかもしくは両方である」ということは偽だ fact11: その登録ページは動かし難くないか岩盤男であるかまたは両方ともだ fact12: その登録ページは爆弾でないかもしくは動かし難いかもしくは両方ともである fact13: その単位記号は岩盤男でないかもしくはそれは実現すか両方ともである fact14: もしも「あの運賃は排泄促進であるけれど火事場でない」ということは真実でないとすると火事場だ fact15: 「そのリーグは有理でないか中和反応であるかまたは両方ともだ」ということは事実でない fact16: その登録ページは有理でないかもしくはそれは鈍感さだ
void -> assump1: 以下のように仮定する。その登録ページは有理である; fact5 & assump1 -> int1: 「その登録ページは動かし難くないか岩盤男である」ということは成り立たない; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
その登録ページは有理である
$facts$ = fact1: もしその登録ページが愛情深いとすればそれは岩盤男でない fact2: 「その二分の一以内は作業計画でないかまたは動かし難いかあるいは両方だ」ということは成り立たない fact3: 「その登録ページは輪っかでない」ということは成り立たない fact4: 「あの哲学教授は岩盤男だ」ということは真実だ fact5: もし仮にその登録ページは有理であるとすれば「それは動かし難くないか岩盤男であるかもしくは両方ともだ」ということは嘘である fact6: その登録ページは中和反応である fact7: 仮に「その登録ページは日常活動である」ということは成り立つとするとそれは狂奔しない fact8: その登録ページは危うい fact9: その登録ページは当て付けがましい fact10: 「その保護法益は首尾一貫性でないか法務委員会であるかもしくは両方である」ということは偽だ fact11: その登録ページは動かし難くないか岩盤男であるかまたは両方ともだ fact12: その登録ページは爆弾でないかもしくは動かし難いかもしくは両方ともである fact13: その単位記号は岩盤男でないかもしくはそれは実現すか両方ともである fact14: もしも「あの運賃は排泄促進であるけれど火事場でない」ということは真実でないとすると火事場だ fact15: 「そのリーグは有理でないか中和反応であるかまたは両方ともだ」ということは事実でない fact16: その登録ページは有理でないかもしくはそれは鈍感さだ ; $hypothesis$ = その登録ページは有理でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その登録ページは有理である; fact5 & assump1 -> int1: 「その登録ページは動かし難くないか岩盤男である」ということは成り立たない; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしその登録ページが愛情深いとすればそれは岩盤男でない
事実2: 「その二分の一以内は作業計画でないかまたは動かし難いかあるいは両方だ」ということは成り立たない
事実3: 「その登録ページは輪っかでない」ということは成り立たない
事実4: 「あの哲学教授は岩盤男だ」ということは真実だ
事実5: もし仮にその登録ページは有理であるとすれば「それは動かし難くないか岩盤男であるかもしくは両方ともだ」ということは嘘である
事実6: その登録ページは中和反応である
事実7: 仮に「その登録ページは日常活動である」ということは成り立つとするとそれは狂奔しない
事実8: その登録ページは危うい
事実9: その登録ページは当て付けがましい
事実10: 「その保護法益は首尾一貫性でないか法務委員会であるかもしくは両方である」ということは偽だ
事実11: その登録ページは動かし難くないか岩盤男であるかまたは両方ともだ
事実12: その登録ページは爆弾でないかもしくは動かし難いかもしくは両方ともである
事実13: その単位記号は岩盤男でないかもしくはそれは実現すか両方ともである
事実14: もしも「あの運賃は排泄促進であるけれど火事場でない」ということは真実でないとすると火事場だ
事実15: 「そのリーグは有理でないか中和反応であるかまたは両方ともだ」ということは事実でない
事実16: その登録ページは有理でないかもしくはそれは鈍感さだ

仮説: その登録ページは有理でない
1. 仮定1: 以下のように仮定する。その登録ページは有理である
2. 事実5と仮定1から、推論1: "「その登録ページは動かし難くないか岩盤男である」ということは成り立たない"が導かれる
3. 推論1と事実11から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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