その探照灯は左右され易い
fact1: 仮にあるものは腹立たしいならば「言語地図でないけど擡げる」ということは成り立たない fact2: もし「あの裁判所内部は衝突阻止能でないしその上ひょろ長くない」ということは誤りであるならばあの詐偽はひょろ長くない fact3: その詐偽は見計らうし加えてそれは擡げる fact4: その帰朝者は腹立たしい fact5: その詐偽は言語地図である fact6: その詐偽はひょろ長いしそれに言語地図だ fact7: その詐偽は擡げる fact8: 仮に「その探照灯は見計らうということはないかあるいはそれは受け取れるということはない」ということは成り立たないなら「その詐偽は見計らわない」ということは真実である fact9: もし仮に「「言語地図でないがしかし擡げる」ということは誤りである」ものがあるならこの本店移転は言語地図である fact10: その詐偽がひょろ長くないし見計らわないとするとこの本店移転はひょろ長くない fact11: あの潮間帯は請う fact12: 「その詐偽はひょろ長くてまた見計らう」ということは本当であるならその探照灯は左右され易いということはない fact13: 仮にひょろ長くないものは言語地図であるとしたら左右され易い
fact6 -> int1: 「その詐偽はひょろ長い」ということは事実である; fact3 -> int2: その詐偽は見計らう; int1 & int2 -> int3: その詐偽はひょろ長いし見計らう; int3 & fact12 -> hypothesis;
この本店移転は左右され易い
fact16 -> int4: もし仮にこの本店移転はひょろ長くないけれど言語地図であるとすればそれは左右され易い; fact19 -> int5: 何らかのものは請う; fact21 -> int6: もし仮にその帰朝者は腹立たしいならば「言語地図であるということはないけど擡げる」ということは誤っている; int6 & fact14 -> int7: 「「その帰朝者は言語地図でないがそれは擡げる」ということは間違っている」ということは正しい; int7 -> int8: 「「言語地図でなくてまた擡げる」ということは成り立たない」ものはある; int8 & fact18 -> int9: この本店移転は言語地図だ;
$facts$ = fact1: 仮にあるものは腹立たしいならば「言語地図でないけど擡げる」ということは成り立たない fact2: もし「あの裁判所内部は衝突阻止能でないしその上ひょろ長くない」ということは誤りであるならばあの詐偽はひょろ長くない fact3: その詐偽は見計らうし加えてそれは擡げる fact4: その帰朝者は腹立たしい fact5: その詐偽は言語地図である fact6: その詐偽はひょろ長いしそれに言語地図だ fact7: その詐偽は擡げる fact8: 仮に「その探照灯は見計らうということはないかあるいはそれは受け取れるということはない」ということは成り立たないなら「その詐偽は見計らわない」ということは真実である fact9: もし仮に「「言語地図でないがしかし擡げる」ということは誤りである」ものがあるならこの本店移転は言語地図である fact10: その詐偽がひょろ長くないし見計らわないとするとこの本店移転はひょろ長くない fact11: あの潮間帯は請う fact12: 「その詐偽はひょろ長くてまた見計らう」ということは本当であるならその探照灯は左右され易いということはない fact13: 仮にひょろ長くないものは言語地図であるとしたら左右され易い ; $hypothesis$ = その探照灯は左右され易い ; $proof$ = 
fact6 -> int1: 「その詐偽はひょろ長い」ということは事実である; fact3 -> int2: その詐偽は見計らう; int1 & int2 -> int3: その詐偽はひょろ長いし見計らう; int3 & fact12 -> hypothesis; __DISPROVED__
事実1: 仮にあるものは腹立たしいならば「言語地図でないけど擡げる」ということは成り立たない
事実2: もし「あの裁判所内部は衝突阻止能でないしその上ひょろ長くない」ということは誤りであるならばあの詐偽はひょろ長くない
事実3: その詐偽は見計らうし加えてそれは擡げる
事実4: その帰朝者は腹立たしい
事実5: その詐偽は言語地図である
事実6: その詐偽はひょろ長いしそれに言語地図だ
事実7: その詐偽は擡げる
事実8: 仮に「その探照灯は見計らうということはないかあるいはそれは受け取れるということはない」ということは成り立たないなら「その詐偽は見計らわない」ということは真実である
事実9: もし仮に「「言語地図でないがしかし擡げる」ということは誤りである」ものがあるならこの本店移転は言語地図である
事実10: その詐偽がひょろ長くないし見計らわないとするとこの本店移転はひょろ長くない
事実11: あの潮間帯は請う
事実12: 「その詐偽はひょろ長くてまた見計らう」ということは本当であるならその探照灯は左右され易いということはない
事実13: 仮にひょろ長くないものは言語地図であるとしたら左右され易い

仮説: その探照灯は左右され易い
1. 事実6から、推論1: "「その詐偽はひょろ長い」ということは事実である"が導かれる
2. 事実3から、推論2: "その詐偽は見計らう"が導かれる
3. 推論1と推論2から、推論3: "その詐偽はひょろ長いし見計らう"が導かれる
4. 推論3と事実12から、仮説が否定される

よって、仮説が否定されました。