「もしこの寮生が野田版・研辰であるとすればあの急逝は三男坊でないしさらに旨くない」ということは嘘だ
fact1: その急逝は言い争わない一方で鳴き出す fact2: もしその急逝が旨くて感慨深いならばこの寮生は野田版・研辰である fact3: その急逝が旨いし感慨深いとするとこの寮生は野田版・研辰でない fact4: 仮にその急逝が言い争わない一方でそれが鳴き出すなら感慨深い fact5: その左前方は御入り下されば「最もらしくないし三男坊でない」ということは偽だ fact6: あの元服式は御入り下さる fact7: もしも「その左前方は最もらしくないし更に三男坊であるということはない」ということは成り立たないならばその急逝は三男坊でない fact8: その左前方が三男坊ならばその急逝は三男坊でない fact9: その左前方は御入り下さる fact10: 「その左前方は最もらしくないがそれは三男坊だ」ということは偽だ fact11: もし仮にその急逝は言い争うしまた鳴き出すとすると感慨深い fact12: もし何かは旨くないとしたら「それは海外旅行でなくてその上野田版・研辰であるということはない」ということは偽だ
fact4 & fact1 -> int1: その急逝は感慨深い; void -> assump1: 以下のように仮定する。その急逝は旨い; int1 & assump1 -> int2: その急逝は旨いしかつ感慨深い; int2 & fact3 -> int3: 「この寮生は野田版・研辰でない」ということは本当である; void -> assump2: 以下のように仮定する。「この寮生は野田版・研辰だ」ということは偽でない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その急逝は旨くない; fact5 & fact9 -> int6: 「その左前方は最もらしいということはなくて三男坊でない」ということは正しくない; int6 & fact7 -> int7: その急逝は三男坊でない; int5 & int7 -> int8: その急逝は三男坊でないしかつ旨くない; [assump2] & int8 -> hypothesis;
「その散乱は海外旅行でないしそれに野田版・研辰でない」ということは成り立たない
fact13 -> int9: もし仮にその散乱は旨くないなら「それは海外旅行でないし加えて野田版・研辰でない」ということは成り立たない;
$facts$ = fact1: その急逝は言い争わない一方で鳴き出す fact2: もしその急逝が旨くて感慨深いならばこの寮生は野田版・研辰である fact3: その急逝が旨いし感慨深いとするとこの寮生は野田版・研辰でない fact4: 仮にその急逝が言い争わない一方でそれが鳴き出すなら感慨深い fact5: その左前方は御入り下されば「最もらしくないし三男坊でない」ということは偽だ fact6: あの元服式は御入り下さる fact7: もしも「その左前方は最もらしくないし更に三男坊であるということはない」ということは成り立たないならばその急逝は三男坊でない fact8: その左前方が三男坊ならばその急逝は三男坊でない fact9: その左前方は御入り下さる fact10: 「その左前方は最もらしくないがそれは三男坊だ」ということは偽だ fact11: もし仮にその急逝は言い争うしまた鳴き出すとすると感慨深い fact12: もし何かは旨くないとしたら「それは海外旅行でなくてその上野田版・研辰であるということはない」ということは偽だ ; $hypothesis$ = 「もしこの寮生が野田版・研辰であるとすればあの急逝は三男坊でないしさらに旨くない」ということは嘘だ ; $proof$ = 
fact4 & fact1 -> int1: その急逝は感慨深い; void -> assump1: 以下のように仮定する。その急逝は旨い; int1 & assump1 -> int2: その急逝は旨いしかつ感慨深い; int2 & fact3 -> int3: 「この寮生は野田版・研辰でない」ということは本当である; void -> assump2: 以下のように仮定する。「この寮生は野田版・研辰だ」ということは偽でない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その急逝は旨くない; fact5 & fact9 -> int6: 「その左前方は最もらしいということはなくて三男坊でない」ということは正しくない; int6 & fact7 -> int7: その急逝は三男坊でない; int5 & int7 -> int8: その急逝は三男坊でないしかつ旨くない; [assump2] & int8 -> hypothesis; __DISPROVED__
事実1: その急逝は言い争わない一方で鳴き出す
事実2: もしその急逝が旨くて感慨深いならばこの寮生は野田版・研辰である
事実3: その急逝が旨いし感慨深いとするとこの寮生は野田版・研辰でない
事実4: 仮にその急逝が言い争わない一方でそれが鳴き出すなら感慨深い
事実5: その左前方は御入り下されば「最もらしくないし三男坊でない」ということは偽だ
事実6: あの元服式は御入り下さる
事実7: もしも「その左前方は最もらしくないし更に三男坊であるということはない」ということは成り立たないならばその急逝は三男坊でない
事実8: その左前方が三男坊ならばその急逝は三男坊でない
事実9: その左前方は御入り下さる
事実10: 「その左前方は最もらしくないがそれは三男坊だ」ということは偽だ
事実11: もし仮にその急逝は言い争うしまた鳴き出すとすると感慨深い
事実12: もし何かは旨くないとしたら「それは海外旅行でなくてその上野田版・研辰であるということはない」ということは偽だ

仮説: 「もしこの寮生が野田版・研辰であるとすればあの急逝は三男坊でないしさらに旨くない」ということは嘘だ
1. 事実4と事実1から、推論1: "その急逝は感慨深い"が導かれる
2. 仮定1: 以下のように仮定する。その急逝は旨い
3. 推論1と仮定1から、推論2: "その急逝は旨いしかつ感慨深い"が導かれる
4. 推論2と事実3から、推論3: "「この寮生は野田版・研辰でない」ということは本当である"が導かれる
5. 仮定2: 以下のように仮定する。「この寮生は野田版・研辰だ」ということは偽でない
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "その急逝は旨くない"が導かれる
8. 事実5と事実9から、推論6: "「その左前方は最もらしいということはなくて三男坊でない」ということは正しくない"が導かれる
9. 推論6と事実7から、推論7: "その急逝は三男坊でない"が導かれる
10. 推論5と推論7から、推論8: "その急逝は三男坊でないしかつ旨くない"が導かれる
11. [仮定2]と推論8から、仮説が否定される

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