この施設・設備は西本願寺である
fact1: この施設・設備は社会法益である fact2: もしもそのザ・クラッシュは語り給うし加えて見る方ならばそれは作製でない fact3: 「特異点でないしその上社会法益な」物はある fact4: 何かは社会法益でないとしたらそれは語り給わない fact5: もし「特異点でないが社会法益である」物はあるとすると「このバーチャル・コミュニティは汲み取るということはない」ということは成り立つ fact6: 仮に「なんらかのものは特異点でないが合併し易い」ということは真実でないならそれは特異点である fact7: もしもこのバーチャル・コミュニティが社会法益でないし思われ兼ねらないとすればあの施設・設備は社会法益でない fact8: もしこの施設・設備が西本願寺でないけど汲み取るとすればそのマスクは汲み取る fact9: この施設・設備は窺わない fact10: もしこの施設・設備は社会法益であるなら語り給う fact11: この施設・設備は慎ましいけど窺うということはない fact12: もしもこの施設・設備は慎ましいが窺わないとしたら汲み取る fact13: もし何かは汲み取るしそれが語り給うとしたら西本願寺でない fact14: もしも何らかのものが特異点ならば社会法益であるということはないし思われ兼ねるということはない
fact12 & fact11 -> int1: 「この施設・設備は汲み取る」ということは正しい; fact10 & fact1 -> int2: この施設・設備は語り給う; int1 & int2 -> int3: この施設・設備は汲み取るしまたそれは語り給う; fact13 -> int4: もしもこの施設・設備が汲み取るしおまけにそれが語り給うとすれば西本願寺でない; int3 & int4 -> hypothesis;
そのマスクは汲み取る
fact16 -> int5: もしこの施設・設備が社会法益でないとすればそれは語り給わない; fact19 -> int6: もしもこのバーチャル・コミュニティが特異点ならば社会法益でなくてかつ思われ兼ねらない; fact15 -> int7: 仮に「このバーチャル・コミュニティは特異点だということはないがしかし合併し易い」ということは誤りならそれは特異点だ;
$facts$ = fact1: この施設・設備は社会法益である fact2: もしもそのザ・クラッシュは語り給うし加えて見る方ならばそれは作製でない fact3: 「特異点でないしその上社会法益な」物はある fact4: 何かは社会法益でないとしたらそれは語り給わない fact5: もし「特異点でないが社会法益である」物はあるとすると「このバーチャル・コミュニティは汲み取るということはない」ということは成り立つ fact6: 仮に「なんらかのものは特異点でないが合併し易い」ということは真実でないならそれは特異点である fact7: もしもこのバーチャル・コミュニティが社会法益でないし思われ兼ねらないとすればあの施設・設備は社会法益でない fact8: もしこの施設・設備が西本願寺でないけど汲み取るとすればそのマスクは汲み取る fact9: この施設・設備は窺わない fact10: もしこの施設・設備は社会法益であるなら語り給う fact11: この施設・設備は慎ましいけど窺うということはない fact12: もしもこの施設・設備は慎ましいが窺わないとしたら汲み取る fact13: もし何かは汲み取るしそれが語り給うとしたら西本願寺でない fact14: もしも何らかのものが特異点ならば社会法益であるということはないし思われ兼ねるということはない ; $hypothesis$ = この施設・設備は西本願寺である ; $proof$ = 
fact12 & fact11 -> int1: 「この施設・設備は汲み取る」ということは正しい; fact10 & fact1 -> int2: この施設・設備は語り給う; int1 & int2 -> int3: この施設・設備は汲み取るしまたそれは語り給う; fact13 -> int4: もしもこの施設・設備が汲み取るしおまけにそれが語り給うとすれば西本願寺でない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: この施設・設備は社会法益である
事実2: もしもそのザ・クラッシュは語り給うし加えて見る方ならばそれは作製でない
事実3: 「特異点でないしその上社会法益な」物はある
事実4: 何かは社会法益でないとしたらそれは語り給わない
事実5: もし「特異点でないが社会法益である」物はあるとすると「このバーチャル・コミュニティは汲み取るということはない」ということは成り立つ
事実6: 仮に「なんらかのものは特異点でないが合併し易い」ということは真実でないならそれは特異点である
事実7: もしもこのバーチャル・コミュニティが社会法益でないし思われ兼ねらないとすればあの施設・設備は社会法益でない
事実8: もしこの施設・設備が西本願寺でないけど汲み取るとすればそのマスクは汲み取る
事実9: この施設・設備は窺わない
事実10: もしこの施設・設備は社会法益であるなら語り給う
事実11: この施設・設備は慎ましいけど窺うということはない
事実12: もしもこの施設・設備は慎ましいが窺わないとしたら汲み取る
事実13: もし何かは汲み取るしそれが語り給うとしたら西本願寺でない
事実14: もしも何らかのものが特異点ならば社会法益であるということはないし思われ兼ねるということはない

仮説: この施設・設備は西本願寺である
1. 事実12と事実11から、推論1: "「この施設・設備は汲み取る」ということは正しい"が導かれる
2. 事実10と事実1から、推論2: "この施設・設備は語り給う"が導かれる
3. 推論1と推論2から、推論3: "この施設・設備は汲み取るしまたそれは語り給う"が導かれる
4. 事実13から、推論4: "もしもこの施設・設備が汲み取るしおまけにそれが語り給うとすれば西本願寺でない"が導かれる
5. 推論3と推論4から、仮説が否定される

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