あのリミテッドは帰還するということはない
fact1: もしもなにかは手荒くないとすると「撓垂れ掛かるかまたはそれは仰せ付けるということはないかまたは両方である」ということは誤りだ fact2: 仮にこの直接観察が撓垂れ掛かるならあのリミテッドは帰還しない fact3: この直接観察は撓垂れ掛かる fact4: もしあのリミテッドが撓垂れ掛かるとすればこの直接観察は帰還しない fact5: あの披露パーティは撓垂れ掛からない fact6: もし仮に「この直接観察は撓垂れ掛かるかまたはそれは仰せ付けるということはないかどちらもである」ということは偽だとすれば「あのリミテッドは帰還する」ということは間違いでない fact7: もしこの直接観察が帰還するとすればあのリミテッドは撓垂れ掛からない fact8: この藤原京は撓垂れ掛かる fact9: この直接観察は青し
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
あのリミテッドは帰還する
fact10 -> int1: この直接観察は手荒くないとしたら「それは撓垂れ掛かるかまたはそれは仰せ付けないかもしくはどちらもだ」ということは偽である;
$facts$ = fact1: もしもなにかは手荒くないとすると「撓垂れ掛かるかまたはそれは仰せ付けるということはないかまたは両方である」ということは誤りだ fact2: 仮にこの直接観察が撓垂れ掛かるならあのリミテッドは帰還しない fact3: この直接観察は撓垂れ掛かる fact4: もしあのリミテッドが撓垂れ掛かるとすればこの直接観察は帰還しない fact5: あの披露パーティは撓垂れ掛からない fact6: もし仮に「この直接観察は撓垂れ掛かるかまたはそれは仰せ付けるということはないかどちらもである」ということは偽だとすれば「あのリミテッドは帰還する」ということは間違いでない fact7: もしこの直接観察が帰還するとすればあのリミテッドは撓垂れ掛からない fact8: この藤原京は撓垂れ掛かる fact9: この直接観察は青し ; $hypothesis$ = あのリミテッドは帰還するということはない ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: もしもなにかは手荒くないとすると「撓垂れ掛かるかまたはそれは仰せ付けるということはないかまたは両方である」ということは誤りだ
事実2: 仮にこの直接観察が撓垂れ掛かるならあのリミテッドは帰還しない
事実3: この直接観察は撓垂れ掛かる
事実4: もしあのリミテッドが撓垂れ掛かるとすればこの直接観察は帰還しない
事実5: あの披露パーティは撓垂れ掛からない
事実6: もし仮に「この直接観察は撓垂れ掛かるかまたはそれは仰せ付けるということはないかどちらもである」ということは偽だとすれば「あのリミテッドは帰還する」ということは間違いでない
事実7: もしこの直接観察が帰還するとすればあのリミテッドは撓垂れ掛からない
事実8: この藤原京は撓垂れ掛かる
事実9: この直接観察は青し

仮説: あのリミテッドは帰還するということはない
1. 事実2と事実3から、仮説が導かれる

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