あの第十二号様式は付属形式である
fact1: もしあるものが愛情深いかあるいはそれは小町でないならそれは喧しい fact2: 「この虫屋は堆い」ということは正しい fact3: もし仮に何らかのものが貸し出すとすると逆上せ上がる fact4: 俗っぽいものは付属形式であるということはないしＥＵ諸国でない fact5: 何かは俗っぽくないがＥＵ諸国だ fact6: 喧しくない物は小町であるということはないかあるいは愛情深くないかまたはどちらもだ fact7: 堆くない物は愛情深いかまたは小町でない fact8: あのルージュが付属形式でないしその上ｅＵ諸国でないとすればあの第十二号様式は付属形式でない fact9: その気管支内腔は喧しくない fact10: 喧しい物は付属形式である fact11: あの第十二号様式は課する fact12: なにがしかの物が精神分析学であるしそれが社会的領域であるとしたらあの第十二号様式は布面だということはない fact13: もしある物が俗っぽくないがしかしＥＵ諸国であるとするとあの第十二号様式は堆いということはない
fact5 & fact13 -> int1: あの第十二号様式は堆くない; fact7 -> int2: あの第十二号様式が堆くないとすれば愛情深いかそれは小町でないかもしくはどちらもだ; int1 & int2 -> int3: あの第十二号様式は愛情深いかまたは小町でないかまたは両方である; fact1 -> int4: もし仮にあの第十二号様式は愛情深いかまたは小町でないか両方ともならそれは喧しい; int3 & int4 -> int5: あの第十二号様式は喧しい; fact10 -> int6: もしもあの第十二号様式が喧しいとすれば付属形式である; int5 & int6 -> hypothesis;
あの第十二号様式は付属形式でない
fact17 -> int7: あのルージュが俗っぽいならそれは付属形式でなくてその上ｅＵ諸国でない; fact15 -> int8: もしその気管支内腔が喧しくないとしたら小町でないか愛情深くないかまたはどちらもである; int8 & fact14 -> int9: その気管支内腔は小町でないかまたは愛情深くない;
$facts$ = fact1: もしあるものが愛情深いかあるいはそれは小町でないならそれは喧しい fact2: 「この虫屋は堆い」ということは正しい fact3: もし仮に何らかのものが貸し出すとすると逆上せ上がる fact4: 俗っぽいものは付属形式であるということはないしＥＵ諸国でない fact5: 何かは俗っぽくないがＥＵ諸国だ fact6: 喧しくない物は小町であるということはないかあるいは愛情深くないかまたはどちらもだ fact7: 堆くない物は愛情深いかまたは小町でない fact8: あのルージュが付属形式でないしその上ｅＵ諸国でないとすればあの第十二号様式は付属形式でない fact9: その気管支内腔は喧しくない fact10: 喧しい物は付属形式である fact11: あの第十二号様式は課する fact12: なにがしかの物が精神分析学であるしそれが社会的領域であるとしたらあの第十二号様式は布面だということはない fact13: もしある物が俗っぽくないがしかしＥＵ諸国であるとするとあの第十二号様式は堆いということはない ; $hypothesis$ = あの第十二号様式は付属形式である ; $proof$ = 
fact5 & fact13 -> int1: あの第十二号様式は堆くない; fact7 -> int2: あの第十二号様式が堆くないとすれば愛情深いかそれは小町でないかもしくはどちらもだ; int1 & int2 -> int3: あの第十二号様式は愛情深いかまたは小町でないかまたは両方である; fact1 -> int4: もし仮にあの第十二号様式は愛情深いかまたは小町でないか両方ともならそれは喧しい; int3 & int4 -> int5: あの第十二号様式は喧しい; fact10 -> int6: もしもあの第十二号様式が喧しいとすれば付属形式である; int5 & int6 -> hypothesis; __PROVED__
事実1: もしあるものが愛情深いかあるいはそれは小町でないならそれは喧しい
事実2: 「この虫屋は堆い」ということは正しい
事実3: もし仮に何らかのものが貸し出すとすると逆上せ上がる
事実4: 俗っぽいものは付属形式であるということはないしＥＵ諸国でない
事実5: 何かは俗っぽくないがＥＵ諸国だ
事実6: 喧しくない物は小町であるということはないかあるいは愛情深くないかまたはどちらもだ
事実7: 堆くない物は愛情深いかまたは小町でない
事実8: あのルージュが付属形式でないしその上ｅＵ諸国でないとすればあの第十二号様式は付属形式でない
事実9: その気管支内腔は喧しくない
事実10: 喧しい物は付属形式である
事実11: あの第十二号様式は課する
事実12: なにがしかの物が精神分析学であるしそれが社会的領域であるとしたらあの第十二号様式は布面だということはない
事実13: もしある物が俗っぽくないがしかしＥＵ諸国であるとするとあの第十二号様式は堆いということはない

仮説: あの第十二号様式は付属形式である
1. 事実5と事実13から、推論1: "あの第十二号様式は堆くない"が導かれる
2. 事実7から、推論2: "あの第十二号様式が堆くないとすれば愛情深いかそれは小町でないかもしくはどちらもだ"が導かれる
3. 推論1と推論2から、推論3: "あの第十二号様式は愛情深いかまたは小町でないかまたは両方である"が導かれる
4. 事実1から、推論4: "もし仮にあの第十二号様式は愛情深いかまたは小町でないか両方ともならそれは喧しい"が導かれる
5. 推論3と推論4から、推論5: "あの第十二号様式は喧しい"が導かれる
6. 事実10から、推論6: "もしもあの第十二号様式が喧しいとすれば付属形式である"が導かれる
7. 推論5と推論6から、仮説が導かれる

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