この原価法は切り通しだ
fact1: このペナルティ係数は観覧しない fact2: 憎しものは馴れ馴れしい fact3: もし「とあるものは通り難くないけれど駆け回る」ということは本当でないならば青嵐だ fact4: もし仮にこのペナルティ係数が馴れ馴れしいなら暗躍しなくてしかも観覧しない fact5: このペナルティ係数は通り難くてまた駆け回る fact6: もしこのペナルティ係数が強しとすると憎し fact7: もし仮にこの使用用が馴れ馴れしいとしたらこのペナルティ係数は憎しないししかも強しない fact8: この使用用が青嵐だとしたらこの原価法は切り通しだ fact9: 「通り難い物は強し」ということは成り立つ fact10: 仮に「暗躍しないしまた観覧しない」ものがあるとするとこの使用用は青嵐である
fact5 -> int1: このペナルティ係数は通り難い; fact9 -> int2: このペナルティ係数が通り難いならばそれは強し; int1 & int2 -> int3: このペナルティ係数は強し; int3 & fact6 -> int4: このペナルティ係数は憎し; fact2 -> int5: 「もし仮にこのペナルティ係数が憎しならばこのペナルティ係数は馴れ馴れしい」ということは確かだ; int4 & int5 -> int6: このペナルティ係数は馴れ馴れしい; int6 & fact4 -> int7: このペナルティ係数は暗躍しないし更にそれは観覧しない; int7 -> int8: なにかは暗躍しなくてそれは観覧しない; int8 & fact10 -> int9: この使用用は青嵐だ; int9 & fact8 -> hypothesis;
この地域行事は青嵐だ
fact12 -> int10: 「もし「この地域行事は通り難くないがしかし駆け回る」ということは誤っているとしたらこの地域行事は青嵐だ」ということは確かである;
$facts$ = fact1: このペナルティ係数は観覧しない fact2: 憎しものは馴れ馴れしい fact3: もし「とあるものは通り難くないけれど駆け回る」ということは本当でないならば青嵐だ fact4: もし仮にこのペナルティ係数が馴れ馴れしいなら暗躍しなくてしかも観覧しない fact5: このペナルティ係数は通り難くてまた駆け回る fact6: もしこのペナルティ係数が強しとすると憎し fact7: もし仮にこの使用用が馴れ馴れしいとしたらこのペナルティ係数は憎しないししかも強しない fact8: この使用用が青嵐だとしたらこの原価法は切り通しだ fact9: 「通り難い物は強し」ということは成り立つ fact10: 仮に「暗躍しないしまた観覧しない」ものがあるとするとこの使用用は青嵐である ; $hypothesis$ = この原価法は切り通しだ ; $proof$ = 
fact5 -> int1: このペナルティ係数は通り難い; fact9 -> int2: このペナルティ係数が通り難いならばそれは強し; int1 & int2 -> int3: このペナルティ係数は強し; int3 & fact6 -> int4: このペナルティ係数は憎し; fact2 -> int5: 「もし仮にこのペナルティ係数が憎しならばこのペナルティ係数は馴れ馴れしい」ということは確かだ; int4 & int5 -> int6: このペナルティ係数は馴れ馴れしい; int6 & fact4 -> int7: このペナルティ係数は暗躍しないし更にそれは観覧しない; int7 -> int8: なにかは暗躍しなくてそれは観覧しない; int8 & fact10 -> int9: この使用用は青嵐だ; int9 & fact8 -> hypothesis; __PROVED__
事実1: このペナルティ係数は観覧しない
事実2: 憎しものは馴れ馴れしい
事実3: もし「とあるものは通り難くないけれど駆け回る」ということは本当でないならば青嵐だ
事実4: もし仮にこのペナルティ係数が馴れ馴れしいなら暗躍しなくてしかも観覧しない
事実5: このペナルティ係数は通り難くてまた駆け回る
事実6: もしこのペナルティ係数が強しとすると憎し
事実7: もし仮にこの使用用が馴れ馴れしいとしたらこのペナルティ係数は憎しないししかも強しない
事実8: この使用用が青嵐だとしたらこの原価法は切り通しだ
事実9: 「通り難い物は強し」ということは成り立つ
事実10: 仮に「暗躍しないしまた観覧しない」ものがあるとするとこの使用用は青嵐である

仮説: この原価法は切り通しだ
1. 事実5から、推論1: "このペナルティ係数は通り難い"が導かれる
2. 事実9から、推論2: "このペナルティ係数が通り難いならばそれは強し"が導かれる
3. 推論1と推論2から、推論3: "このペナルティ係数は強し"が導かれる
4. 推論3と事実6から、推論4: "このペナルティ係数は憎し"が導かれる
5. 事実2から、推論5: "「もし仮にこのペナルティ係数が憎しならばこのペナルティ係数は馴れ馴れしい」ということは確かだ"が導かれる
6. 推論4と推論5から、推論6: "このペナルティ係数は馴れ馴れしい"が導かれる
7. 推論6と事実4から、推論7: "このペナルティ係数は暗躍しないし更にそれは観覧しない"が導かれる
8. 推論7から、推論8: "なにかは暗躍しなくてそれは観覧しない"が導かれる
9. 推論8と事実10から、推論9: "この使用用は青嵐だ"が導かれる
10. 推論9と事実8から、仮説が導かれる

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