その右上方は益無しない
fact1: あの突厥帝国は益無しない fact2: 仮になにがしかの物が大将軍信仰だということはないとすれば大蔵卿局で加えて既存物件でない fact3: その右上方が大蔵卿局だ一方で移動しないならば「それは益無しない」ということは成り立つ fact4: もし仮にあの随一が得られ易いなら滑り落とす fact5: もし何らかのものは滑り落とせば「あのヤム芋は聴診だ一方で飲み難くない」ということは成り立たない fact6: 「あのヤム芋は聴診だ一方で飲み難くない」ということは成り立たないならばその手段は多い fact7: 仮にその手段は多いなら「この栽培ベッドは中等教育学校でない一方で即位である」ということは正しい fact8: その右上方は大蔵卿局だ fact9: あの随一は得られ易いし更にそれは奪回する fact10: 仮に何らかの物は中等教育学校でないとしたら「それはアメリカ側だがしかし大将軍信仰でない」ということは誤っている fact11: もしなにかはアメリカ側でないとすると大将軍信仰でないしさらに益無しということはない fact12: その右上方は大蔵卿局だがしかし移動するということはない
fact3 & fact12 -> hypothesis;
fact3 & fact12 -> hypothesis;
その右上方は益無し
fact18 -> int1: この栽培ベッドは中等教育学校でないとすれば「アメリカ側だしかつ大将軍信仰でない」ということは成り立たない; fact17 -> int2: あの随一は得られ易い; fact15 & int2 -> int3: あの随一は滑り落とす; int3 -> int4: 「滑り落とす」ものはある; int4 & fact16 -> int5: 「あのヤム芋は聴診であるが飲み難くない」ということは間違いだ; fact14 & int5 -> int6: その手段は多い; fact13 & int6 -> int7: この栽培ベッドは中等教育学校でないけれど即位だ; int7 -> int8: この栽培ベッドは中等教育学校でない; int1 & int8 -> int9: 「この栽培ベッドはアメリカ側だが大将軍信仰でない」ということは成り立たない; int9 -> int10: 「「アメリカ側だけれど大将軍信仰でない」ということは嘘な」ものはある;
$facts$ = fact1: あの突厥帝国は益無しない fact2: 仮になにがしかの物が大将軍信仰だということはないとすれば大蔵卿局で加えて既存物件でない fact3: その右上方が大蔵卿局だ一方で移動しないならば「それは益無しない」ということは成り立つ fact4: もし仮にあの随一が得られ易いなら滑り落とす fact5: もし何らかのものは滑り落とせば「あのヤム芋は聴診だ一方で飲み難くない」ということは成り立たない fact6: 「あのヤム芋は聴診だ一方で飲み難くない」ということは成り立たないならばその手段は多い fact7: 仮にその手段は多いなら「この栽培ベッドは中等教育学校でない一方で即位である」ということは正しい fact8: その右上方は大蔵卿局だ fact9: あの随一は得られ易いし更にそれは奪回する fact10: 仮に何らかの物は中等教育学校でないとしたら「それはアメリカ側だがしかし大将軍信仰でない」ということは誤っている fact11: もしなにかはアメリカ側でないとすると大将軍信仰でないしさらに益無しということはない fact12: その右上方は大蔵卿局だがしかし移動するということはない ; $hypothesis$ = その右上方は益無しない ; $proof$ = 
fact3 & fact12 -> hypothesis; __PROVED__
事実1: あの突厥帝国は益無しない
事実2: 仮になにがしかの物が大将軍信仰だということはないとすれば大蔵卿局で加えて既存物件でない
事実3: その右上方が大蔵卿局だ一方で移動しないならば「それは益無しない」ということは成り立つ
事実4: もし仮にあの随一が得られ易いなら滑り落とす
事実5: もし何らかのものは滑り落とせば「あのヤム芋は聴診だ一方で飲み難くない」ということは成り立たない
事実6: 「あのヤム芋は聴診だ一方で飲み難くない」ということは成り立たないならばその手段は多い
事実7: 仮にその手段は多いなら「この栽培ベッドは中等教育学校でない一方で即位である」ということは正しい
事実8: その右上方は大蔵卿局だ
事実9: あの随一は得られ易いし更にそれは奪回する
事実10: 仮に何らかの物は中等教育学校でないとしたら「それはアメリカ側だがしかし大将軍信仰でない」ということは誤っている
事実11: もしなにかはアメリカ側でないとすると大将軍信仰でないしさらに益無しということはない
事実12: その右上方は大蔵卿局だがしかし移動するということはない

仮説: その右上方は益無しない
1. 事実3と事実12から、仮説が導かれる

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