「その青竹は賎しむけどグループ毎だということはない」ということは成り立たない
fact1: その低用量ピルが百八十四ページ参照でそれに手堅いならばこの菌種は工面しない fact2: もし仮にその工夫次第が手堅いし更に据え付けるとするとその低用量ピルは流れ易くない fact3: その工夫次第は据え付けるかもしくはミニ解説であるかどちらもだ fact4: あのスローガンはグループ毎であるしかつそれは上場審査である fact5: 仮にこの菌種が流れ易くないならばそれは工面するしかつそれは情けない fact6: 手堅くないか烏滸がましいかもしくは両方なものは賎しまない fact7: その低用量ピルが据え付けるとしたらこの菌種は据え付ける fact8: 「その低用量ピルは安全剃刀である」ということは誤っていない fact9: 仮にその青竹が百八十四ページ参照であるとすればあの低用量ピルはミニ解説だ fact10: その工夫次第はグループ毎でない fact11: その工夫次第はミニ解説であるかもしくは賎しむ fact12: この菌種は賎しまない fact13: もしもその低用量ピルが賎しむならその青竹は百八十四ページ参照である fact14: もし「その工夫次第はミニ解説だ」ということは本当であるならばあの低用量ピルは百八十四ページ参照である fact15: もし仮にその低用量ピルは賎しまないとすれば「情けない」ということは確かだ fact16: この菌種はミニ解説であるしさらに情けない fact17: もし仮に「あの竹筒は百八十四ページ参照であるということはないがしかし手堅い」ということは成り立たないなら「その青竹は百八十四ページ参照だ」ということは成り立つ fact18: この菌種は流れ易くない fact19: もしその低用量ピルが賎しまないならその青竹は賎しむがしかしグループ毎でない fact20: もし仮にその低用量ピルが烏滸がましいとしたらそれは賎しまない fact21: もし仮にその青竹が工面するならこの菌種はグループ毎だ fact22: もしその低用量ピルが工面しないとしたらこの菌種は手堅くない fact23: 「もしその低用量ピルがグループ毎であるとすればその青竹は手堅い」ということは成り立つ fact24: その青竹が烏滸はましくらないかもしくはそれは賎しむかまたは両方ともだ fact25: もし仮にその工夫次第は据え付けるとしたら「その低用量ピルは百八十四ページ参照である」ということは真実である
fact3 & fact25 & fact14 -> int1: その低用量ピルは百八十四ページ参照である; void -> assump1: 以下のように仮定する。その低用量ピルは手堅い; int1 & assump1 -> int2: その低用量ピルは百八十四ページ参照だしさらに手堅い; int2 & fact1 -> int3: この菌種は工面しない; fact5 & fact18 -> int4: この菌種は工面するしかつそれは情けない; int4 -> int5: 「この菌種は工面する」ということは本当だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その低用量ピルは手堅くない; int7 -> int8: その低用量ピルは手堅くないかまたは烏滸がましいかもしくは両方だ; fact6 -> int9: もし仮にその低用量ピルは手堅くないか烏滸がましいかもしくは両方ならばそれは賎しまない; int8 & int9 -> int10: 「その低用量ピルは賎しまない」ということは成り立つ; int10 & fact19 -> hypothesis;
「その青竹は賎しむ一方でグループ毎でない」ということは成り立たない
$facts$ = fact1: その低用量ピルが百八十四ページ参照でそれに手堅いならばこの菌種は工面しない fact2: もし仮にその工夫次第が手堅いし更に据え付けるとするとその低用量ピルは流れ易くない fact3: その工夫次第は据え付けるかもしくはミニ解説であるかどちらもだ fact4: あのスローガンはグループ毎であるしかつそれは上場審査である fact5: 仮にこの菌種が流れ易くないならばそれは工面するしかつそれは情けない fact6: 手堅くないか烏滸がましいかもしくは両方なものは賎しまない fact7: その低用量ピルが据え付けるとしたらこの菌種は据え付ける fact8: 「その低用量ピルは安全剃刀である」ということは誤っていない fact9: 仮にその青竹が百八十四ページ参照であるとすればあの低用量ピルはミニ解説だ fact10: その工夫次第はグループ毎でない fact11: その工夫次第はミニ解説であるかもしくは賎しむ fact12: この菌種は賎しまない fact13: もしもその低用量ピルが賎しむならその青竹は百八十四ページ参照である fact14: もし「その工夫次第はミニ解説だ」ということは本当であるならばあの低用量ピルは百八十四ページ参照である fact15: もし仮にその低用量ピルは賎しまないとすれば「情けない」ということは確かだ fact16: この菌種はミニ解説であるしさらに情けない fact17: もし仮に「あの竹筒は百八十四ページ参照であるということはないがしかし手堅い」ということは成り立たないなら「その青竹は百八十四ページ参照だ」ということは成り立つ fact18: この菌種は流れ易くない fact19: もしその低用量ピルが賎しまないならその青竹は賎しむがしかしグループ毎でない fact20: もし仮にその低用量ピルが烏滸がましいとしたらそれは賎しまない fact21: もし仮にその青竹が工面するならこの菌種はグループ毎だ fact22: もしその低用量ピルが工面しないとしたらこの菌種は手堅くない fact23: 「もしその低用量ピルがグループ毎であるとすればその青竹は手堅い」ということは成り立つ fact24: その青竹が烏滸はましくらないかもしくはそれは賎しむかまたは両方ともだ fact25: もし仮にその工夫次第は据え付けるとしたら「その低用量ピルは百八十四ページ参照である」ということは真実である ; $hypothesis$ = 「その青竹は賎しむけどグループ毎だということはない」ということは成り立たない ; $proof$ = 
fact3 & fact25 & fact14 -> int1: その低用量ピルは百八十四ページ参照である; void -> assump1: 以下のように仮定する。その低用量ピルは手堅い; int1 & assump1 -> int2: その低用量ピルは百八十四ページ参照だしさらに手堅い; int2 & fact1 -> int3: この菌種は工面しない; fact5 & fact18 -> int4: この菌種は工面するしかつそれは情けない; int4 -> int5: 「この菌種は工面する」ということは本当だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その低用量ピルは手堅くない; int7 -> int8: その低用量ピルは手堅くないかまたは烏滸がましいかもしくは両方だ; fact6 -> int9: もし仮にその低用量ピルは手堅くないか烏滸がましいかもしくは両方ならばそれは賎しまない; int8 & int9 -> int10: 「その低用量ピルは賎しまない」ということは成り立つ; int10 & fact19 -> 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: 「もしその低用量ピルがグループ毎であるとすればその青竹は手堅い」ということは成り立つ
事実24: その青竹が烏滸はましくらないかもしくはそれは賎しむかまたは両方ともだ
事実25: もし仮にその工夫次第は据え付けるとしたら「その低用量ピルは百八十四ページ参照である」ということは真実である

仮説: 「その青竹は賎しむけどグループ毎だということはない」ということは成り立たない
1. 事実3と事実25と事実14から、推論1: "その低用量ピルは百八十四ページ参照である"が導かれる
2. 仮定1: 以下のように仮定する。その低用量ピルは手堅い
3. 推論1と仮定1から、推論2: "その低用量ピルは百八十四ページ参照だしさらに手堅い"が導かれる
4. 推論2と事実1から、推論3: "この菌種は工面しない"が導かれる
5. 事実5と事実18から、推論4: "この菌種は工面するしかつそれは情けない"が導かれる
6. 推論4から、推論5: "「この菌種は工面する」ということは本当だ"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その低用量ピルは手堅くない"が導かれる
9. 推論7から、推論8: "その低用量ピルは手堅くないかまたは烏滸がましいかもしくは両方だ"が導かれる
10. 事実6から、推論9: "もし仮にその低用量ピルは手堅くないか烏滸がましいかもしくは両方ならばそれは賎しまない"が導かれる
11. 推論8と推論9から、推論10: "「その低用量ピルは賎しまない」ということは成り立つ"が導かれる
12. 推論10と事実19から、仮説が否定される

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