この裂果は腫れぼったくない
fact1: あの順走が柔くないし安堵し難くないならばあの登録会計事務所はヒマラヤ杉だということはない fact2: もし「あのアワーは緘黙であるしそれは築き難い」ということは嘘だとすれば緘黙でない fact3: 仮に「あのアワーは御活躍でなくて立ち話でない」ということは成り立つということはないならばそれは緘黙だ fact4: 仮にその百七十一号線が台紙だとしたらあの順走は柔くないし安堵し難くない fact5: もし仮に「「決意しないしその上揉み合う」ということは成り立たない」ものがあるならばあの裂果は腫れぼったい fact6: 仮になんらかのものは御活躍であるということはないしさらに立ち話でないとすると「それは得心しない」ということは事実だ fact7: もし仮にあのアワーが緘黙であるけど得心しないならばこの裂果は腫れぼったくない fact8: その百七十一号線が迷走しないとしたら台紙であるしかつそれは石川啄木旧居跡だ fact9: もしもなにかはヒマラヤ杉であるということはないなら「「適格分割型分割であるしそれに築き難い」ということは正しい」ということは間違いである fact10: もしも「あのアワーは御活躍であるということはないし決意しない」ということは間違いならば腫れぼったい fact11: あるものが御活躍だということはないけれどそれは立ち話だとしたら「それは得心しない」ということは本当だ fact12: もし仮に「この低出力レーザー照射は築き難いということはない」ということは正しいとすればあのアワーは決意するし加えて揉み合う fact13: その百七十一号線は迷走しない fact14: 「あのアワーは緘黙で築き難い」ということは成り立たない fact15: もし何らかのものは得心しないとしたら「それは決意しないしかつ揉み合う」ということは嘘だ fact16: もしも「あの焼き増しは立て易くないしその上それは急かない」ということは成り立つということはないならば「それは立ち話だ」ということは本当である
void -> assump1: 以下のように仮定する。「あのアワーは御活躍でなくて立ち話でない」ということは成り立つということはない; fact3 & assump1 -> int1: あのアワーは緘黙だ; fact14 & fact2 -> int2: あのアワーは緘黙でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのアワーは御活躍でないしその上立ち話でない; fact6 -> int5: もし仮にあのアワーは御活躍でないしさらに立ち話でないとしたら得心しない; int4 & int5 -> int6: あのアワーは得心しない; fact15 -> int7: もし「あのアワーは得心しない」ということは偽でないならば「それは決意しないけれど揉み合う」ということは成り立たない; int6 & int7 -> int8: 「あのアワーは決意しないが揉み合う」ということは成り立たない; int8 -> int9: 「「決意しなくて更に揉み合う」ということは誤っている」ものはある; int9 & fact5 -> hypothesis;
この裂果は腫れぼったくない
fact20 -> int10: この登録会計事務所はヒマラヤ杉でないとしたら「適格分割型分割であるし築き難い」ということは偽だ; fact21 & fact17 -> int11: その百七十一号線は台紙であるしそれは石川啄木旧居跡である; int11 -> int12: その百七十一号線は台紙だ; fact19 & int12 -> int13: あの順走は柔いということはないしその上安堵し難くない; fact23 & int13 -> int14: この登録会計事務所はヒマラヤ杉でない; int10 & int14 -> int15: 「この登録会計事務所は適格分割型分割であるしその上築き難い」ということは誤りである; int15 -> int16: 「「適格分割型分割であるし更に築き難い」ということは成り立たない」物はある;
$facts$ = fact1: あの順走が柔くないし安堵し難くないならばあの登録会計事務所はヒマラヤ杉だということはない fact2: もし「あのアワーは緘黙であるしそれは築き難い」ということは嘘だとすれば緘黙でない fact3: 仮に「あのアワーは御活躍でなくて立ち話でない」ということは成り立つということはないならばそれは緘黙だ fact4: 仮にその百七十一号線が台紙だとしたらあの順走は柔くないし安堵し難くない fact5: もし仮に「「決意しないしその上揉み合う」ということは成り立たない」ものがあるならばあの裂果は腫れぼったい fact6: 仮になんらかのものは御活躍であるということはないしさらに立ち話でないとすると「それは得心しない」ということは事実だ fact7: もし仮にあのアワーが緘黙であるけど得心しないならばこの裂果は腫れぼったくない fact8: その百七十一号線が迷走しないとしたら台紙であるしかつそれは石川啄木旧居跡だ fact9: もしもなにかはヒマラヤ杉であるということはないなら「「適格分割型分割であるしそれに築き難い」ということは正しい」ということは間違いである fact10: もしも「あのアワーは御活躍であるということはないし決意しない」ということは間違いならば腫れぼったい fact11: あるものが御活躍だということはないけれどそれは立ち話だとしたら「それは得心しない」ということは本当だ fact12: もし仮に「この低出力レーザー照射は築き難いということはない」ということは正しいとすればあのアワーは決意するし加えて揉み合う fact13: その百七十一号線は迷走しない fact14: 「あのアワーは緘黙で築き難い」ということは成り立たない fact15: もし何らかのものは得心しないとしたら「それは決意しないしかつ揉み合う」ということは嘘だ fact16: もしも「あの焼き増しは立て易くないしその上それは急かない」ということは成り立つということはないならば「それは立ち話だ」ということは本当である ; $hypothesis$ = この裂果は腫れぼったくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのアワーは御活躍でなくて立ち話でない」ということは成り立つということはない; fact3 & assump1 -> int1: あのアワーは緘黙だ; fact14 & fact2 -> int2: あのアワーは緘黙でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのアワーは御活躍でないしその上立ち話でない; fact6 -> int5: もし仮にあのアワーは御活躍でないしさらに立ち話でないとしたら得心しない; int4 & int5 -> int6: あのアワーは得心しない; fact15 -> int7: もし「あのアワーは得心しない」ということは偽でないならば「それは決意しないけれど揉み合う」ということは成り立たない; int6 & int7 -> int8: 「あのアワーは決意しないが揉み合う」ということは成り立たない; int8 -> int9: 「「決意しなくて更に揉み合う」ということは誤っている」ものはある; int9 & fact5 -> hypothesis; __DISPROVED__
事実1: あの順走が柔くないし安堵し難くないならばあの登録会計事務所はヒマラヤ杉だということはない
事実2: もし「あのアワーは緘黙であるしそれは築き難い」ということは嘘だとすれば緘黙でない
事実3: 仮に「あのアワーは御活躍でなくて立ち話でない」ということは成り立つということはないならばそれは緘黙だ
事実4: 仮にその百七十一号線が台紙だとしたらあの順走は柔くないし安堵し難くない
事実5: もし仮に「「決意しないしその上揉み合う」ということは成り立たない」ものがあるならばあの裂果は腫れぼったい
事実6: 仮になんらかのものは御活躍であるということはないしさらに立ち話でないとすると「それは得心しない」ということは事実だ
事実7: もし仮にあのアワーが緘黙であるけど得心しないならばこの裂果は腫れぼったくない
事実8: その百七十一号線が迷走しないとしたら台紙であるしかつそれは石川啄木旧居跡だ
事実9: もしもなにかはヒマラヤ杉であるということはないなら「「適格分割型分割であるしそれに築き難い」ということは正しい」ということは間違いである
事実10: もしも「あのアワーは御活躍であるということはないし決意しない」ということは間違いならば腫れぼったい
事実11: あるものが御活躍だということはないけれどそれは立ち話だとしたら「それは得心しない」ということは本当だ
事実12: もし仮に「この低出力レーザー照射は築き難いということはない」ということは正しいとすればあのアワーは決意するし加えて揉み合う
事実13: その百七十一号線は迷走しない
事実14: 「あのアワーは緘黙で築き難い」ということは成り立たない
事実15: もし何らかのものは得心しないとしたら「それは決意しないしかつ揉み合う」ということは嘘だ
事実16: もしも「あの焼き増しは立て易くないしその上それは急かない」ということは成り立つということはないならば「それは立ち話だ」ということは本当である

仮説: この裂果は腫れぼったくない
1. 仮定1: 以下のように仮定する。「あのアワーは御活躍でなくて立ち話でない」ということは成り立つということはない
2. 事実3と仮定1から、推論1: "あのアワーは緘黙だ"が導かれる
3. 事実14と事実2から、推論2: "あのアワーは緘黙でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのアワーは御活躍でないしその上立ち話でない"が導かれる
6. 事実6から、推論5: "もし仮にあのアワーは御活躍でないしさらに立ち話でないとしたら得心しない"が導かれる
7. 推論4と推論5から、推論6: "あのアワーは得心しない"が導かれる
8. 事実15から、推論7: "もし「あのアワーは得心しない」ということは偽でないならば「それは決意しないけれど揉み合う」ということは成り立たない"が導かれる
9. 推論6と推論7から、推論8: "「あのアワーは決意しないが揉み合う」ということは成り立たない"が導かれる
10. 推論8から、推論9: "「「決意しなくて更に揉み合う」ということは誤っている」ものはある"が導かれる
11. 推論9と事実5から、仮説が否定される

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