「その加算値は熱苦しくない一方で思わしい」ということは成り立たない
fact1: その加算値は自己規定しない一方でそれは付き難い fact2: そのリグニンは返り咲く fact3: その加算値は特性語であるということはないけど補給係である fact4: その加算値は特性語でない fact5: もし何らかの物がびくつくしおまけにし難いとするとそれは思わしい fact6: 仮に「その加算値は返り咲く」ということは事実だとすればびくつくということはない fact7: 「この倫理規範違反説は起き難い」ということは成り立つ fact8: その加算値は返り咲く fact9: その加算値は起き難い fact10: もしもその加算値はびくつくしおまけにし難いとすればそれは思わしい fact11: 仮にその加算値が返り咲くとするとびくつかない一方でし難い fact12: 何らかの物がびくつかないがし難いならそれは思わしい fact13: その加算値はびくつかない fact14: その加算値は特性語でないけどくねる fact15: 仮にこの御産が亜高山帯でないけどびくつくなら催す fact16: もしもその加算値が起き難いし更に補給係だとしたらそれは熱苦しくない
fact3 -> int1: その加算値は補給係である; int1 & fact9 -> int2: その加算値は起き難いし更に補給係だ; int2 & fact16 -> int3: その加算値は熱苦しいということはない; fact12 -> int4: 仮にその加算値がびくつかないがしかしし難いならそれは思わしい; fact11 & fact8 -> int5: 「その加算値はびくつかない一方でし難い」ということは正しい; int4 & int5 -> int6: その加算値は思わしい; int3 & int6 -> hypothesis;
$facts$ = fact1: その加算値は自己規定しない一方でそれは付き難い fact2: そのリグニンは返り咲く fact3: その加算値は特性語であるということはないけど補給係である fact4: その加算値は特性語でない fact5: もし何らかの物がびくつくしおまけにし難いとするとそれは思わしい fact6: 仮に「その加算値は返り咲く」ということは事実だとすればびくつくということはない fact7: 「この倫理規範違反説は起き難い」ということは成り立つ fact8: その加算値は返り咲く fact9: その加算値は起き難い fact10: もしもその加算値はびくつくしおまけにし難いとすればそれは思わしい fact11: 仮にその加算値が返り咲くとするとびくつかない一方でし難い fact12: 何らかの物がびくつかないがし難いならそれは思わしい fact13: その加算値はびくつかない fact14: その加算値は特性語でないけどくねる fact15: 仮にこの御産が亜高山帯でないけどびくつくなら催す fact16: もしもその加算値が起き難いし更に補給係だとしたらそれは熱苦しくない ; $hypothesis$ = 「その加算値は熱苦しくない一方で思わしい」ということは成り立たない ; $proof$ = 
fact3 -> int1: その加算値は補給係である; int1 & fact9 -> int2: その加算値は起き難いし更に補給係だ; int2 & fact16 -> int3: その加算値は熱苦しいということはない; fact12 -> int4: 仮にその加算値がびくつかないがしかしし難いならそれは思わしい; fact11 & fact8 -> int5: 「その加算値はびくつかない一方でし難い」ということは正しい; int4 & int5 -> int6: その加算値は思わしい; int3 & int6 -> hypothesis; __DISPROVED__
事実1: その加算値は自己規定しない一方でそれは付き難い
事実2: そのリグニンは返り咲く
事実3: その加算値は特性語であるということはないけど補給係である
事実4: その加算値は特性語でない
事実5: もし何らかの物がびくつくしおまけにし難いとするとそれは思わしい
事実6: 仮に「その加算値は返り咲く」ということは事実だとすればびくつくということはない
事実7: 「この倫理規範違反説は起き難い」ということは成り立つ
事実8: その加算値は返り咲く
事実9: その加算値は起き難い
事実10: もしもその加算値はびくつくしおまけにし難いとすればそれは思わしい
事実11: 仮にその加算値が返り咲くとするとびくつかない一方でし難い
事実12: 何らかの物がびくつかないがし難いならそれは思わしい
事実13: その加算値はびくつかない
事実14: その加算値は特性語でないけどくねる
事実15: 仮にこの御産が亜高山帯でないけどびくつくなら催す
事実16: もしもその加算値が起き難いし更に補給係だとしたらそれは熱苦しくない

仮説: 「その加算値は熱苦しくない一方で思わしい」ということは成り立たない
1. 事実3から、推論1: "その加算値は補給係である"が導かれる
2. 推論1と事実9から、推論2: "その加算値は起き難いし更に補給係だ"が導かれる
3. 推論2と事実16から、推論3: "その加算値は熱苦しいということはない"が導かれる
4. 事実12から、推論4: "仮にその加算値がびくつかないがしかしし難いならそれは思わしい"が導かれる
5. 事実11と事実8から、推論5: "「その加算値はびくつかない一方でし難い」ということは正しい"が導かれる
6. 推論4と推論5から、推論6: "その加算値は思わしい"が導かれる
7. 推論3と推論6から、仮説が否定される

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