「解け易い権利付与はある」ということは真実でない
fact1: この清算人は権利付与でまたそれは魔界である fact2: この清算人が白地手形だし初座である fact3: 「権利付与な」物はある fact4: この清算人は解け易いし取れ難い fact5: この清算人は引用為さるしかつそれは固定針である fact6: この管理資料は権利付与だ fact7: なんらかのものは御利用頂ける fact8: その九十六陸攻は解け易い fact9: この清算人は図れるしさらに最終行だ fact10: 「弛くてかつ御し易い」物はある
fact1 -> int1: この清算人は権利付与だ; fact4 -> int2: この清算人は解け易い; int1 & int2 -> int3: この清算人は権利付与であるし更に解け易い; int3 -> hypothesis;
$facts$ = fact1: この清算人は権利付与でまたそれは魔界である fact2: この清算人が白地手形だし初座である fact3: 「権利付与な」物はある fact4: この清算人は解け易いし取れ難い fact5: この清算人は引用為さるしかつそれは固定針である fact6: この管理資料は権利付与だ fact7: なんらかのものは御利用頂ける fact8: その九十六陸攻は解け易い fact9: この清算人は図れるしさらに最終行だ fact10: 「弛くてかつ御し易い」物はある ; $hypothesis$ = 「解け易い権利付与はある」ということは真実でない ; $proof$ = 
fact1 -> int1: この清算人は権利付与だ; fact4 -> int2: この清算人は解け易い; int1 & int2 -> int3: この清算人は権利付与であるし更に解け易い; int3 -> hypothesis; __DISPROVED__
事実1: この清算人は権利付与でまたそれは魔界である
事実2: この清算人が白地手形だし初座である
事実3: 「権利付与な」物はある
事実4: この清算人は解け易いし取れ難い
事実5: この清算人は引用為さるしかつそれは固定針である
事実6: この管理資料は権利付与だ
事実7: なんらかのものは御利用頂ける
事実8: その九十六陸攻は解け易い
事実9: この清算人は図れるしさらに最終行だ
事実10: 「弛くてかつ御し易い」物はある

仮説: 「解け易い権利付与はある」ということは真実でない
1. 事実1から、推論1: "この清算人は権利付与だ"が導かれる
2. 事実4から、推論2: "この清算人は解け易い"が導かれる
3. 推論1と推論2から、推論3: "この清算人は権利付与であるし更に解け易い"が導かれる
4. 推論3から、仮説が否定される

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