この満州事変後は苛立たしかない
fact1: 伸ばし易くないかもしくは古臭いものはえぐい fact2: その貿易赤字が苛立たしいならばこの満州事変後は苛立たしかない fact3: その救命は苛立たしい fact4: 「合わせ易い」物はある fact5: この満州事変後は伸ばし易い fact6: もしこの上部体幹が古臭いとすればえぐい fact7: 仮に「古臭い」物があるとすればあの上部体幹は伸ばし易くないかあるいは古臭いかもしくは両方だ fact8: 仮に「その貿易赤字はＤ巻でない」ということは成り立つとするとそれは後継者不足である fact9: もし仮にこの上部体幹がえぐいならばこの満州事変後は苛立たしい fact10: 仮にこの満州事変後が当たり易いということはないとしたら伸ばし易い fact11: もしもとあるものは当て嵌めれば「この満州事変後はもどかしいかまたはそれは当て嵌めるかまたは両方ともだ」ということは事実と異ならない fact12: えぐくないものは苛立たしい fact13: 「古臭い物はえぐい」ということは成り立つ fact14: 「古臭い」ものはある fact15: 「この満州事変後はえぐい」ということは確かだ
fact1 -> int1: もしもこの上部体幹が伸ばし易くないか古臭いかまたは両方ともであるならばそれはえぐい; fact7 & fact14 -> int2: この上部体幹は伸ばし易くないかもしくは古臭いかまたは両方だ; int1 & int2 -> int3: この上部体幹はえぐい; int3 & fact9 -> hypothesis;
この満州事変後は苛立たしかない
$facts$ = fact1: 伸ばし易くないかもしくは古臭いものはえぐい fact2: その貿易赤字が苛立たしいならばこの満州事変後は苛立たしかない fact3: その救命は苛立たしい fact4: 「合わせ易い」物はある fact5: この満州事変後は伸ばし易い fact6: もしこの上部体幹が古臭いとすればえぐい fact7: 仮に「古臭い」物があるとすればあの上部体幹は伸ばし易くないかあるいは古臭いかもしくは両方だ fact8: 仮に「その貿易赤字はＤ巻でない」ということは成り立つとするとそれは後継者不足である fact9: もし仮にこの上部体幹がえぐいならばこの満州事変後は苛立たしい fact10: 仮にこの満州事変後が当たり易いということはないとしたら伸ばし易い fact11: もしもとあるものは当て嵌めれば「この満州事変後はもどかしいかまたはそれは当て嵌めるかまたは両方ともだ」ということは事実と異ならない fact12: えぐくないものは苛立たしい fact13: 「古臭い物はえぐい」ということは成り立つ fact14: 「古臭い」ものはある fact15: 「この満州事変後はえぐい」ということは確かだ ; $hypothesis$ = この満州事変後は苛立たしかない ; $proof$ = 
fact1 -> int1: もしもこの上部体幹が伸ばし易くないか古臭いかまたは両方ともであるならばそれはえぐい; fact7 & fact14 -> int2: この上部体幹は伸ばし易くないかもしくは古臭いかまたは両方だ; int1 & int2 -> int3: この上部体幹はえぐい; int3 & fact9 -> hypothesis; __DISPROVED__
事実1: 伸ばし易くないかもしくは古臭いものはえぐい
事実2: その貿易赤字が苛立たしいならばこの満州事変後は苛立たしかない
事実3: その救命は苛立たしい
事実4: 「合わせ易い」物はある
事実5: この満州事変後は伸ばし易い
事実6: もしこの上部体幹が古臭いとすればえぐい
事実7: 仮に「古臭い」物があるとすればあの上部体幹は伸ばし易くないかあるいは古臭いかもしくは両方だ
事実8: 仮に「その貿易赤字はＤ巻でない」ということは成り立つとするとそれは後継者不足である
事実9: もし仮にこの上部体幹がえぐいならばこの満州事変後は苛立たしい
事実10: 仮にこの満州事変後が当たり易いということはないとしたら伸ばし易い
事実11: もしもとあるものは当て嵌めれば「この満州事変後はもどかしいかまたはそれは当て嵌めるかまたは両方ともだ」ということは事実と異ならない
事実12: えぐくないものは苛立たしい
事実13: 「古臭い物はえぐい」ということは成り立つ
事実14: 「古臭い」ものはある
事実15: 「この満州事変後はえぐい」ということは確かだ

仮説: この満州事変後は苛立たしかない
1. 事実1から、推論1: "もしもこの上部体幹が伸ばし易くないか古臭いかまたは両方ともであるならばそれはえぐい"が導かれる
2. 事実7と事実14から、推論2: "この上部体幹は伸ばし易くないかもしくは古臭いかまたは両方だ"が導かれる
3. 推論1と推論2から、推論3: "この上部体幹はえぐい"が導かれる
4. 推論3と事実9から、仮説が否定される

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