この湾曲は溶け難い
fact1: その可否同数は崩れ去るしそれに近代世界である fact2: その可否同数が近代世界であるかまたは山野さん宅であるかあるいはどちらもであるとすると「この湾曲は溶け難いということはない」ということは本当である fact3: あの声望は崩れ去る
fact1 -> int1: その可否同数は近代世界だ; int1 -> int2: その可否同数は近代世界であるかもしくは山野さん宅だ; int2 & fact2 -> hypothesis;
$facts$ = fact1: その可否同数は崩れ去るしそれに近代世界である fact2: その可否同数が近代世界であるかまたは山野さん宅であるかあるいはどちらもであるとすると「この湾曲は溶け難いということはない」ということは本当である fact3: あの声望は崩れ去る ; $hypothesis$ = この湾曲は溶け難い ; $proof$ = 
fact1 -> int1: その可否同数は近代世界だ; int1 -> int2: その可否同数は近代世界であるかもしくは山野さん宅だ; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: その可否同数は崩れ去るしそれに近代世界である
事実2: その可否同数が近代世界であるかまたは山野さん宅であるかあるいはどちらもであるとすると「この湾曲は溶け難いということはない」ということは本当である
事実3: あの声望は崩れ去る

仮説: この湾曲は溶け難い
1. 事実1から、推論1: "その可否同数は近代世界だ"が導かれる
2. 推論1から、推論2: "その可否同数は近代世界であるかもしくは山野さん宅だ"が導かれる
3. 推論2と事実2から、仮説が否定される

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