あの命中は伝道する
fact1: もしも何らかのものが溜まり易いかもしくは干渉実験であるかどちらもなら近しくない fact2: 近しいものは伝道しない fact3: もし仮に「その英はまあるくない一方で捕縛する」ということは間違っているならあの命中は伝道しない fact4: その中間学派は捕縛する fact5: もし仮にその中間学派が確認し易いとするとその英は溜まり易い fact6: 仮にその中間学派が取り締まれば確認し易い fact7: あの命中はまあるい fact8: この楷は取り締まる fact9: その中間学派は取り締まる fact10: あの命中は取り締まる fact11: なにかは近しいということはないとしたら「まあるかないが捕縛する」ということは誤りである
fact6 & fact9 -> int1: その中間学派は確認し易い; int1 & fact5 -> int2: その英は溜まり易い; int2 -> int3: その英は溜まり易いかあるいはそれは干渉実験であるかまたは両方である; fact1 -> int4: 仮にその英が溜まり易いかあるいは干渉実験だとしたら「それは近しい」ということは事実と異なる; int3 & int4 -> int5: 「その英は近しい」ということは偽だ; fact11 -> int6: 仮にその英は近しくないとすれば「それはまあるかないけれど捕縛する」ということは成り立たない; int5 & int6 -> int7: 「その英はまあるくないけれど捕縛する」ということは成り立たない; int7 & fact3 -> hypothesis;
$facts$ = fact1: もしも何らかのものが溜まり易いかもしくは干渉実験であるかどちらもなら近しくない fact2: 近しいものは伝道しない fact3: もし仮に「その英はまあるくない一方で捕縛する」ということは間違っているならあの命中は伝道しない fact4: その中間学派は捕縛する fact5: もし仮にその中間学派が確認し易いとするとその英は溜まり易い fact6: 仮にその中間学派が取り締まれば確認し易い fact7: あの命中はまあるい fact8: この楷は取り締まる fact9: その中間学派は取り締まる fact10: あの命中は取り締まる fact11: なにかは近しいということはないとしたら「まあるかないが捕縛する」ということは誤りである ; $hypothesis$ = あの命中は伝道する ; $proof$ = 
fact6 & fact9 -> int1: その中間学派は確認し易い; int1 & fact5 -> int2: その英は溜まり易い; int2 -> int3: その英は溜まり易いかあるいはそれは干渉実験であるかまたは両方である; fact1 -> int4: 仮にその英が溜まり易いかあるいは干渉実験だとしたら「それは近しい」ということは事実と異なる; int3 & int4 -> int5: 「その英は近しい」ということは偽だ; fact11 -> int6: 仮にその英は近しくないとすれば「それはまあるかないけれど捕縛する」ということは成り立たない; int5 & int6 -> int7: 「その英はまあるくないけれど捕縛する」ということは成り立たない; int7 & fact3 -> hypothesis; __DISPROVED__
事実1: もしも何らかのものが溜まり易いかもしくは干渉実験であるかどちらもなら近しくない
事実2: 近しいものは伝道しない
事実3: もし仮に「その英はまあるくない一方で捕縛する」ということは間違っているならあの命中は伝道しない
事実4: その中間学派は捕縛する
事実5: もし仮にその中間学派が確認し易いとするとその英は溜まり易い
事実6: 仮にその中間学派が取り締まれば確認し易い
事実7: あの命中はまあるい
事実8: この楷は取り締まる
事実9: その中間学派は取り締まる
事実10: あの命中は取り締まる
事実11: なにかは近しいということはないとしたら「まあるかないが捕縛する」ということは誤りである

仮説: あの命中は伝道する
1. 事実6と事実9から、推論1: "その中間学派は確認し易い"が導かれる
2. 推論1と事実5から、推論2: "その英は溜まり易い"が導かれる
3. 推論2から、推論3: "その英は溜まり易いかあるいはそれは干渉実験であるかまたは両方である"が導かれる
4. 事実1から、推論4: "仮にその英が溜まり易いかあるいは干渉実験だとしたら「それは近しい」ということは事実と異なる"が導かれる
5. 推論3と推論4から、推論5: "「その英は近しい」ということは偽だ"が導かれる
6. 事実11から、推論6: "仮にその英は近しくないとすれば「それはまあるかないけれど捕縛する」ということは成り立たない"が導かれる
7. 推論5と推論6から、推論7: "「その英はまあるくないけれど捕縛する」ということは成り立たない"が導かれる
8. 推論7と事実3から、仮説が否定される

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