「「もし仮に見付け難いということはないなら故無いししかも評価指標でない」ものはある」ということは嘘だ
fact1: もし仮にこの言語能力が見付け難くないなら評価指標でない fact2: なにがしかのものが見付け難くないとしたらそれは左肩である一方で立法上でない fact3: 「図々しかないとしたら忘れ為さる」ものはある fact4: もしも「この言語能力は見付け難い」ということは成り立てばそれは故無くてさらに評価指標でない fact5: 「もしも「見付け難い」ということは本当だとすれば故無いがしかし評価指標でない」ものはある fact6: 「もし仮に見付け難くないとすると評価指標でない」物はある fact7: 「もしも見付け難くないとすると故無い」ものはある fact8: もし仮にこの言語能力が見付け難くないならそれは故無いし評価指標でない fact9: 「仮に見付け難くないとすれば故無いしそれに評価指標な」ものはある
fact8 -> hypothesis;
もしこの一挙一動が見付け難くないとすると左肩であるが立法上でない
fact10 -> hypothesis;
$facts$ = fact1: もし仮にこの言語能力が見付け難くないなら評価指標でない fact2: なにがしかのものが見付け難くないとしたらそれは左肩である一方で立法上でない fact3: 「図々しかないとしたら忘れ為さる」ものはある fact4: もしも「この言語能力は見付け難い」ということは成り立てばそれは故無くてさらに評価指標でない fact5: 「もしも「見付け難い」ということは本当だとすれば故無いがしかし評価指標でない」ものはある fact6: 「もし仮に見付け難くないとすると評価指標でない」物はある fact7: 「もしも見付け難くないとすると故無い」ものはある fact8: もし仮にこの言語能力が見付け難くないならそれは故無いし評価指標でない fact9: 「仮に見付け難くないとすれば故無いしそれに評価指標な」ものはある ; $hypothesis$ = 「「もし仮に見付け難いということはないなら故無いししかも評価指標でない」ものはある」ということは嘘だ ; $proof$ = 
fact8 -> hypothesis; __DISPROVED__
事実1: もし仮にこの言語能力が見付け難くないなら評価指標でない
事実2: なにがしかのものが見付け難くないとしたらそれは左肩である一方で立法上でない
事実3: 「図々しかないとしたら忘れ為さる」ものはある
事実4: もしも「この言語能力は見付け難い」ということは成り立てばそれは故無くてさらに評価指標でない
事実5: 「もしも「見付け難い」ということは本当だとすれば故無いがしかし評価指標でない」ものはある
事実6: 「もし仮に見付け難くないとすると評価指標でない」物はある
事実7: 「もしも見付け難くないとすると故無い」ものはある
事実8: もし仮にこの言語能力が見付け難くないならそれは故無いし評価指標でない
事実9: 「仮に見付け難くないとすれば故無いしそれに評価指標な」ものはある

仮説: 「「もし仮に見付け難いということはないなら故無いししかも評価指標でない」ものはある」ということは嘘だ
1. 事実8から、仮説が否定される

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