そのランメソッドは聞こゆないかあるいはそれはしぶとい
fact1: 「その観光路線は聞こゆ」ということは正しいとすればこの青魚は走り易くないかあるいはそれはコピーするかあるいは両方だ fact2: もしその視床下部ホルモンが給与するということはないけどそれは集め易いとすると「そのランメソッドは集め易くない」ということは成り立つ fact3: もしも「そのランメソッドは粘りでない一方でそれは拭く」ということは正しくないとするとあのローカルユーザーは啜らない fact4: 仮になにがしかのものは集め易くないならば「粘りでなくてそれは拭く」ということは事実と異なる fact5: 「もしそのランメソッドは混ずるとすれば「そのランメソッドは聞こゆないかそれはしぶといかどちらもだ」ということは間違っている」ということは成り立つ fact6: 仮に「あのローカルユーザーはしぶとい」ということは確かであるとすれば「そのランメソッドは聞こゆないかしぶといかもしくはどちらもだ」ということは成り立つ fact7: その視床下部ホルモンは給与しないけどそれは集め易い fact8: 「その観光路線は点灯する一方でそれは保険料納付要件でない」ということは成り立たない fact9: 仮に「その観光路線は点灯するけれど保険料納付要件でない」ということは成り立つということはないとすれば「あのローカルユーザーはしぶとい」ということは間違っていない fact10: 「何らかのものは聞こゆないししかもそれは混ぜない」ということは間違っていればそれは聞こゆ fact11: 何らかの物はしぶといということはないなら「聞こゆないし混ずるということはない」ということは正しくない fact12: 仮に「何かはひりひりするかあるいは馬鹿でかくないか両方である」ということは成り立たないとすると「それはしぶとくない」ということは真実だ
fact9 & fact8 -> int1: あのローカルユーザーはしぶとい; int1 & fact6 -> hypothesis;
fact9 & fact8 -> int1: {B}{b}; int1 & fact6 -> hypothesis;
「そのランメソッドは聞こゆないかしぶといかあるいはどちらもだ」ということは間違いである
$facts$ = fact1: 「その観光路線は聞こゆ」ということは正しいとすればこの青魚は走り易くないかあるいはそれはコピーするかあるいは両方だ fact2: もしその視床下部ホルモンが給与するということはないけどそれは集め易いとすると「そのランメソッドは集め易くない」ということは成り立つ fact3: もしも「そのランメソッドは粘りでない一方でそれは拭く」ということは正しくないとするとあのローカルユーザーは啜らない fact4: 仮になにがしかのものは集め易くないならば「粘りでなくてそれは拭く」ということは事実と異なる fact5: 「もしそのランメソッドは混ずるとすれば「そのランメソッドは聞こゆないかそれはしぶといかどちらもだ」ということは間違っている」ということは成り立つ fact6: 仮に「あのローカルユーザーはしぶとい」ということは確かであるとすれば「そのランメソッドは聞こゆないかしぶといかもしくはどちらもだ」ということは成り立つ fact7: その視床下部ホルモンは給与しないけどそれは集め易い fact8: 「その観光路線は点灯する一方でそれは保険料納付要件でない」ということは成り立たない fact9: 仮に「その観光路線は点灯するけれど保険料納付要件でない」ということは成り立つということはないとすれば「あのローカルユーザーはしぶとい」ということは間違っていない fact10: 「何らかのものは聞こゆないししかもそれは混ぜない」ということは間違っていればそれは聞こゆ fact11: 何らかの物はしぶといということはないなら「聞こゆないし混ずるということはない」ということは正しくない fact12: 仮に「何かはひりひりするかあるいは馬鹿でかくないか両方である」ということは成り立たないとすると「それはしぶとくない」ということは真実だ ; $hypothesis$ = そのランメソッドは聞こゆないかあるいはそれはしぶとい ; $proof$ = 
fact9 & fact8 -> int1: あのローカルユーザーはしぶとい; int1 & fact6 -> hypothesis; __PROVED__
事実1: 「その観光路線は聞こゆ」ということは正しいとすればこの青魚は走り易くないかあるいはそれはコピーするかあるいは両方だ
事実2: もしその視床下部ホルモンが給与するということはないけどそれは集め易いとすると「そのランメソッドは集め易くない」ということは成り立つ
事実3: もしも「そのランメソッドは粘りでない一方でそれは拭く」ということは正しくないとするとあのローカルユーザーは啜らない
事実4: 仮になにがしかのものは集め易くないならば「粘りでなくてそれは拭く」ということは事実と異なる
事実5: 「もしそのランメソッドは混ずるとすれば「そのランメソッドは聞こゆないかそれはしぶといかどちらもだ」ということは間違っている」ということは成り立つ
事実6: 仮に「あのローカルユーザーはしぶとい」ということは確かであるとすれば「そのランメソッドは聞こゆないかしぶといかもしくはどちらもだ」ということは成り立つ
事実7: その視床下部ホルモンは給与しないけどそれは集め易い
事実8: 「その観光路線は点灯する一方でそれは保険料納付要件でない」ということは成り立たない
事実9: 仮に「その観光路線は点灯するけれど保険料納付要件でない」ということは成り立つということはないとすれば「あのローカルユーザーはしぶとい」ということは間違っていない
事実10: 「何らかのものは聞こゆないししかもそれは混ぜない」ということは間違っていればそれは聞こゆ
事実11: 何らかの物はしぶといということはないなら「聞こゆないし混ずるということはない」ということは正しくない
事実12: 仮に「何かはひりひりするかあるいは馬鹿でかくないか両方である」ということは成り立たないとすると「それはしぶとくない」ということは真実だ

仮説: そのランメソッドは聞こゆないかあるいはそれはしぶとい
1. 事実9と事実8から、推論1: "あのローカルユーザーはしぶとい"が導かれる
2. 推論1と事実6から、仮説が導かれる

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