「この禁止クローンは巣くわないしかつ稼働しない」ということは嘘だ
fact1: この禁止クローンは二三分後でない fact2: もしも「この禁止クローンはブラックバスであるかあるいは私個人であるかどちらもだ」ということは嘘ならばその落第者はブラックバスでない fact3: もしもこの節が行儀良くないなら山砂でない fact4: 仮に何かはブラックバスでないならば「すっきりするということはないし巣くわない」ということは真実である fact5: 私個人はブラックバスだ fact6: この禁止クローンはブラックバスでないとすると巣くうということはないしそれに稼働しない fact7: なんらかの物が振動すればこのアタッカーはヘッジする fact8: もしも何かはヘッジするなら「それは私個人だ」ということは事実と異ならない fact9: この禁止クローンはブラックバスでない fact10: このツーＰは補完出来るということはないかまたは出し難くないかあるいは両方ともである fact11: もしも「補完出来ないかもしくは出し難くないかあるいは両方である」物があるならこの治療目的は振動する
fact6 & fact9 -> hypothesis;
fact6 & fact9 -> hypothesis;
その落第者はすっきりするということはないしまた巣くわない
fact13 -> int1: もしもその落第者がブラックバスでないとしたらすっきりしないしそれは巣くわない;
$facts$ = fact1: この禁止クローンは二三分後でない fact2: もしも「この禁止クローンはブラックバスであるかあるいは私個人であるかどちらもだ」ということは嘘ならばその落第者はブラックバスでない fact3: もしもこの節が行儀良くないなら山砂でない fact4: 仮に何かはブラックバスでないならば「すっきりするということはないし巣くわない」ということは真実である fact5: 私個人はブラックバスだ fact6: この禁止クローンはブラックバスでないとすると巣くうということはないしそれに稼働しない fact7: なんらかの物が振動すればこのアタッカーはヘッジする fact8: もしも何かはヘッジするなら「それは私個人だ」ということは事実と異ならない fact9: この禁止クローンはブラックバスでない fact10: このツーＰは補完出来るということはないかまたは出し難くないかあるいは両方ともである fact11: もしも「補完出来ないかもしくは出し難くないかあるいは両方である」物があるならこの治療目的は振動する ; $hypothesis$ = 「この禁止クローンは巣くわないしかつ稼働しない」ということは嘘だ ; $proof$ = 
fact6 & fact9 -> hypothesis; __DISPROVED__
事実1: この禁止クローンは二三分後でない
事実2: もしも「この禁止クローンはブラックバスであるかあるいは私個人であるかどちらもだ」ということは嘘ならばその落第者はブラックバスでない
事実3: もしもこの節が行儀良くないなら山砂でない
事実4: 仮に何かはブラックバスでないならば「すっきりするということはないし巣くわない」ということは真実である
事実5: 私個人はブラックバスだ
事実6: この禁止クローンはブラックバスでないとすると巣くうということはないしそれに稼働しない
事実7: なんらかの物が振動すればこのアタッカーはヘッジする
事実8: もしも何かはヘッジするなら「それは私個人だ」ということは事実と異ならない
事実9: この禁止クローンはブラックバスでない
事実10: このツーＰは補完出来るということはないかまたは出し難くないかあるいは両方ともである
事実11: もしも「補完出来ないかもしくは出し難くないかあるいは両方である」物があるならこの治療目的は振動する

仮説: 「この禁止クローンは巣くわないしかつ稼働しない」ということは嘘だ
1. 事実6と事実9から、仮説が否定される

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