この授業時数はごつい
fact1: 調和し難い物はごつい fact2: もしもこのセキュリティ・クリアランスが調和し難いならこの授業時数はごつい fact3: あの日本信用保証はごつい fact4: もしもとある物は水揚げするとすれば「借りる」ということは本当である fact5: もし「このセキュリティ・クリアランスは調和し難くないけど強制移住する」ということは成り立たないとしたら「この授業時数はごつい」ということは成り立つ fact6: もしもあのパーソナルマーキングは水揚げするとすれば「「このセキュリティ・クリアランスは調和し難くてさらに強制移住する」ということは成り立たない」ということは真実である fact7: もし仮にこのセキュリティ・クリアランスがごついとすると調和し難い fact8: もし仮にあのパーソナルマーキングは強制移住するとしたら「このセキュリティ・クリアランスは凛々しくないがしかし借りる」ということは成り立たない fact9: ある物は凛々しいならば「それは水揚げする」ということは成り立つ fact10: 「あのパーソナルマーキングはごついということはない一方で強制移住する」ということは誤りであるとしたらこのセキュリティ・クリアランスは借りる fact11: もし仮にあのパーソナルマーキングは水揚げするとすれば「このセキュリティ・クリアランスは調和し難いということはないけれどそれは強制移住する」ということは成り立たない fact12: もしこのセキュリティ・クリアランスは借りるとしたら「あのパーソナルマーキングはごついがしかし凛々しいということはない」ということは成り立たない fact13: 調和し難い物は水揚げしない fact14: 仮にあのパーソナルマーキングが借りるとしたらそれは凛々しい fact15: あのパーソナルマーキングは借りる fact16: もしその衝撃係数は水揚げしないとすると「このセキュリティ・クリアランスは借りない」ということは成り立たない fact17: あの父様は借りる fact18: もしもその二門が調和し難いならその衝撃係数は調和し難い fact19: 「このセキュリティ・クリアランスは調和し難いしかつ強制移住する」ということは成り立たない fact20: もしとある物は水揚げすれば「それはごつい」ということは真実だ
fact14 & fact15 -> int1: あのパーソナルマーキングは凛々しい; fact9 -> int2: もし仮にあのパーソナルマーキングは凛々しいなら「それは水揚げする」ということは正しい; int1 & int2 -> int3: あのパーソナルマーキングは水揚げする; int3 & fact11 -> int4: 「このセキュリティ・クリアランスは調和し難くないけれど強制移住する」ということは成り立たない; int4 & fact5 -> hypothesis;
この授業時数はごつかない
fact22 -> int5: もしも「その衝撃係数は調和し難い」ということは成り立つとすれば水揚げしない;
$facts$ = fact1: 調和し難い物はごつい fact2: もしもこのセキュリティ・クリアランスが調和し難いならこの授業時数はごつい fact3: あの日本信用保証はごつい fact4: もしもとある物は水揚げするとすれば「借りる」ということは本当である fact5: もし「このセキュリティ・クリアランスは調和し難くないけど強制移住する」ということは成り立たないとしたら「この授業時数はごつい」ということは成り立つ fact6: もしもあのパーソナルマーキングは水揚げするとすれば「「このセキュリティ・クリアランスは調和し難くてさらに強制移住する」ということは成り立たない」ということは真実である fact7: もし仮にこのセキュリティ・クリアランスがごついとすると調和し難い fact8: もし仮にあのパーソナルマーキングは強制移住するとしたら「このセキュリティ・クリアランスは凛々しくないがしかし借りる」ということは成り立たない fact9: ある物は凛々しいならば「それは水揚げする」ということは成り立つ fact10: 「あのパーソナルマーキングはごついということはない一方で強制移住する」ということは誤りであるとしたらこのセキュリティ・クリアランスは借りる fact11: もし仮にあのパーソナルマーキングは水揚げするとすれば「このセキュリティ・クリアランスは調和し難いということはないけれどそれは強制移住する」ということは成り立たない fact12: もしこのセキュリティ・クリアランスは借りるとしたら「あのパーソナルマーキングはごついがしかし凛々しいということはない」ということは成り立たない fact13: 調和し難い物は水揚げしない fact14: 仮にあのパーソナルマーキングが借りるとしたらそれは凛々しい fact15: あのパーソナルマーキングは借りる fact16: もしその衝撃係数は水揚げしないとすると「このセキュリティ・クリアランスは借りない」ということは成り立たない fact17: あの父様は借りる fact18: もしもその二門が調和し難いならその衝撃係数は調和し難い fact19: 「このセキュリティ・クリアランスは調和し難いしかつ強制移住する」ということは成り立たない fact20: もしとある物は水揚げすれば「それはごつい」ということは真実だ ; $hypothesis$ = この授業時数はごつい ; $proof$ = 
fact14 & fact15 -> int1: あのパーソナルマーキングは凛々しい; fact9 -> int2: もし仮にあのパーソナルマーキングは凛々しいなら「それは水揚げする」ということは正しい; int1 & int2 -> int3: あのパーソナルマーキングは水揚げする; int3 & fact11 -> int4: 「このセキュリティ・クリアランスは調和し難くないけれど強制移住する」ということは成り立たない; int4 & fact5 -> hypothesis; __PROVED__
事実1: 調和し難い物はごつい
事実2: もしもこのセキュリティ・クリアランスが調和し難いならこの授業時数はごつい
事実3: あの日本信用保証はごつい
事実4: もしもとある物は水揚げするとすれば「借りる」ということは本当である
事実5: もし「このセキュリティ・クリアランスは調和し難くないけど強制移住する」ということは成り立たないとしたら「この授業時数はごつい」ということは成り立つ
事実6: もしもあのパーソナルマーキングは水揚げするとすれば「「このセキュリティ・クリアランスは調和し難くてさらに強制移住する」ということは成り立たない」ということは真実である
事実7: もし仮にこのセキュリティ・クリアランスがごついとすると調和し難い
事実8: もし仮にあのパーソナルマーキングは強制移住するとしたら「このセキュリティ・クリアランスは凛々しくないがしかし借りる」ということは成り立たない
事実9: ある物は凛々しいならば「それは水揚げする」ということは成り立つ
事実10: 「あのパーソナルマーキングはごついということはない一方で強制移住する」ということは誤りであるとしたらこのセキュリティ・クリアランスは借りる
事実11: もし仮にあのパーソナルマーキングは水揚げするとすれば「このセキュリティ・クリアランスは調和し難いということはないけれどそれは強制移住する」ということは成り立たない
事実12: もしこのセキュリティ・クリアランスは借りるとしたら「あのパーソナルマーキングはごついがしかし凛々しいということはない」ということは成り立たない
事実13: 調和し難い物は水揚げしない
事実14: 仮にあのパーソナルマーキングが借りるとしたらそれは凛々しい
事実15: あのパーソナルマーキングは借りる
事実16: もしその衝撃係数は水揚げしないとすると「このセキュリティ・クリアランスは借りない」ということは成り立たない
事実17: あの父様は借りる
事実18: もしもその二門が調和し難いならその衝撃係数は調和し難い
事実19: 「このセキュリティ・クリアランスは調和し難いしかつ強制移住する」ということは成り立たない
事実20: もしとある物は水揚げすれば「それはごつい」ということは真実だ

仮説: この授業時数はごつい
1. 事実14と事実15から、推論1: "あのパーソナルマーキングは凛々しい"が導かれる
2. 事実9から、推論2: "もし仮にあのパーソナルマーキングは凛々しいなら「それは水揚げする」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "あのパーソナルマーキングは水揚げする"が導かれる
4. 推論3と事実11から、推論4: "「このセキュリティ・クリアランスは調和し難くないけれど強制移住する」ということは成り立たない"が導かれる
5. 推論4と事実5から、仮説が導かれる

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