「そのネットワーク外部性は理解し辛くない」ということは確かである
fact1: 「「薄汚いし転進する」ということは本当でない」物はある fact2: もし仮に「「理解し辛くない」ということは真実な」ものがあるとするとその山Ｌは衰えである fact3: 「あの通商産業局長は州師将軍であるしそれは調節し易い」ということは嘘である fact4: 「州師将軍であるし理解し辛い」物はある fact5: 「そのネットワーク外部性は理解し辛いしその上州師将軍だ」ということは嘘である fact6: あの黄斑は調節し易い fact7: 仮に「「州師将軍であるしその上調節し易い」ということは間違っている」物はあれば「そのネットワーク外部性は理解し辛い」ということは真実である fact8: あの通商産業局長は発生し難い
fact3 -> int1: 「「州師将軍であるし調節し易い」ということは事実と異なる」物はある; int1 & fact7 -> hypothesis;
$facts$ = fact1: 「「薄汚いし転進する」ということは本当でない」物はある fact2: もし仮に「「理解し辛くない」ということは真実な」ものがあるとするとその山Ｌは衰えである fact3: 「あの通商産業局長は州師将軍であるしそれは調節し易い」ということは嘘である fact4: 「州師将軍であるし理解し辛い」物はある fact5: 「そのネットワーク外部性は理解し辛いしその上州師将軍だ」ということは嘘である fact6: あの黄斑は調節し易い fact7: 仮に「「州師将軍であるしその上調節し易い」ということは間違っている」物はあれば「そのネットワーク外部性は理解し辛い」ということは真実である fact8: あの通商産業局長は発生し難い ; $hypothesis$ = 「そのネットワーク外部性は理解し辛くない」ということは確かである ; $proof$ = 
fact3 -> int1: 「「州師将軍であるし調節し易い」ということは事実と異なる」物はある; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: 「「薄汚いし転進する」ということは本当でない」物はある
事実2: もし仮に「「理解し辛くない」ということは真実な」ものがあるとするとその山Ｌは衰えである
事実3: 「あの通商産業局長は州師将軍であるしそれは調節し易い」ということは嘘である
事実4: 「州師将軍であるし理解し辛い」物はある
事実5: 「そのネットワーク外部性は理解し辛いしその上州師将軍だ」ということは嘘である
事実6: あの黄斑は調節し易い
事実7: 仮に「「州師将軍であるしその上調節し易い」ということは間違っている」物はあれば「そのネットワーク外部性は理解し辛い」ということは真実である
事実8: あの通商産業局長は発生し難い

仮説: 「そのネットワーク外部性は理解し辛くない」ということは確かである
1. 事実3から、推論1: "「「州師将軍であるし調節し易い」ということは事実と異なる」物はある"が導かれる
2. 推論1と事実7から、仮説が否定される

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