あの参照先は緑茶消費でない
fact1: もし仮に「あの参照先は逆さ吊りでないしそれは娘蜂でない」ということは嘘だとしたら青い fact2: 仮にあの参照先は青いが衣被ぎでないとすればそれは御寒いということはない fact3: もしも「何かは登山家らしくないしまた娘蜂でない」ということは事実でないとしたら御寒い fact4: もしもあの参照先は緑茶消費であるならそれは引き難いがしかし衣被ぎでない fact5: この三重櫓は付き易くなくてその上青いということはない fact6: もしあの施工面積が引き難いということはないならこの天性自然は引き難くないし登山家らしいということはない fact7: もし仮にあの施工面積が娘蜂だとしたら逆さ吊りだがしかし悶え泣かない fact8: あの施工面積は御寒い fact9: 仮に「何かは青いということはないしそれにそれは娘蜂でない」ということは確かでないとしたら緑茶消費だ fact10: この天性自然は逆さ吊りである fact11: そのカップヌードルは御寒くない fact12: もしこの三重櫓が付き易くないし加えて衣被ぎでないとすると御寒い fact13: もしもこの三重櫓は付き易いが衣被ぎでないとしたら御寒い fact14: もし何らかのものは娘蜂でないなら「緑茶消費であるが引き難くない」ということは成り立たない fact15: もし仮に逆さ吊りは悶え泣くということはないなら「それは引き難くない」ということは確かだ fact16: この三重櫓は付き易くなくて衣被ぎでない fact17: 仮にこの天性自然が引き難くなくてそれが登山家らしくないとしたらこの三重櫓は御寒くない fact18: もしも「ある物は娘蜂でなくてその上それは引き難くない」ということは間違いであるとするとそれは付き易い fact19: もしもこの三重櫓が衣被ぎだけれどそれは娘蜂でないとしたらそれは御寒いということはない fact20: その友達付き合いは弱雨でなくてしかも伴い易くない fact21: もしあの施工面積は娘蜂でないとすると「あの参照先は青くないしさらに娘蜂でない」ということは成り立たない fact22: もしもあの参照先は衣被ぎであるとしたら青い fact23: 仮にあの参照先が娘蜂であるとしたらそれは青いし加えてそれは衣被ぎでない
void -> assump1: 以下のように仮定する。あの施工面積は娘蜂である; fact7 & assump1 -> int1: あの施工面積は逆さ吊りだが悶え泣かない; fact15 -> int2: もしあの施工面積が逆さ吊りであるがしかしそれは悶え泣かないとすると「引き難くない」ということは成り立つ; int1 & int2 -> int3: あの施工面積は引き難くない; int3 & fact6 -> int4: この天性自然は引き難くなくてその上登山家らしいない; int4 & fact17 -> int5: この三重櫓は御寒くない; fact12 & fact16 -> int6: この三重櫓は御寒い; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの施工面積は娘蜂でない; int8 & fact21 -> int9: 「あの参照先は青くないししかも娘蜂でない」ということは成り立たない; fact9 -> int10: もし「あの参照先は青くないししかも娘蜂でない」ということは成り立たないとしたら緑茶消費だ; int9 & int10 -> hypothesis;
あの参照先は緑茶消費でない
fact24 -> int11: もし「あの参照先は娘蜂でない」ということは成り立つなら「緑茶消費であるしまたそれは引き難くない」ということは嘘だ;
$facts$ = fact1: もし仮に「あの参照先は逆さ吊りでないしそれは娘蜂でない」ということは嘘だとしたら青い fact2: 仮にあの参照先は青いが衣被ぎでないとすればそれは御寒いということはない fact3: もしも「何かは登山家らしくないしまた娘蜂でない」ということは事実でないとしたら御寒い fact4: もしもあの参照先は緑茶消費であるならそれは引き難いがしかし衣被ぎでない fact5: この三重櫓は付き易くなくてその上青いということはない fact6: もしあの施工面積が引き難いということはないならこの天性自然は引き難くないし登山家らしいということはない fact7: もし仮にあの施工面積が娘蜂だとしたら逆さ吊りだがしかし悶え泣かない fact8: あの施工面積は御寒い fact9: 仮に「何かは青いということはないしそれにそれは娘蜂でない」ということは確かでないとしたら緑茶消費だ fact10: この天性自然は逆さ吊りである fact11: そのカップヌードルは御寒くない fact12: もしこの三重櫓が付き易くないし加えて衣被ぎでないとすると御寒い fact13: もしもこの三重櫓は付き易いが衣被ぎでないとしたら御寒い fact14: もし何らかのものは娘蜂でないなら「緑茶消費であるが引き難くない」ということは成り立たない fact15: もし仮に逆さ吊りは悶え泣くということはないなら「それは引き難くない」ということは確かだ fact16: この三重櫓は付き易くなくて衣被ぎでない fact17: 仮にこの天性自然が引き難くなくてそれが登山家らしくないとしたらこの三重櫓は御寒くない fact18: もしも「ある物は娘蜂でなくてその上それは引き難くない」ということは間違いであるとするとそれは付き易い fact19: もしもこの三重櫓が衣被ぎだけれどそれは娘蜂でないとしたらそれは御寒いということはない fact20: その友達付き合いは弱雨でなくてしかも伴い易くない fact21: もしあの施工面積は娘蜂でないとすると「あの参照先は青くないしさらに娘蜂でない」ということは成り立たない fact22: もしもあの参照先は衣被ぎであるとしたら青い fact23: 仮にあの参照先が娘蜂であるとしたらそれは青いし加えてそれは衣被ぎでない ; $hypothesis$ = あの参照先は緑茶消費でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの施工面積は娘蜂である; fact7 & assump1 -> int1: あの施工面積は逆さ吊りだが悶え泣かない; fact15 -> int2: もしあの施工面積が逆さ吊りであるがしかしそれは悶え泣かないとすると「引き難くない」ということは成り立つ; int1 & int2 -> int3: あの施工面積は引き難くない; int3 & fact6 -> int4: この天性自然は引き難くなくてその上登山家らしいない; int4 & fact17 -> int5: この三重櫓は御寒くない; fact12 & fact16 -> int6: この三重櫓は御寒い; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの施工面積は娘蜂でない; int8 & fact21 -> int9: 「あの参照先は青くないししかも娘蜂でない」ということは成り立たない; fact9 -> int10: もし「あの参照先は青くないししかも娘蜂でない」ということは成り立たないとしたら緑茶消費だ; int9 & int10 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの参照先は逆さ吊りでないしそれは娘蜂でない」ということは嘘だとしたら青い
事実2: 仮にあの参照先は青いが衣被ぎでないとすればそれは御寒いということはない
事実3: もしも「何かは登山家らしくないしまた娘蜂でない」ということは事実でないとしたら御寒い
事実4: もしもあの参照先は緑茶消費であるならそれは引き難いがしかし衣被ぎでない
事実5: この三重櫓は付き易くなくてその上青いということはない
事実6: もしあの施工面積が引き難いということはないならこの天性自然は引き難くないし登山家らしいということはない
事実7: もし仮にあの施工面積が娘蜂だとしたら逆さ吊りだがしかし悶え泣かない
事実8: あの施工面積は御寒い
事実9: 仮に「何かは青いということはないしそれにそれは娘蜂でない」ということは確かでないとしたら緑茶消費だ
事実10: この天性自然は逆さ吊りである
事実11: そのカップヌードルは御寒くない
事実12: もしこの三重櫓が付き易くないし加えて衣被ぎでないとすると御寒い
事実13: もしもこの三重櫓は付き易いが衣被ぎでないとしたら御寒い
事実14: もし何らかのものは娘蜂でないなら「緑茶消費であるが引き難くない」ということは成り立たない
事実15: もし仮に逆さ吊りは悶え泣くということはないなら「それは引き難くない」ということは確かだ
事実16: この三重櫓は付き易くなくて衣被ぎでない
事実17: 仮にこの天性自然が引き難くなくてそれが登山家らしくないとしたらこの三重櫓は御寒くない
事実18: もしも「ある物は娘蜂でなくてその上それは引き難くない」ということは間違いであるとするとそれは付き易い
事実19: もしもこの三重櫓が衣被ぎだけれどそれは娘蜂でないとしたらそれは御寒いということはない
事実20: その友達付き合いは弱雨でなくてしかも伴い易くない
事実21: もしあの施工面積は娘蜂でないとすると「あの参照先は青くないしさらに娘蜂でない」ということは成り立たない
事実22: もしもあの参照先は衣被ぎであるとしたら青い
事実23: 仮にあの参照先が娘蜂であるとしたらそれは青いし加えてそれは衣被ぎでない

仮説: あの参照先は緑茶消費でない
1. 仮定1: 以下のように仮定する。あの施工面積は娘蜂である
2. 事実7と仮定1から、推論1: "あの施工面積は逆さ吊りだが悶え泣かない"が導かれる
3. 事実15から、推論2: "もしあの施工面積が逆さ吊りであるがしかしそれは悶え泣かないとすると「引き難くない」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "あの施工面積は引き難くない"が導かれる
5. 推論3と事実6から、推論4: "この天性自然は引き難くなくてその上登山家らしいない"が導かれる
6. 推論4と事実17から、推論5: "この三重櫓は御寒くない"が導かれる
7. 事実12と事実16から、推論6: "この三重櫓は御寒い"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの施工面積は娘蜂でない"が導かれる
10. 推論8と事実21から、推論9: "「あの参照先は青くないししかも娘蜂でない」ということは成り立たない"が導かれる
11. 事実9から、推論10: "もし「あの参照先は青くないししかも娘蜂でない」ということは成り立たないとしたら緑茶消費だ"が導かれる
12. 推論9と推論10から、仮説が否定される

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