この先刻は大集会だ
fact1: 何かは阻止出来るということはなくてそれにそれがけえるということはないとすればそれは帆桁でない fact2: もしも「何かはＵ／Ｔでなくて犯し易くない」ということは成り立たないならば「Ｕ／Ｔだ」ということは本当だ fact3: 仮にあの光ケーブルは帆桁であるということはないとすると「この先刻はＵ／Ｔでないしまた犯し易くない」ということは誤りである fact4: もし仮にあの共同債務者が先取特権でないとするとあの光ケーブルは阻止出来なくて加えてけえるということはない fact5: もしも「あの共同債務者は正面衝突するけれど再考しない」ということは間違っているとすれば恨めしい fact6: この先刻は大集会である fact7: 仮になんらかのものは帆桁であるということはないとすれば「それは犯し易くないしＵ／Ｔでない」ということは成り立たない fact8: 仮になにがしかの物が恨めしいとすると先取特権でないけどでっかい fact9: Ｕ／Ｔは大集会でない
fact6 -> hypothesis;
この先刻は大集会だということはない
fact13 -> int1: 仮にこの先刻がＵ／Ｔだとすると大集会でない; fact10 -> int2: もし仮に「この先刻はＵ／Ｔでなくてまたそれは犯し易くない」ということは成り立たないとするとＵ／Ｔだ; fact11 -> int3: もし仮に「あの光ケーブルは阻止出来ないしおまけにけえらない」ということは正しいとするとそれは帆桁であるということはない; fact16 -> int4: 「もしもあの共同債務者が恨めしいとしたらあの共同債務者は先取特権であるということはないがでっかい」ということは確かだ;
$facts$ = fact1: 何かは阻止出来るということはなくてそれにそれがけえるということはないとすればそれは帆桁でない fact2: もしも「何かはＵ／Ｔでなくて犯し易くない」ということは成り立たないならば「Ｕ／Ｔだ」ということは本当だ fact3: 仮にあの光ケーブルは帆桁であるということはないとすると「この先刻はＵ／Ｔでないしまた犯し易くない」ということは誤りである fact4: もし仮にあの共同債務者が先取特権でないとするとあの光ケーブルは阻止出来なくて加えてけえるということはない fact5: もしも「あの共同債務者は正面衝突するけれど再考しない」ということは間違っているとすれば恨めしい fact6: この先刻は大集会である fact7: 仮になんらかのものは帆桁であるということはないとすれば「それは犯し易くないしＵ／Ｔでない」ということは成り立たない fact8: 仮になにがしかの物が恨めしいとすると先取特権でないけどでっかい fact9: Ｕ／Ｔは大集会でない ; $hypothesis$ = この先刻は大集会だ ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 何かは阻止出来るということはなくてそれにそれがけえるということはないとすればそれは帆桁でない
事実2: もしも「何かはＵ／Ｔでなくて犯し易くない」ということは成り立たないならば「Ｕ／Ｔだ」ということは本当だ
事実3: 仮にあの光ケーブルは帆桁であるということはないとすると「この先刻はＵ／Ｔでないしまた犯し易くない」ということは誤りである
事実4: もし仮にあの共同債務者が先取特権でないとするとあの光ケーブルは阻止出来なくて加えてけえるということはない
事実5: もしも「あの共同債務者は正面衝突するけれど再考しない」ということは間違っているとすれば恨めしい
事実6: この先刻は大集会である
事実7: 仮になんらかのものは帆桁であるということはないとすれば「それは犯し易くないしＵ／Ｔでない」ということは成り立たない
事実8: 仮になにがしかの物が恨めしいとすると先取特権でないけどでっかい
事実9: Ｕ／Ｔは大集会でない

仮説: この先刻は大集会だ
1. 事実6から、仮説が導かれる

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