この小松基地は置き易いということはない
fact1: 仮に「この多国籍自動車企業は貿易するししかも総動員する」ということは事実と異なるならあの職探しは貿易しない fact2: 仮にあの職探しが貿易しないならばあの焼死は名乗り合うしそれに奉る fact3: この郊外住宅地は圧縮出来るがしかしそれは打ち上がり易くない fact4: もし仮に「なにがしかの物は分配出来ないがしかしそれはどぎつい」ということは誤っているとしたら置き易い fact5: もしもあの焼死が精読するけれど打ち上がり易いということはないならこの小松基地は置き易くない fact6: あの焼死は精読するがしかし打ち上がり易くない
fact5 & fact6 -> hypothesis;
fact5 & fact6 -> hypothesis;
この小松基地は置き易い
fact9 -> int1: 「この小松基地は分配出来ないけれどどぎつい」ということは間違いなら置き易い;
$facts$ = fact1: 仮に「この多国籍自動車企業は貿易するししかも総動員する」ということは事実と異なるならあの職探しは貿易しない fact2: 仮にあの職探しが貿易しないならばあの焼死は名乗り合うしそれに奉る fact3: この郊外住宅地は圧縮出来るがしかしそれは打ち上がり易くない fact4: もし仮に「なにがしかの物は分配出来ないがしかしそれはどぎつい」ということは誤っているとしたら置き易い fact5: もしもあの焼死が精読するけれど打ち上がり易いということはないならこの小松基地は置き易くない fact6: あの焼死は精読するがしかし打ち上がり易くない ; $hypothesis$ = この小松基地は置き易いということはない ; $proof$ = 
fact5 & fact6 -> hypothesis; __PROVED__
事実1: 仮に「この多国籍自動車企業は貿易するししかも総動員する」ということは事実と異なるならあの職探しは貿易しない
事実2: 仮にあの職探しが貿易しないならばあの焼死は名乗り合うしそれに奉る
事実3: この郊外住宅地は圧縮出来るがしかしそれは打ち上がり易くない
事実4: もし仮に「なにがしかの物は分配出来ないがしかしそれはどぎつい」ということは誤っているとしたら置き易い
事実5: もしもあの焼死が精読するけれど打ち上がり易いということはないならこの小松基地は置き易くない
事実6: あの焼死は精読するがしかし打ち上がり易くない

仮説: この小松基地は置き易いということはない
1. 事実5と事実6から、仮説が導かれる

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