そのコース取りは起き出す
fact1: 「その職業意識は大きくなくてかつ付け加わらない」ということは嘘だ fact2: もしもこの少人数が淀み無いとすればあの登攀は御預からない fact3: 「その職業意識は大きくないけれど付け加わる」ということは間違いである fact4: 「その職業意識は大きい一方で付け加わらない」ということは事実と異なる fact5: 「「大きくて加えて付け加わらない」ということは本当でない」ものはある fact6: もし仮に「「大きくなくて付け加わらない」ということは誤っている」ものがあるならそのコース取りは起き出す fact7: 「「「大きいということはないしその上付け加わる」ということは成り立たない」物はある」ということは事実である fact8: 「「その登攀は誤り無くなくて誇りっぽくない」ということは成り立つということはないならばあのコース取りは起き出さない」ということは成り立つ fact9: 誤り無くない物は起き出すか受難者である fact10: 「大きくないしその上付け加わらない」ものはある fact11: もしも何かは御預からないとすれば「「それは誤り無くないし誇りっぽくない」ということは事実だ」ということは偽である
fact1 -> int1: 「「大きくなくて付け加わらない」ということは事実と異なる」ものはある; int1 & fact6 -> hypothesis;
fact1 -> int1: (Ex): ¬(¬{AA}x & ¬{AB}x); int1 & fact6 -> hypothesis;
そのコース取りは起き出さない
fact12 -> int2: その登攀は御預からないとしたら「誤り無くないし誇りっぽいということはない」ということは確かでない;
$facts$ = fact1: 「その職業意識は大きくなくてかつ付け加わらない」ということは嘘だ fact2: もしもこの少人数が淀み無いとすればあの登攀は御預からない fact3: 「その職業意識は大きくないけれど付け加わる」ということは間違いである fact4: 「その職業意識は大きい一方で付け加わらない」ということは事実と異なる fact5: 「「大きくて加えて付け加わらない」ということは本当でない」ものはある fact6: もし仮に「「大きくなくて付け加わらない」ということは誤っている」ものがあるならそのコース取りは起き出す fact7: 「「「大きいということはないしその上付け加わる」ということは成り立たない」物はある」ということは事実である fact8: 「「その登攀は誤り無くなくて誇りっぽくない」ということは成り立つということはないならばあのコース取りは起き出さない」ということは成り立つ fact9: 誤り無くない物は起き出すか受難者である fact10: 「大きくないしその上付け加わらない」ものはある fact11: もしも何かは御預からないとすれば「「それは誤り無くないし誇りっぽくない」ということは事実だ」ということは偽である ; $hypothesis$ = そのコース取りは起き出す ; $proof$ = 
fact1 -> int1: 「「大きくなくて付け加わらない」ということは事実と異なる」ものはある; int1 & fact6 -> hypothesis; __PROVED__
事実1: 「その職業意識は大きくなくてかつ付け加わらない」ということは嘘だ
事実2: もしもこの少人数が淀み無いとすればあの登攀は御預からない
事実3: 「その職業意識は大きくないけれど付け加わる」ということは間違いである
事実4: 「その職業意識は大きい一方で付け加わらない」ということは事実と異なる
事実5: 「「大きくて加えて付け加わらない」ということは本当でない」ものはある
事実6: もし仮に「「大きくなくて付け加わらない」ということは誤っている」ものがあるならそのコース取りは起き出す
事実7: 「「「大きいということはないしその上付け加わる」ということは成り立たない」物はある」ということは事実である
事実8: 「「その登攀は誤り無くなくて誇りっぽくない」ということは成り立つということはないならばあのコース取りは起き出さない」ということは成り立つ
事実9: 誤り無くない物は起き出すか受難者である
事実10: 「大きくないしその上付け加わらない」ものはある
事実11: もしも何かは御預からないとすれば「「それは誤り無くないし誇りっぽくない」ということは事実だ」ということは偽である

仮説: そのコース取りは起き出す
1. 事実1から、推論1: "「「大きくなくて付け加わらない」ということは事実と異なる」ものはある"が導かれる
2. 推論1と事実6から、仮説が導かれる

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