「あの大名は改質しないが将軍名代である」ということは成り立たない
fact1: この四当事者は広がり易い fact2: もし「この聖樹は袴姿だけど感じ易いということはない」ということは誤っているなら挿入すらない fact3: もし仮に「とある物はしょぼくれなくてしかも運び易くない」ということは真実でないとしたらしょぼくれる fact4: あの大名は改質するということはない fact5: もしもあの薊が冷め易いとしたらそれは発生し易い fact6: あの薊は広がり易いしそれに使い易い fact7: 何かはしょぼくれるとしたらそれは冷め易いしさらにそれは発生し易いということはない fact8: 「この聖樹は袴姿であるがしかしそれは感じ易くない」ということは成り立たない fact9: 仮になんらかのものは挿入すらないとしたら「しょぼくれなくてそれは運び易くない」ということは成り立たない fact10: あの薊は冷め易い fact11: 仮にこの四当事者が広がり易いしまたＨ氏だとするとあの薊は発生し易くない fact12: もしこの聖樹が発生し易くないとしたらあの薊は広がり易くて加えてそれはＨ氏である fact13: もしもこの四当事者がＨ氏でないとしたらあの大名は改質しない fact14: もしもこの四当事者がＨ氏でないならあの大名は改質するということはないけれど将軍名代である fact15: もし仮にあの薊は広がり易くないなら「この四当事者は冷め易い」ということは成り立つ fact16: あの薊が広がり易いならばこの四当事者は改質する
void -> assump1: 以下のように仮定する。この四当事者はＨ氏だ; fact1 & assump1 -> int1: この四当事者は広がり易くてＨ氏である; int1 & fact11 -> int2: あの薊は発生し易くない; fact5 & fact10 -> int3: あの薊は発生し易い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この四当事者はＨ氏でない; int5 & fact14 -> hypothesis;
「あの大名は改質しない一方でそれは将軍名代だ」ということは間違っている
fact23 -> int6: 仮に「この聖樹はしょぼくれる」ということは正しいとしたらそれは冷め易いが発生し易くない; fact20 -> int7: 「「この聖樹はしょぼくれなくて更にそれは運び易くない」ということは成り立つ」ということは確かでないならばそれはしょぼくれる; fact18 -> int8: この聖樹は挿入すらないならば「それはしょぼくれないしそれは運び易くない」ということは間違っている; fact19 & fact22 -> int9: この聖樹は挿入すらない; int8 & int9 -> int10: 「この聖樹はしょぼくれないしまたそれは運び易くない」ということは成り立たない; int7 & int10 -> int11: この聖樹はしょぼくれる; int6 & int11 -> int12: 「この聖樹は冷め易い一方で発生し易くない」ということは偽でない; int12 -> int13: この聖樹は発生し易くない; fact21 & int13 -> int14: あの薊は広がり易いしまたＨ氏である; int14 -> int15: あの薊は広がり易い; fact17 & int15 -> int16: この四当事者は改質する; int16 -> int17: 「改質する」物はある;
$facts$ = fact1: この四当事者は広がり易い fact2: もし「この聖樹は袴姿だけど感じ易いということはない」ということは誤っているなら挿入すらない fact3: もし仮に「とある物はしょぼくれなくてしかも運び易くない」ということは真実でないとしたらしょぼくれる fact4: あの大名は改質するということはない fact5: もしもあの薊が冷め易いとしたらそれは発生し易い fact6: あの薊は広がり易いしそれに使い易い fact7: 何かはしょぼくれるとしたらそれは冷め易いしさらにそれは発生し易いということはない fact8: 「この聖樹は袴姿であるがしかしそれは感じ易くない」ということは成り立たない fact9: 仮になんらかのものは挿入すらないとしたら「しょぼくれなくてそれは運び易くない」ということは成り立たない fact10: あの薊は冷め易い fact11: 仮にこの四当事者が広がり易いしまたＨ氏だとするとあの薊は発生し易くない fact12: もしこの聖樹が発生し易くないとしたらあの薊は広がり易くて加えてそれはＨ氏である fact13: もしもこの四当事者がＨ氏でないとしたらあの大名は改質しない fact14: もしもこの四当事者がＨ氏でないならあの大名は改質するということはないけれど将軍名代である fact15: もし仮にあの薊は広がり易くないなら「この四当事者は冷め易い」ということは成り立つ fact16: あの薊が広がり易いならばこの四当事者は改質する ; $hypothesis$ = 「あの大名は改質しないが将軍名代である」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この四当事者はＨ氏だ; fact1 & assump1 -> int1: この四当事者は広がり易くてＨ氏である; int1 & fact11 -> int2: あの薊は発生し易くない; fact5 & fact10 -> int3: あの薊は発生し易い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この四当事者はＨ氏でない; int5 & fact14 -> hypothesis; __DISPROVED__
事実1: この四当事者は広がり易い
事実2: もし「この聖樹は袴姿だけど感じ易いということはない」ということは誤っているなら挿入すらない
事実3: もし仮に「とある物はしょぼくれなくてしかも運び易くない」ということは真実でないとしたらしょぼくれる
事実4: あの大名は改質するということはない
事実5: もしもあの薊が冷め易いとしたらそれは発生し易い
事実6: あの薊は広がり易いしそれに使い易い
事実7: 何かはしょぼくれるとしたらそれは冷め易いしさらにそれは発生し易いということはない
事実8: 「この聖樹は袴姿であるがしかしそれは感じ易くない」ということは成り立たない
事実9: 仮になんらかのものは挿入すらないとしたら「しょぼくれなくてそれは運び易くない」ということは成り立たない
事実10: あの薊は冷め易い
事実11: 仮にこの四当事者が広がり易いしまたＨ氏だとするとあの薊は発生し易くない
事実12: もしこの聖樹が発生し易くないとしたらあの薊は広がり易くて加えてそれはＨ氏である
事実13: もしもこの四当事者がＨ氏でないとしたらあの大名は改質しない
事実14: もしもこの四当事者がＨ氏でないならあの大名は改質するということはないけれど将軍名代である
事実15: もし仮にあの薊は広がり易くないなら「この四当事者は冷め易い」ということは成り立つ
事実16: あの薊が広がり易いならばこの四当事者は改質する

仮説: 「あの大名は改質しないが将軍名代である」ということは成り立たない
1. 仮定1: 以下のように仮定する。この四当事者はＨ氏だ
2. 事実1と仮定1から、推論1: "この四当事者は広がり易くてＨ氏である"が導かれる
3. 推論1と事実11から、推論2: "あの薊は発生し易くない"が導かれる
4. 事実5と事実10から、推論3: "あの薊は発生し易い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この四当事者はＨ氏でない"が導かれる
7. 推論5と事実14から、仮説が否定される

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