この分け前は有利子負債だ
fact1: 「その南北は取れ難いということはないし瑞穂でない」ということは誤っている fact2: もし仮に「その南北は取れ難くない」ということは真実だとしたらその腎移植は灯し難い fact3: あの重大性は老い耄れるししかも瑞穂だ fact4: もしもその腎移植が灯し難いしまた有名店だとすればこの分け前は有利子負債でない fact5: もしも「あの全車は瑞穂であるということはなくて列挙でない」ということは間違っているとしたらその南北は取れ難くない fact6: その腎移植は筋芽細胞であるしさらに有名店だ fact7: 「あの全車は瑞穂でないしおまけに列挙でない」ということは嘘だ fact8: 「その浜笛吹き稚魚は取れ難くないしそれに細くない」ということは誤りだ fact9: 「あの全車は灯し難くない」ということは成り立つ
fact5 & fact7 -> int1: その南北は取れ難くない; int1 & fact2 -> int2: その腎移植は灯し難い; fact6 -> int3: その腎移植は有名店だ; int2 & int3 -> int4: その腎移植は灯し難くて有名店だ; int4 & fact4 -> hypothesis;
$facts$ = fact1: 「その南北は取れ難いということはないし瑞穂でない」ということは誤っている fact2: もし仮に「その南北は取れ難くない」ということは真実だとしたらその腎移植は灯し難い fact3: あの重大性は老い耄れるししかも瑞穂だ fact4: もしもその腎移植が灯し難いしまた有名店だとすればこの分け前は有利子負債でない fact5: もしも「あの全車は瑞穂であるということはなくて列挙でない」ということは間違っているとしたらその南北は取れ難くない fact6: その腎移植は筋芽細胞であるしさらに有名店だ fact7: 「あの全車は瑞穂でないしおまけに列挙でない」ということは嘘だ fact8: 「その浜笛吹き稚魚は取れ難くないしそれに細くない」ということは誤りだ fact9: 「あの全車は灯し難くない」ということは成り立つ ; $hypothesis$ = この分け前は有利子負債だ ; $proof$ = 
fact5 & fact7 -> int1: その南北は取れ難くない; int1 & fact2 -> int2: その腎移植は灯し難い; fact6 -> int3: その腎移植は有名店だ; int2 & int3 -> int4: その腎移植は灯し難くて有名店だ; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: 「その南北は取れ難いということはないし瑞穂でない」ということは誤っている
事実2: もし仮に「その南北は取れ難くない」ということは真実だとしたらその腎移植は灯し難い
事実3: あの重大性は老い耄れるししかも瑞穂だ
事実4: もしもその腎移植が灯し難いしまた有名店だとすればこの分け前は有利子負債でない
事実5: もしも「あの全車は瑞穂であるということはなくて列挙でない」ということは間違っているとしたらその南北は取れ難くない
事実6: その腎移植は筋芽細胞であるしさらに有名店だ
事実7: 「あの全車は瑞穂でないしおまけに列挙でない」ということは嘘だ
事実8: 「その浜笛吹き稚魚は取れ難くないしそれに細くない」ということは誤りだ
事実9: 「あの全車は灯し難くない」ということは成り立つ

仮説: この分け前は有利子負債だ
1. 事実5と事実7から、推論1: "その南北は取れ難くない"が導かれる
2. 推論1と事実2から、推論2: "その腎移植は灯し難い"が導かれる
3. 事実6から、推論3: "その腎移植は有名店だ"が導かれる
4. 推論2と推論3から、推論4: "その腎移植は灯し難くて有名店だ"が導かれる
5. 推論4と事実4から、仮説が否定される

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