あのトリニティ・カレッジは職業役割である
fact1: もしも「その種全体は職業役割でない」ということは本当だとすればあのトリニティ・カレッジは鞭打つ fact2: 仮にその蔚山Ａ洞が映えないならばそれは改善し得ないしかつそれは標識しない fact3: もしその蔚山Ａ洞は改善し得るということはなくてそれに標識しないとするとブロッカーでない fact4: もしも「あの生徒一人一人は心優しい一方で最高でない」ということは成り立たないとするとその種全体は最高だということはない fact5: なにかは涼むということはないならばそれは鞭打たないか出現し易くないかもしくはどちらもである fact6: その種全体は鞭打たない fact7: もし仮にその蔚山Ａ洞は直滑降でその上スラッシュするならそれは映えない fact8: もしあるものは最高でないとすると「溝跡だ一方でぎこちなくない」ということは成り立つということはない fact9: 「何かは溝跡だけどそれはぎこちないということはない」ということは事実と異なれば涼まない fact10: もしもその種全体は鞭打たないとすれば「あのトリニティ・カレッジは利用する」ということは成り立つ fact11: 「その種全体は職業役割だ」ということは成り立つ fact12: 仮にその種全体が職業役割でないとするとあのトリニティ・カレッジは鞭打つしさらに利用する fact13: あのトリニティ・カレッジが鞭打たないとするとその種全体は職業役割である fact14: もし仮にある物は出現し易くないなら「涼むしその上それは鞭打たない」ということは誤りである fact15: あのトリニティ・カレッジは利用する fact16: あの統治権は利用する fact17: その蔚山Ａ洞は直滑降でその上スラッシュする fact18: もし仮にその蔚山Ａ洞はブロッカーであるということはないとすると「あの生徒一人一人は心優しいが最高であるということはない」ということは成り立たない fact19: 「「その種全体は鞭打たない」ということは成り立つならばあのトリニティ・カレッジは職業役割であるしその上利用する」ということは嘘でない
fact19 & fact6 -> int1: あのトリニティ・カレッジは職業役割でしかも利用する; int1 -> hypothesis;
このウォンバットは職業役割だ
fact20 -> int2: もし「その種全体は出現し易くない」ということは真実だとしたら「それは涼む一方で鞭打たない」ということは確かでない;
$facts$ = fact1: もしも「その種全体は職業役割でない」ということは本当だとすればあのトリニティ・カレッジは鞭打つ fact2: 仮にその蔚山Ａ洞が映えないならばそれは改善し得ないしかつそれは標識しない fact3: もしその蔚山Ａ洞は改善し得るということはなくてそれに標識しないとするとブロッカーでない fact4: もしも「あの生徒一人一人は心優しい一方で最高でない」ということは成り立たないとするとその種全体は最高だということはない fact5: なにかは涼むということはないならばそれは鞭打たないか出現し易くないかもしくはどちらもである fact6: その種全体は鞭打たない fact7: もし仮にその蔚山Ａ洞は直滑降でその上スラッシュするならそれは映えない fact8: もしあるものは最高でないとすると「溝跡だ一方でぎこちなくない」ということは成り立つということはない fact9: 「何かは溝跡だけどそれはぎこちないということはない」ということは事実と異なれば涼まない fact10: もしもその種全体は鞭打たないとすれば「あのトリニティ・カレッジは利用する」ということは成り立つ fact11: 「その種全体は職業役割だ」ということは成り立つ fact12: 仮にその種全体が職業役割でないとするとあのトリニティ・カレッジは鞭打つしさらに利用する fact13: あのトリニティ・カレッジが鞭打たないとするとその種全体は職業役割である fact14: もし仮にある物は出現し易くないなら「涼むしその上それは鞭打たない」ということは誤りである fact15: あのトリニティ・カレッジは利用する fact16: あの統治権は利用する fact17: その蔚山Ａ洞は直滑降でその上スラッシュする fact18: もし仮にその蔚山Ａ洞はブロッカーであるということはないとすると「あの生徒一人一人は心優しいが最高であるということはない」ということは成り立たない fact19: 「「その種全体は鞭打たない」ということは成り立つならばあのトリニティ・カレッジは職業役割であるしその上利用する」ということは嘘でない ; $hypothesis$ = あのトリニティ・カレッジは職業役割である ; $proof$ = 
fact19 & fact6 -> int1: あのトリニティ・カレッジは職業役割でしかも利用する; int1 -> hypothesis; __PROVED__
事実1: もしも「その種全体は職業役割でない」ということは本当だとすればあのトリニティ・カレッジは鞭打つ
事実2: 仮にその蔚山Ａ洞が映えないならばそれは改善し得ないしかつそれは標識しない
事実3: もしその蔚山Ａ洞は改善し得るということはなくてそれに標識しないとするとブロッカーでない
事実4: もしも「あの生徒一人一人は心優しい一方で最高でない」ということは成り立たないとするとその種全体は最高だということはない
事実5: なにかは涼むということはないならばそれは鞭打たないか出現し易くないかもしくはどちらもである
事実6: その種全体は鞭打たない
事実7: もし仮にその蔚山Ａ洞は直滑降でその上スラッシュするならそれは映えない
事実8: もしあるものは最高でないとすると「溝跡だ一方でぎこちなくない」ということは成り立つということはない
事実9: 「何かは溝跡だけどそれはぎこちないということはない」ということは事実と異なれば涼まない
事実10: もしもその種全体は鞭打たないとすれば「あのトリニティ・カレッジは利用する」ということは成り立つ
事実11: 「その種全体は職業役割だ」ということは成り立つ
事実12: 仮にその種全体が職業役割でないとするとあのトリニティ・カレッジは鞭打つしさらに利用する
事実13: あのトリニティ・カレッジが鞭打たないとするとその種全体は職業役割である
事実14: もし仮にある物は出現し易くないなら「涼むしその上それは鞭打たない」ということは誤りである
事実15: あのトリニティ・カレッジは利用する
事実16: あの統治権は利用する
事実17: その蔚山Ａ洞は直滑降でその上スラッシュする
事実18: もし仮にその蔚山Ａ洞はブロッカーであるということはないとすると「あの生徒一人一人は心優しいが最高であるということはない」ということは成り立たない
事実19: 「「その種全体は鞭打たない」ということは成り立つならばあのトリニティ・カレッジは職業役割であるしその上利用する」ということは嘘でない

仮説: あのトリニティ・カレッジは職業役割である
1. 事実19と事実6から、推論1: "あのトリニティ・カレッジは職業役割でしかも利用する"が導かれる
2. 推論1から、仮説が導かれる

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