このこけしは御嫁入りでない
fact1: このこけしはトリップする fact2: もしあの造精能が御嫁入りならこのこけしは毒々しい fact3: もしもこのこけしが毒々しいならこの試合後は毒々しい fact4: もし仮にあるものが引き下がらないとすればそれは御嫁入りであるしさらに御任せる fact5: その評価・換算差額等は毒々しい fact6: もし「あの創立は引き下がらなくて更に受動でない」ということは成り立たないならばあの造精能は引き下がらない fact7: このこけしは線引きするしおまけに古めかしい fact8: あの自然主義は御嫁入りである fact9: あの本屋は見易くて御嫁入りである fact10: このこけしは浅い fact11: その上記Ｂは毒々しい fact12: このこけしは患者血清中だ fact13: このこけしは毒々しい fact14: このこけしは御嫁入りであるしそれに毒々しい
fact14 -> hypothesis;
fact14 -> hypothesis;
この試合後は毒々しい
fact17 -> int1: もしも「あの造精能は引き下がるということはない」ということは偽でないとすればそれは御嫁入りでまたそれは御任せる;
$facts$ = fact1: このこけしはトリップする fact2: もしあの造精能が御嫁入りならこのこけしは毒々しい fact3: もしもこのこけしが毒々しいならこの試合後は毒々しい fact4: もし仮にあるものが引き下がらないとすればそれは御嫁入りであるしさらに御任せる fact5: その評価・換算差額等は毒々しい fact6: もし「あの創立は引き下がらなくて更に受動でない」ということは成り立たないならばあの造精能は引き下がらない fact7: このこけしは線引きするしおまけに古めかしい fact8: あの自然主義は御嫁入りである fact9: あの本屋は見易くて御嫁入りである fact10: このこけしは浅い fact11: その上記Ｂは毒々しい fact12: このこけしは患者血清中だ fact13: このこけしは毒々しい fact14: このこけしは御嫁入りであるしそれに毒々しい ; $hypothesis$ = このこけしは御嫁入りでない ; $proof$ = 
fact14 -> hypothesis; __DISPROVED__
事実1: このこけしはトリップする
事実2: もしあの造精能が御嫁入りならこのこけしは毒々しい
事実3: もしもこのこけしが毒々しいならこの試合後は毒々しい
事実4: もし仮にあるものが引き下がらないとすればそれは御嫁入りであるしさらに御任せる
事実5: その評価・換算差額等は毒々しい
事実6: もし「あの創立は引き下がらなくて更に受動でない」ということは成り立たないならばあの造精能は引き下がらない
事実7: このこけしは線引きするしおまけに古めかしい
事実8: あの自然主義は御嫁入りである
事実9: あの本屋は見易くて御嫁入りである
事実10: このこけしは浅い
事実11: その上記Ｂは毒々しい
事実12: このこけしは患者血清中だ
事実13: このこけしは毒々しい
事実14: このこけしは御嫁入りであるしそれに毒々しい

仮説: このこけしは御嫁入りでない
1. 事実14から、仮説が否定される

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