この追求権説は起こし難い
fact1: その施設見学は立ち会うしそれはコーラスだ fact2: 「憎々しくない」ものはある fact3: とある物が非常事態でないがそれは婿取りであるとしたらそれは三十六年頃だ fact4: もし仮にその施設見学が潜るとするとこの一つ置きは潜らないかまたは心苦しいかまたは両方だ fact5: もしも憎々しくない物があるとするとこの一つ置きは非常事態でない fact6: もしもなにかは立ち会うとすると潜る fact7: もしもこの一つ置きが三十六年頃だとすればこの追求権説は起こし難い fact8: 仮に何らかのものが潜らないかまたは心苦しいとしたらそれは婿取りである
fact1 -> int1: その施設見学は立ち会う; fact6 -> int2: その施設見学が立ち会うならそれは潜る; int1 & int2 -> int3: その施設見学は潜る; int3 & fact4 -> int4: この一つ置きは潜るということはないか心苦しい; fact8 -> int5: もしこの一つ置きが潜らないかもしくは心苦しいなら婿取りだ; int4 & int5 -> int6: 「この一つ置きは婿取りでない」ということは事実であるということはない; fact5 & fact2 -> int7: この一つ置きは非常事態でない; int6 & int7 -> int8: この一つ置きは非常事態でないが婿取りである; fact3 -> int9: もし仮にこの一つ置きが非常事態であるということはないけど婿取りだとすればそれは三十六年頃だ; int8 & int9 -> int10: この一つ置きは三十六年頃だ; int10 & fact7 -> hypothesis;
$facts$ = fact1: その施設見学は立ち会うしそれはコーラスだ fact2: 「憎々しくない」ものはある fact3: とある物が非常事態でないがそれは婿取りであるとしたらそれは三十六年頃だ fact4: もし仮にその施設見学が潜るとするとこの一つ置きは潜らないかまたは心苦しいかまたは両方だ fact5: もしも憎々しくない物があるとするとこの一つ置きは非常事態でない fact6: もしもなにかは立ち会うとすると潜る fact7: もしもこの一つ置きが三十六年頃だとすればこの追求権説は起こし難い fact8: 仮に何らかのものが潜らないかまたは心苦しいとしたらそれは婿取りである ; $hypothesis$ = この追求権説は起こし難い ; $proof$ = 
fact1 -> int1: その施設見学は立ち会う; fact6 -> int2: その施設見学が立ち会うならそれは潜る; int1 & int2 -> int3: その施設見学は潜る; int3 & fact4 -> int4: この一つ置きは潜るということはないか心苦しい; fact8 -> int5: もしこの一つ置きが潜らないかもしくは心苦しいなら婿取りだ; int4 & int5 -> int6: 「この一つ置きは婿取りでない」ということは事実であるということはない; fact5 & fact2 -> int7: この一つ置きは非常事態でない; int6 & int7 -> int8: この一つ置きは非常事態でないが婿取りである; fact3 -> int9: もし仮にこの一つ置きが非常事態であるということはないけど婿取りだとすればそれは三十六年頃だ; int8 & int9 -> int10: この一つ置きは三十六年頃だ; int10 & fact7 -> hypothesis; __PROVED__
事実1: その施設見学は立ち会うしそれはコーラスだ
事実2: 「憎々しくない」ものはある
事実3: とある物が非常事態でないがそれは婿取りであるとしたらそれは三十六年頃だ
事実4: もし仮にその施設見学が潜るとするとこの一つ置きは潜らないかまたは心苦しいかまたは両方だ
事実5: もしも憎々しくない物があるとするとこの一つ置きは非常事態でない
事実6: もしもなにかは立ち会うとすると潜る
事実7: もしもこの一つ置きが三十六年頃だとすればこの追求権説は起こし難い
事実8: 仮に何らかのものが潜らないかまたは心苦しいとしたらそれは婿取りである

仮説: この追求権説は起こし難い
1. 事実1から、推論1: "その施設見学は立ち会う"が導かれる
2. 事実6から、推論2: "その施設見学が立ち会うならそれは潜る"が導かれる
3. 推論1と推論2から、推論3: "その施設見学は潜る"が導かれる
4. 推論3と事実4から、推論4: "この一つ置きは潜るということはないか心苦しい"が導かれる
5. 事実8から、推論5: "もしこの一つ置きが潜らないかもしくは心苦しいなら婿取りだ"が導かれる
6. 推論4と推論5から、推論6: "「この一つ置きは婿取りでない」ということは事実であるということはない"が導かれる
7. 事実5と事実2から、推論7: "この一つ置きは非常事態でない"が導かれる
8. 推論6と推論7から、推論8: "この一つ置きは非常事態でないが婿取りである"が導かれる
9. 事実3から、推論9: "もし仮にこの一つ置きが非常事態であるということはないけど婿取りだとすればそれは三十六年頃だ"が導かれる
10. 推論8と推論9から、推論10: "この一つ置きは三十六年頃だ"が導かれる
11. 推論10と事実7から、仮説が導かれる

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