その転移は心弱くない
fact1: 何らかのものはリヤでない fact2: もしもあのミュール鉄道が心弱いしその上取り止めであるとしたらその転移は心弱くない fact3: 「スポーティさである」ものはある fact4: 「取り止めでない」ものがあればあのミュール鉄道は延長運転しない fact5: 何らかの物は取り止めである fact6: ある物は取り止めでない fact7: あのミュール鉄道は心弱いがしかし延長運転するということはない fact8: とある物はスポーティさであるし加えてそれは延長運転する fact9: もし仮にその江戸患いが延長運転すればそれはスポーティさだ fact10: 「臭い」ものはある fact11: 「延長運転しない」物はある fact12: あのミュール鉄道は延長運転しない fact13: 「あのミュール鉄道は配偶者加給年金額だ」ということは事実である fact14: 「心弱い」物はある fact15: もしも「なんらかの物はスポーティさでなくてしかも心弱くない」ということは成り立たないとしたらそれは心弱い fact16: あのミュール鉄道はラインナップする fact17: 仮にとあるものがスポーティさだけど延長運転しないならばその転移は心弱い fact18: もし「取り止めでない」物があるならあのミュール鉄道はスポーティさであるけど延長運転しない fact19: 仮に「延長運転しない」ものがあるとするとあのミュール鉄道は心弱い fact20: 「「その江戸患いは延長運転するということはなくてすんごくない」ということは成り立つ」ということは成り立たないとすると延長運転する fact21: 「心弱くない」物はある
fact6 & fact18 -> int1: あのミュール鉄道はスポーティさだ一方で延長運転しない; int1 -> int2: 「スポーティさであるけれど延長運転しない」物はある; int2 & fact17 -> hypothesis;
fact6 & fact18 -> int1: ({B}{a} & ¬{C}{a}); int1 -> int2: (Ex): ({B}x & ¬{C}x); int2 & fact17 -> hypothesis;
その転移は心弱くない
fact25 -> int3: もし仮に「あのミュール鉄道はスポーティさでないし更に心弱くない」ということは嘘だとすればそれは心弱い;
$facts$ = fact1: 何らかのものはリヤでない fact2: もしもあのミュール鉄道が心弱いしその上取り止めであるとしたらその転移は心弱くない fact3: 「スポーティさである」ものはある fact4: 「取り止めでない」ものがあればあのミュール鉄道は延長運転しない fact5: 何らかの物は取り止めである fact6: ある物は取り止めでない fact7: あのミュール鉄道は心弱いがしかし延長運転するということはない fact8: とある物はスポーティさであるし加えてそれは延長運転する fact9: もし仮にその江戸患いが延長運転すればそれはスポーティさだ fact10: 「臭い」ものはある fact11: 「延長運転しない」物はある fact12: あのミュール鉄道は延長運転しない fact13: 「あのミュール鉄道は配偶者加給年金額だ」ということは事実である fact14: 「心弱い」物はある fact15: もしも「なんらかの物はスポーティさでなくてしかも心弱くない」ということは成り立たないとしたらそれは心弱い fact16: あのミュール鉄道はラインナップする fact17: 仮にとあるものがスポーティさだけど延長運転しないならばその転移は心弱い fact18: もし「取り止めでない」物があるならあのミュール鉄道はスポーティさであるけど延長運転しない fact19: 仮に「延長運転しない」ものがあるとするとあのミュール鉄道は心弱い fact20: 「「その江戸患いは延長運転するということはなくてすんごくない」ということは成り立つ」ということは成り立たないとすると延長運転する fact21: 「心弱くない」物はある ; $hypothesis$ = その転移は心弱くない ; $proof$ = 
fact6 & fact18 -> int1: あのミュール鉄道はスポーティさだ一方で延長運転しない; int1 -> int2: 「スポーティさであるけれど延長運転しない」物はある; int2 & fact17 -> hypothesis; __DISPROVED__
事実1: 何らかのものはリヤでない
事実2: もしもあのミュール鉄道が心弱いしその上取り止めであるとしたらその転移は心弱くない
事実3: 「スポーティさである」ものはある
事実4: 「取り止めでない」ものがあればあのミュール鉄道は延長運転しない
事実5: 何らかの物は取り止めである
事実6: ある物は取り止めでない
事実7: あのミュール鉄道は心弱いがしかし延長運転するということはない
事実8: とある物はスポーティさであるし加えてそれは延長運転する
事実9: もし仮にその江戸患いが延長運転すればそれはスポーティさだ
事実10: 「臭い」ものはある
事実11: 「延長運転しない」物はある
事実12: あのミュール鉄道は延長運転しない
事実13: 「あのミュール鉄道は配偶者加給年金額だ」ということは事実である
事実14: 「心弱い」物はある
事実15: もしも「なんらかの物はスポーティさでなくてしかも心弱くない」ということは成り立たないとしたらそれは心弱い
事実16: あのミュール鉄道はラインナップする
事実17: 仮にとあるものがスポーティさだけど延長運転しないならばその転移は心弱い
事実18: もし「取り止めでない」物があるならあのミュール鉄道はスポーティさであるけど延長運転しない
事実19: 仮に「延長運転しない」ものがあるとするとあのミュール鉄道は心弱い
事実20: 「「その江戸患いは延長運転するということはなくてすんごくない」ということは成り立つ」ということは成り立たないとすると延長運転する
事実21: 「心弱くない」物はある

仮説: その転移は心弱くない
1. 事実6と事実18から、推論1: "あのミュール鉄道はスポーティさだ一方で延長運転しない"が導かれる
2. 推論1から、推論2: "「スポーティさであるけれど延長運転しない」物はある"が導かれる
3. 推論2と事実17から、仮説が否定される

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