「あの各委員は木道であるかもしくはそれは差し挟む」ということは成り立たない
fact1: もし仮にその赤貝がどぎまぎしないとしたらそのコメント枠は吹っ切れる fact2: もしも「このフラワーエッセンスは行来だがしかし取っ付き難くない」ということは成り立たないとしたらあの各委員は行来でない fact3: ある物が素っ気ないということはないとすればそれは閨房だ fact4: その神は行来でない fact5: 仮にその赤貝が仄暗くないしおまけに素っ気なくないならばこのフラワーエッセンスは仄暗い fact6: 「行来でない」物があるとしたらこのフラワーエッセンスは仄暗いがしかしそれは取っ付き難くない fact7: もし何かは閨房だとすれば木道である fact8: 「その赤貝は閨房でない」ということは成り立つならそれはどぎまぎする fact9: もしなにがしかのものは行来であるということはないとすればこのフラワーエッセンスは取っ付き難いということはない fact10: 何らかのものは行来でないならば吹っ切れるかもしくは倍化するかまたはどちらもだ fact11: もしもこのフラワーエッセンスが仄暗いがしかしそれが取っ付き難くないとしたらその赤貝はどぎまぎしない fact12: そのコメント枠が吹っ切れるとしたらあの各委員は素っ気なくない fact13: このフラワーエッセンスが仄暗くてさらにそれが取っ付き難いとするとその赤貝はどぎまぎしない fact14: もし何らかのものは仄暗いなら「それは取っ付き難くなくて加えてそれは行来だ」ということは偽だ fact15: もしもあの各委員が仄暗くないなら差し挟む fact16: その神は木道である fact17: もしこのフラワーエッセンスが閨房であるならあの各委員は仄暗くない fact18: 行来はある fact19: そのコメント枠は取っ付き難くない
fact4 -> int1: 「行来であるということはない」物はある; int1 & fact6 -> int2: このフラワーエッセンスは仄暗いがしかし取っ付き難くない; int2 & fact11 -> int3: その赤貝はどぎまぎしない; int3 & fact1 -> int4: そのコメント枠は吹っ切れる; int4 & fact12 -> int5: あの各委員は素っ気なくない; fact3 -> int6: 「あの各委員は素っ気なくない」ということは成り立つとするとそれは閨房だ; int5 & int6 -> int7: あの各委員は閨房である; fact7 -> int8: あの各委員が閨房なら木道である; int7 & int8 -> int9: 「あの各委員は木道である」ということは正しい; int9 -> hypothesis;
「あの各委員は木道であるかもしくは差し挟むかどちらもである」ということは事実と異なる
$facts$ = fact1: もし仮にその赤貝がどぎまぎしないとしたらそのコメント枠は吹っ切れる fact2: もしも「このフラワーエッセンスは行来だがしかし取っ付き難くない」ということは成り立たないとしたらあの各委員は行来でない fact3: ある物が素っ気ないということはないとすればそれは閨房だ fact4: その神は行来でない fact5: 仮にその赤貝が仄暗くないしおまけに素っ気なくないならばこのフラワーエッセンスは仄暗い fact6: 「行来でない」物があるとしたらこのフラワーエッセンスは仄暗いがしかしそれは取っ付き難くない fact7: もし何かは閨房だとすれば木道である fact8: 「その赤貝は閨房でない」ということは成り立つならそれはどぎまぎする fact9: もしなにがしかのものは行来であるということはないとすればこのフラワーエッセンスは取っ付き難いということはない fact10: 何らかのものは行来でないならば吹っ切れるかもしくは倍化するかまたはどちらもだ fact11: もしもこのフラワーエッセンスが仄暗いがしかしそれが取っ付き難くないとしたらその赤貝はどぎまぎしない fact12: そのコメント枠が吹っ切れるとしたらあの各委員は素っ気なくない fact13: このフラワーエッセンスが仄暗くてさらにそれが取っ付き難いとするとその赤貝はどぎまぎしない fact14: もし何らかのものは仄暗いなら「それは取っ付き難くなくて加えてそれは行来だ」ということは偽だ fact15: もしもあの各委員が仄暗くないなら差し挟む fact16: その神は木道である fact17: もしこのフラワーエッセンスが閨房であるならあの各委員は仄暗くない fact18: 行来はある fact19: そのコメント枠は取っ付き難くない ; $hypothesis$ = 「あの各委員は木道であるかもしくはそれは差し挟む」ということは成り立たない ; $proof$ = 
fact4 -> int1: 「行来であるということはない」物はある; int1 & fact6 -> int2: このフラワーエッセンスは仄暗いがしかし取っ付き難くない; int2 & fact11 -> int3: その赤貝はどぎまぎしない; int3 & fact1 -> int4: そのコメント枠は吹っ切れる; int4 & fact12 -> int5: あの各委員は素っ気なくない; fact3 -> int6: 「あの各委員は素っ気なくない」ということは成り立つとするとそれは閨房だ; int5 & int6 -> int7: あの各委員は閨房である; fact7 -> int8: あの各委員が閨房なら木道である; int7 & int8 -> int9: 「あの各委員は木道である」ということは正しい; int9 -> hypothesis; __DISPROVED__
事実1: もし仮にその赤貝がどぎまぎしないとしたらそのコメント枠は吹っ切れる
事実2: もしも「このフラワーエッセンスは行来だがしかし取っ付き難くない」ということは成り立たないとしたらあの各委員は行来でない
事実3: ある物が素っ気ないということはないとすればそれは閨房だ
事実4: その神は行来でない
事実5: 仮にその赤貝が仄暗くないしおまけに素っ気なくないならばこのフラワーエッセンスは仄暗い
事実6: 「行来でない」物があるとしたらこのフラワーエッセンスは仄暗いがしかしそれは取っ付き難くない
事実7: もし何かは閨房だとすれば木道である
事実8: 「その赤貝は閨房でない」ということは成り立つならそれはどぎまぎする
事実9: もしなにがしかのものは行来であるということはないとすればこのフラワーエッセンスは取っ付き難いということはない
事実10: 何らかのものは行来でないならば吹っ切れるかもしくは倍化するかまたはどちらもだ
事実11: もしもこのフラワーエッセンスが仄暗いがしかしそれが取っ付き難くないとしたらその赤貝はどぎまぎしない
事実12: そのコメント枠が吹っ切れるとしたらあの各委員は素っ気なくない
事実13: このフラワーエッセンスが仄暗くてさらにそれが取っ付き難いとするとその赤貝はどぎまぎしない
事実14: もし何らかのものは仄暗いなら「それは取っ付き難くなくて加えてそれは行来だ」ということは偽だ
事実15: もしもあの各委員が仄暗くないなら差し挟む
事実16: その神は木道である
事実17: もしこのフラワーエッセンスが閨房であるならあの各委員は仄暗くない
事実18: 行来はある
事実19: そのコメント枠は取っ付き難くない

仮説: 「あの各委員は木道であるかもしくはそれは差し挟む」ということは成り立たない
1. 事実4から、推論1: "「行来であるということはない」物はある"が導かれる
2. 推論1と事実6から、推論2: "このフラワーエッセンスは仄暗いがしかし取っ付き難くない"が導かれる
3. 推論2と事実11から、推論3: "その赤貝はどぎまぎしない"が導かれる
4. 推論3と事実1から、推論4: "そのコメント枠は吹っ切れる"が導かれる
5. 推論4と事実12から、推論5: "あの各委員は素っ気なくない"が導かれる
6. 事実3から、推論6: "「あの各委員は素っ気なくない」ということは成り立つとするとそれは閨房だ"が導かれる
7. 推論5と推論6から、推論7: "あの各委員は閨房である"が導かれる
8. 事実7から、推論8: "あの各委員が閨房なら木道である"が導かれる
9. 推論7と推論8から、推論9: "「あの各委員は木道である」ということは正しい"が導かれる
10. 推論9から、仮説が否定される

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