「この宵の口は起こし易くない」ということは確かである
fact1: その猟銃は御案内しない fact2: もしなんらかの物が中間申告書でないし更に閉じ込めないならあのマギー・チャンは催眠療法でない fact3: その資産欄は起こし易くない fact4: あらゆるものは喀血だ fact5: あのマギー・チャンは積極財産でないし生温かくない fact6: もし仮に「なんらかの物は中間申告書であるかあるいは閉じ込めないか両方である」ということは成り立たないとするとそれは催眠療法である fact7: もし仮にその猟銃が普遍的原理だしさらに畑作物であるとするとこの宵の口は起こし易いということはない fact8: 仮にあのマギー・チャンが積極財産でないししかも生温かくないとしたら喀血である fact9: その資産欄が畑作物でないけれど催眠療法であるとすればその猟銃は畑作物である fact10: この宵の口は鈍らないけれど畑作物だ fact11: その資産欄は畑作物でない一方で催眠療法だ fact12: その資産欄は畑作物でない fact13: 「なにかは喀血なら中間申告書でないし閉じ込めない」ということは確かである fact14: その猟銃は御案内しないがしかし催眠療法である fact15: 「その資産欄は畑作物で催眠療法だ」ということは成り立つとすればその猟銃は畑作物である fact16: もし「あのマギー・チャンは生まれ易くなくて普遍的原理でない」ということは成り立たないとしたらその資産欄は普遍的原理だ fact17: もし仮にこの宵の口が普遍的原理でないけど起こし易いならばその猟銃は普遍的原理だ fact18: その猟銃は算定し難くて温度記号だ fact19: もしもその猟銃が起こし易くなくてそれが生まれ易くないとすればそれは畑作物でない fact20: その猟銃は御案内しないが普遍的原理である fact21: もし仮にその資産欄が普遍的原理であるならその猟銃は畑作物だということはないか御案内しないかあるいはどちらもだ
fact20 -> int1: その猟銃は普遍的原理だ; fact11 & fact9 -> int2: その猟銃は畑作物である; int1 & int2 -> int3: 「その猟銃は普遍的原理であるしおまけに畑作物である」ということは成り立つ; int3 & fact7 -> hypothesis;
この宵の口は起こし易い
fact25 -> int4: もし仮にそのザが喀血だとすればそれは中間申告書でなくてその上それは閉じ込めない; fact24 -> int5: そのザは喀血である; int4 & int5 -> int6: そのザは中間申告書でないしそれは閉じ込めない; int6 -> int7: 何もかもは中間申告書でなくて閉じ込めない; int7 -> int8: その心電図所見は中間申告書でないしそれは閉じ込めるということはない; int8 -> int9: 「中間申告書でなくて加えて閉じ込めない」ものはある; fact23 & int9 -> int10: あのマギー・チャンは催眠療法でない;
$facts$ = fact1: その猟銃は御案内しない fact2: もしなんらかの物が中間申告書でないし更に閉じ込めないならあのマギー・チャンは催眠療法でない fact3: その資産欄は起こし易くない fact4: あらゆるものは喀血だ fact5: あのマギー・チャンは積極財産でないし生温かくない fact6: もし仮に「なんらかの物は中間申告書であるかあるいは閉じ込めないか両方である」ということは成り立たないとするとそれは催眠療法である fact7: もし仮にその猟銃が普遍的原理だしさらに畑作物であるとするとこの宵の口は起こし易いということはない fact8: 仮にあのマギー・チャンが積極財産でないししかも生温かくないとしたら喀血である fact9: その資産欄が畑作物でないけれど催眠療法であるとすればその猟銃は畑作物である fact10: この宵の口は鈍らないけれど畑作物だ fact11: その資産欄は畑作物でない一方で催眠療法だ fact12: その資産欄は畑作物でない fact13: 「なにかは喀血なら中間申告書でないし閉じ込めない」ということは確かである fact14: その猟銃は御案内しないがしかし催眠療法である fact15: 「その資産欄は畑作物で催眠療法だ」ということは成り立つとすればその猟銃は畑作物である fact16: もし「あのマギー・チャンは生まれ易くなくて普遍的原理でない」ということは成り立たないとしたらその資産欄は普遍的原理だ fact17: もし仮にこの宵の口が普遍的原理でないけど起こし易いならばその猟銃は普遍的原理だ fact18: その猟銃は算定し難くて温度記号だ fact19: もしもその猟銃が起こし易くなくてそれが生まれ易くないとすればそれは畑作物でない fact20: その猟銃は御案内しないが普遍的原理である fact21: もし仮にその資産欄が普遍的原理であるならその猟銃は畑作物だということはないか御案内しないかあるいはどちらもだ ; $hypothesis$ = 「この宵の口は起こし易くない」ということは確かである ; $proof$ = 
fact20 -> int1: その猟銃は普遍的原理だ; fact11 & fact9 -> int2: その猟銃は畑作物である; int1 & int2 -> int3: 「その猟銃は普遍的原理であるしおまけに畑作物である」ということは成り立つ; int3 & fact7 -> hypothesis; __PROVED__
事実1: その猟銃は御案内しない
事実2: もしなんらかの物が中間申告書でないし更に閉じ込めないならあのマギー・チャンは催眠療法でない
事実3: その資産欄は起こし易くない
事実4: あらゆるものは喀血だ
事実5: あのマギー・チャンは積極財産でないし生温かくない
事実6: もし仮に「なんらかの物は中間申告書であるかあるいは閉じ込めないか両方である」ということは成り立たないとするとそれは催眠療法である
事実7: もし仮にその猟銃が普遍的原理だしさらに畑作物であるとするとこの宵の口は起こし易いということはない
事実8: 仮にあのマギー・チャンが積極財産でないししかも生温かくないとしたら喀血である
事実9: その資産欄が畑作物でないけれど催眠療法であるとすればその猟銃は畑作物である
事実10: この宵の口は鈍らないけれど畑作物だ
事実11: その資産欄は畑作物でない一方で催眠療法だ
事実12: その資産欄は畑作物でない
事実13: 「なにかは喀血なら中間申告書でないし閉じ込めない」ということは確かである
事実14: その猟銃は御案内しないがしかし催眠療法である
事実15: 「その資産欄は畑作物で催眠療法だ」ということは成り立つとすればその猟銃は畑作物である
事実16: もし「あのマギー・チャンは生まれ易くなくて普遍的原理でない」ということは成り立たないとしたらその資産欄は普遍的原理だ
事実17: もし仮にこの宵の口が普遍的原理でないけど起こし易いならばその猟銃は普遍的原理だ
事実18: その猟銃は算定し難くて温度記号だ
事実19: もしもその猟銃が起こし易くなくてそれが生まれ易くないとすればそれは畑作物でない
事実20: その猟銃は御案内しないが普遍的原理である
事実21: もし仮にその資産欄が普遍的原理であるならその猟銃は畑作物だということはないか御案内しないかあるいはどちらもだ

仮説: 「この宵の口は起こし易くない」ということは確かである
1. 事実20から、推論1: "その猟銃は普遍的原理だ"が導かれる
2. 事実11と事実9から、推論2: "その猟銃は畑作物である"が導かれる
3. 推論1と推論2から、推論3: "「その猟銃は普遍的原理であるしおまけに畑作物である」ということは成り立つ"が導かれる
4. 推論3と事実7から、仮説が導かれる

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