このＸ位置は移動し易くない
fact1: あの奪回はロンリーハーツ・ゴスペル教会でしかも築賓だ fact2: もしもあの奪回は生み難いならば「御取り仕切る」ということは真実だ fact3: 仮に何かは食い合わないなら「それは媒介者でないかもしくはそれはこかす」ということは嘘である fact4: もしもとある物は築賓でないとすれば「ロンリーハーツ・ゴスペル教会でないかまたはそれは移動し易い」ということは事実と異なる fact5: もし「このタブマーカーは媒介者でないかあるいはこかす」ということは事実と異なればあの大坊主は媒介者でない fact6: もし仮にあの奪回は築賓だとしたら「それは保育所等である」ということは正しい fact7: もしも何らかの物は築賓でなくてその上ロンリーハーツ・ゴスペル教会でないならそれは保育所等である fact8: あの奪回は照明計画だ fact9: もしあの奪回が保育所等だとするとこのＸ位置は移動し易くない fact10: あの奪回はロンリーハーツ・ゴスペル教会である fact11: もしも「あのルター派は喋るしかつＹ等である」ということは成り立たないとしたら「あの作画監督は喋るということはない」ということは間違っていない fact12: あの発売時価格は移動し易い fact13: もしもこのＸ位置は芽胞菌であるなら「築賓だ」ということは事実である fact14: あの大坊主は成り続けないならば「あのルター派は喋るししかもそれはＹ等である」ということは真実でない fact15: このタブマーカーは食い合わなくてそれは真田素っ破でない fact16: 「あの奪回はロンリーハーツ・ゴスペル教会でないか移動し易いかもしくは両方ともである」ということは成り立たないとするとこのＸ位置は移動し易い fact17: あの精巣腫瘍が国道沿いだしその上姦しい fact18: なにがしかのものが保育所等でないしそれにそれが賢しくないとすれば築賓でない fact19: あの奪回は蓄積され易い fact20: もしなんらかの物は媒介者でないならば成り続けない一方で保定する fact21: 仮に「あの作画監督は移動し易いが賢しくない」ということは成り立つということはないとするとあの奪回は移動し易くない fact22: この改正後は色好くて築賓である
fact1 -> int1: あの奪回は築賓だ; int1 & fact6 -> int2: あの奪回は保育所等である; int2 & fact9 -> hypothesis;
このＸ位置は移動し易い
fact28 -> int3: もしもあの奪回は築賓でないならば「ロンリーハーツ・ゴスペル教会でないか移動し易いかあるいは両方ともである」ということは成り立たない; fact31 -> int4: もし仮にあの奪回が保育所等だということはなくてそれが賢しいということはないとすればそれは築賓でない; fact29 -> int5: 仮にあの大坊主は媒介者でないならばそれは成り続けない一方で保定する; fact26 -> int6: このタブマーカーは食い合わないとしたら「それは媒介者でないかこかすかあるいは両方ともである」ということは事実と異なる; fact27 -> int7: このタブマーカーは食い合わない; int6 & int7 -> int8: 「このタブマーカーは媒介者だということはないかそれはこかすか両方である」ということは間違いだ; fact24 & int8 -> int9: あの大坊主は媒介者でない; int5 & int9 -> int10: あの大坊主は成り続けない一方で保定する; int10 -> int11: あの大坊主は成り続けない; fact30 & int11 -> int12: 「あのルター派は喋るしそれはＹ等だ」ということは正しくない; fact25 & int12 -> int13: あの作画監督は喋るということはない; int13 -> int14: なんらかの物は喋らない;
$facts$ = fact1: あの奪回はロンリーハーツ・ゴスペル教会でしかも築賓だ fact2: もしもあの奪回は生み難いならば「御取り仕切る」ということは真実だ fact3: 仮に何かは食い合わないなら「それは媒介者でないかもしくはそれはこかす」ということは嘘である fact4: もしもとある物は築賓でないとすれば「ロンリーハーツ・ゴスペル教会でないかまたはそれは移動し易い」ということは事実と異なる fact5: もし「このタブマーカーは媒介者でないかあるいはこかす」ということは事実と異なればあの大坊主は媒介者でない fact6: もし仮にあの奪回は築賓だとしたら「それは保育所等である」ということは正しい fact7: もしも何らかの物は築賓でなくてその上ロンリーハーツ・ゴスペル教会でないならそれは保育所等である fact8: あの奪回は照明計画だ fact9: もしあの奪回が保育所等だとするとこのＸ位置は移動し易くない fact10: あの奪回はロンリーハーツ・ゴスペル教会である fact11: もしも「あのルター派は喋るしかつＹ等である」ということは成り立たないとしたら「あの作画監督は喋るということはない」ということは間違っていない fact12: あの発売時価格は移動し易い fact13: もしもこのＸ位置は芽胞菌であるなら「築賓だ」ということは事実である fact14: あの大坊主は成り続けないならば「あのルター派は喋るししかもそれはＹ等である」ということは真実でない fact15: このタブマーカーは食い合わなくてそれは真田素っ破でない fact16: 「あの奪回はロンリーハーツ・ゴスペル教会でないか移動し易いかもしくは両方ともである」ということは成り立たないとするとこのＸ位置は移動し易い fact17: あの精巣腫瘍が国道沿いだしその上姦しい fact18: なにがしかのものが保育所等でないしそれにそれが賢しくないとすれば築賓でない fact19: あの奪回は蓄積され易い fact20: もしなんらかの物は媒介者でないならば成り続けない一方で保定する fact21: 仮に「あの作画監督は移動し易いが賢しくない」ということは成り立つということはないとするとあの奪回は移動し易くない fact22: この改正後は色好くて築賓である ; $hypothesis$ = このＸ位置は移動し易くない ; $proof$ = 
fact1 -> int1: あの奪回は築賓だ; int1 & fact6 -> int2: あの奪回は保育所等である; int2 & fact9 -> hypothesis; __PROVED__
事実1: あの奪回はロンリーハーツ・ゴスペル教会でしかも築賓だ
事実2: もしもあの奪回は生み難いならば「御取り仕切る」ということは真実だ
事実3: 仮に何かは食い合わないなら「それは媒介者でないかもしくはそれはこかす」ということは嘘である
事実4: もしもとある物は築賓でないとすれば「ロンリーハーツ・ゴスペル教会でないかまたはそれは移動し易い」ということは事実と異なる
事実5: もし「このタブマーカーは媒介者でないかあるいはこかす」ということは事実と異なればあの大坊主は媒介者でない
事実6: もし仮にあの奪回は築賓だとしたら「それは保育所等である」ということは正しい
事実7: もしも何らかの物は築賓でなくてその上ロンリーハーツ・ゴスペル教会でないならそれは保育所等である
事実8: あの奪回は照明計画だ
事実9: もしあの奪回が保育所等だとするとこのＸ位置は移動し易くない
事実10: あの奪回はロンリーハーツ・ゴスペル教会である
事実11: もしも「あのルター派は喋るしかつＹ等である」ということは成り立たないとしたら「あの作画監督は喋るということはない」ということは間違っていない
事実12: あの発売時価格は移動し易い
事実13: もしもこのＸ位置は芽胞菌であるなら「築賓だ」ということは事実である
事実14: あの大坊主は成り続けないならば「あのルター派は喋るししかもそれはＹ等である」ということは真実でない
事実15: このタブマーカーは食い合わなくてそれは真田素っ破でない
事実16: 「あの奪回はロンリーハーツ・ゴスペル教会でないか移動し易いかもしくは両方ともである」ということは成り立たないとするとこのＸ位置は移動し易い
事実17: あの精巣腫瘍が国道沿いだしその上姦しい
事実18: なにがしかのものが保育所等でないしそれにそれが賢しくないとすれば築賓でない
事実19: あの奪回は蓄積され易い
事実20: もしなんらかの物は媒介者でないならば成り続けない一方で保定する
事実21: 仮に「あの作画監督は移動し易いが賢しくない」ということは成り立つということはないとするとあの奪回は移動し易くない
事実22: この改正後は色好くて築賓である

仮説: このＸ位置は移動し易くない
1. 事実1から、推論1: "あの奪回は築賓だ"が導かれる
2. 推論1と事実6から、推論2: "あの奪回は保育所等である"が導かれる
3. 推論2と事実9から、仮説が導かれる

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