その申告期限延長はユニゾンでない
fact1: この付け麺が発令するならその申告期限延長はユニゾンだ fact2: 仮にこの付け麺がユニゾンだとすればあの申告期限延長は発令する fact3: この付け麺は忘れ難い fact4: この付け麺は忘れ難いしユニゾンである fact5: この付け麺は大満足する fact6: この付け麺は忘れ難いしまたそれは発令する fact7: この付け麺はユニゾンであるし加えてそれは忘れ難い fact8: その申告期限延長は発令する
fact6 -> int1: この付け麺は発令する; int1 & fact1 -> hypothesis;
fact6 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: この付け麺が発令するならその申告期限延長はユニゾンだ fact2: 仮にこの付け麺がユニゾンだとすればあの申告期限延長は発令する fact3: この付け麺は忘れ難い fact4: この付け麺は忘れ難いしユニゾンである fact5: この付け麺は大満足する fact6: この付け麺は忘れ難いしまたそれは発令する fact7: この付け麺はユニゾンであるし加えてそれは忘れ難い fact8: その申告期限延長は発令する ; $hypothesis$ = その申告期限延長はユニゾンでない ; $proof$ = 
fact6 -> int1: この付け麺は発令する; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: この付け麺が発令するならその申告期限延長はユニゾンだ
事実2: 仮にこの付け麺がユニゾンだとすればあの申告期限延長は発令する
事実3: この付け麺は忘れ難い
事実4: この付け麺は忘れ難いしユニゾンである
事実5: この付け麺は大満足する
事実6: この付け麺は忘れ難いしまたそれは発令する
事実7: この付け麺はユニゾンであるし加えてそれは忘れ難い
事実8: その申告期限延長は発令する

仮説: その申告期限延長はユニゾンでない
1. 事実6から、推論1: "この付け麺は発令する"が導かれる
2. 推論1と事実1から、仮説が否定される

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