「その自分パワーアップ力は揉み始めるしそれは見極め難い」ということは成り立つということはない
fact1: もし何らかのものが揉み始めないとすれば見極め難くておまけに来し易い fact2: 「聖火ランナーでない」ものはある fact3: なにかは基本的形態であるがしかし聖火ランナーでない fact4: もしもなんらかのものは付従性でないとすると「基本的形態だしその上揉み始める」ということは偽だ fact5: もし仮に基本的形態は聖火ランナーでないとすると「その自分パワーアップ力は見極め難い」ということは正しい fact6: その自分パワーアップ力は揉み始めるしかつ付従性である
fact6 -> int1: その自分パワーアップ力は揉み始める; fact3 & fact5 -> int2: 「その自分パワーアップ力は見極め難い」ということは成り立つ; int1 & int2 -> hypothesis;
fact6 -> int1: {A}{a}; fact3 & fact5 -> int2: {C}{a}; int1 & int2 -> hypothesis;
この乾燥化は見極め難いし来し易い
fact7 -> int3: 仮にこの乾燥化が揉み始めないならば見極め難いしそれに来し易い; fact8 -> int4: もし仮にその自分パワーアップ力は付従性だということはないならば「それは基本的形態であるし揉み始める」ということは偽だ;
$facts$ = fact1: もし何らかのものが揉み始めないとすれば見極め難くておまけに来し易い fact2: 「聖火ランナーでない」ものはある fact3: なにかは基本的形態であるがしかし聖火ランナーでない fact4: もしもなんらかのものは付従性でないとすると「基本的形態だしその上揉み始める」ということは偽だ fact5: もし仮に基本的形態は聖火ランナーでないとすると「その自分パワーアップ力は見極め難い」ということは正しい fact6: その自分パワーアップ力は揉み始めるしかつ付従性である ; $hypothesis$ = 「その自分パワーアップ力は揉み始めるしそれは見極め難い」ということは成り立つということはない ; $proof$ = 
fact6 -> int1: その自分パワーアップ力は揉み始める; fact3 & fact5 -> int2: 「その自分パワーアップ力は見極め難い」ということは成り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし何らかのものが揉み始めないとすれば見極め難くておまけに来し易い
事実2: 「聖火ランナーでない」ものはある
事実3: なにかは基本的形態であるがしかし聖火ランナーでない
事実4: もしもなんらかのものは付従性でないとすると「基本的形態だしその上揉み始める」ということは偽だ
事実5: もし仮に基本的形態は聖火ランナーでないとすると「その自分パワーアップ力は見極め難い」ということは正しい
事実6: その自分パワーアップ力は揉み始めるしかつ付従性である

仮説: 「その自分パワーアップ力は揉み始めるしそれは見極め難い」ということは成り立つということはない
1. 事実6から、推論1: "その自分パワーアップ力は揉み始める"が導かれる
2. 事実3と事実5から、推論2: "「その自分パワーアップ力は見極め難い」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。