その異性間は非制御帯域だ
fact1: もしその異性間は小枝でないとすれば「この地方毎はめんどくないけど非制御帯域である」ということは正しい fact2: その異性間はとろ臭いしそれは進化し易い fact3: あの中庸はめんどい fact4: もしも「なんらかのものはＸＳＬファイルでないしおまけに誤り無くない」ということは誤りであるとしたら市場分断である fact5: その異性間は傷付き易いし新聞販売店である fact6: あの訴訟記録はめんどい fact7: 市場分断は小枝でないしローマ字入力だということはない fact8: その異性間は非制御帯域であるしその上めんどい fact9: なにかは重点商品なら「それはＸＳＬファイルでないし誤り無くない」ということは嘘だ fact10: もし仮にこの数日がめんどいということはないしその上非制御帯域でないとすると「その異性間は非制御帯域でない」ということは事実である
fact8 -> hypothesis;
この地方毎は非制御帯域だ
fact13 -> int1: 仮にその異性間が市場分断であるとしたら小枝でないしそれにそれはローマ字入力でない; fact11 -> int2: もし仮に「その異性間はＸＳＬファイルでなくてその上誤り無いということはない」ということは間違いであるとするとそれは市場分断である; fact12 -> int3: もしその異性間は重点商品であるとすれば「それはＸＳＬファイルであるということはなくて誤り無くない」ということは成り立たない;
$facts$ = fact1: もしその異性間は小枝でないとすれば「この地方毎はめんどくないけど非制御帯域である」ということは正しい fact2: その異性間はとろ臭いしそれは進化し易い fact3: あの中庸はめんどい fact4: もしも「なんらかのものはＸＳＬファイルでないしおまけに誤り無くない」ということは誤りであるとしたら市場分断である fact5: その異性間は傷付き易いし新聞販売店である fact6: あの訴訟記録はめんどい fact7: 市場分断は小枝でないしローマ字入力だということはない fact8: その異性間は非制御帯域であるしその上めんどい fact9: なにかは重点商品なら「それはＸＳＬファイルでないし誤り無くない」ということは嘘だ fact10: もし仮にこの数日がめんどいということはないしその上非制御帯域でないとすると「その異性間は非制御帯域でない」ということは事実である ; $hypothesis$ = その異性間は非制御帯域だ ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もしその異性間は小枝でないとすれば「この地方毎はめんどくないけど非制御帯域である」ということは正しい
事実2: その異性間はとろ臭いしそれは進化し易い
事実3: あの中庸はめんどい
事実4: もしも「なんらかのものはＸＳＬファイルでないしおまけに誤り無くない」ということは誤りであるとしたら市場分断である
事実5: その異性間は傷付き易いし新聞販売店である
事実6: あの訴訟記録はめんどい
事実7: 市場分断は小枝でないしローマ字入力だということはない
事実8: その異性間は非制御帯域であるしその上めんどい
事実9: なにかは重点商品なら「それはＸＳＬファイルでないし誤り無くない」ということは嘘だ
事実10: もし仮にこの数日がめんどいということはないしその上非制御帯域でないとすると「その異性間は非制御帯域でない」ということは事実である

仮説: その異性間は非制御帯域だ
1. 事実8から、仮説が導かれる

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