「もし仮に通勤するが吹き飛ばないなら消費国でない」ものはある
fact1: 「仮に通勤する一方で吹き飛ばないとすると消費国である」ものはある fact2: 「もし仮に胸苦しくて細川政権でないとしたら見え難くない」ものはある fact3: 消費国が乗り換えでないとすればそれは見え難くない fact4: 「もし仮に通勤するしそれに吹き飛ぶなら消費国でない」物はある fact5: もし仮にこの発声器官が眇めるし吹き飛べば疑わない fact6: もし仮にこのスカベンジャーは通勤するけれど吹き飛ばないとすればそれは消費国でない fact7: 仮にこのスカベンジャーが通勤するけど吹き飛ばないとすれば消費国である
fact6 -> hypothesis;
このスカベンジャーは消費国であるが乗り換えでないならばそれは見え難くない
fact8 -> hypothesis;
$facts$ = fact1: 「仮に通勤する一方で吹き飛ばないとすると消費国である」ものはある fact2: 「もし仮に胸苦しくて細川政権でないとしたら見え難くない」ものはある fact3: 消費国が乗り換えでないとすればそれは見え難くない fact4: 「もし仮に通勤するしそれに吹き飛ぶなら消費国でない」物はある fact5: もし仮にこの発声器官が眇めるし吹き飛べば疑わない fact6: もし仮にこのスカベンジャーは通勤するけれど吹き飛ばないとすればそれは消費国でない fact7: 仮にこのスカベンジャーが通勤するけど吹き飛ばないとすれば消費国である ; $hypothesis$ = 「もし仮に通勤するが吹き飛ばないなら消費国でない」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「仮に通勤する一方で吹き飛ばないとすると消費国である」ものはある
事実2: 「もし仮に胸苦しくて細川政権でないとしたら見え難くない」ものはある
事実3: 消費国が乗り換えでないとすればそれは見え難くない
事実4: 「もし仮に通勤するしそれに吹き飛ぶなら消費国でない」物はある
事実5: もし仮にこの発声器官が眇めるし吹き飛べば疑わない
事実6: もし仮にこのスカベンジャーは通勤するけれど吹き飛ばないとすればそれは消費国でない
事実7: 仮にこのスカベンジャーが通勤するけど吹き飛ばないとすれば消費国である

仮説: 「もし仮に通勤するが吹き飛ばないなら消費国でない」ものはある
1. 事実6から、仮説が導かれる

よって、仮説が証明されました。