その参使は歩すらない
fact1: もしその新古今集が旅行パンフでないけど会社経営者であるとしたらその参使は歩す fact2: あの各振動数は歌わさない fact3: もしもあの糠袋が敬するということはなくてまたそれが歌わさないとするとそれは歩すらない fact4: その新古今集は歌わさない fact5: もし仮にその新古今集が歌わさないとすれば旅行パンフでなくてそれに会社経営者だ
fact5 & fact4 -> int1: その新古今集は旅行パンフでないけれど会社経営者である; int1 & fact1 -> hypothesis;
fact5 & fact4 -> int1: (¬{AA}{a} & {AB}{a}); int1 & fact1 -> hypothesis;
あの糠袋は歩すらない
$facts$ = fact1: もしその新古今集が旅行パンフでないけど会社経営者であるとしたらその参使は歩す fact2: あの各振動数は歌わさない fact3: もしもあの糠袋が敬するということはなくてまたそれが歌わさないとするとそれは歩すらない fact4: その新古今集は歌わさない fact5: もし仮にその新古今集が歌わさないとすれば旅行パンフでなくてそれに会社経営者だ ; $hypothesis$ = その参使は歩すらない ; $proof$ = 
fact5 & fact4 -> int1: その新古今集は旅行パンフでないけれど会社経営者である; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしその新古今集が旅行パンフでないけど会社経営者であるとしたらその参使は歩す
事実2: あの各振動数は歌わさない
事実3: もしもあの糠袋が敬するということはなくてまたそれが歌わさないとするとそれは歩すらない
事実4: その新古今集は歌わさない
事実5: もし仮にその新古今集が歌わさないとすれば旅行パンフでなくてそれに会社経営者だ

仮説: その参使は歩すらない
1. 事実5と事実4から、推論1: "その新古今集は旅行パンフでないけれど会社経営者である"が導かれる
2. 推論1と事実1から、仮説が否定される

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