「「もし仮に「弱々しかない」ということは確かであるとしたら「忘れ難くない」ということは成り立つ」物はある」ということは成り立たない
fact1: 仮にこの無性が弱々しいとしたら忘れ難くない fact2: 「もし想像付かないならば手際良くない」ものはある fact3: 「仮に弱々しいとしたら忘れ難くない」物はある fact4: 「もし「移り易くない」ということは成り立てば小賢しくない」ものはある fact5: この無性が弱々しかないとすれば忘れ難い fact6: 「仮に弱々しかないとすれば忘れ難い」物はある fact7: もしこの無性が白しということはないなら忘れ難くない fact8: もし仮にこの無性が弱々しいということはないならば忘れ難くない fact9: 危なくない物は忘れ難くない fact10: 「広しないとしたら「釈するということはない」ということは間違っていない」物はある
fact8 -> hypothesis;
もしもこのインバージョンが危なくないならば忘れ難くない
fact11 -> hypothesis;
$facts$ = fact1: 仮にこの無性が弱々しいとしたら忘れ難くない fact2: 「もし想像付かないならば手際良くない」ものはある fact3: 「仮に弱々しいとしたら忘れ難くない」物はある fact4: 「もし「移り易くない」ということは成り立てば小賢しくない」ものはある fact5: この無性が弱々しかないとすれば忘れ難い fact6: 「仮に弱々しかないとすれば忘れ難い」物はある fact7: もしこの無性が白しということはないなら忘れ難くない fact8: もし仮にこの無性が弱々しいということはないならば忘れ難くない fact9: 危なくない物は忘れ難くない fact10: 「広しないとしたら「釈するということはない」ということは間違っていない」物はある ; $hypothesis$ = 「「もし仮に「弱々しかない」ということは確かであるとしたら「忘れ難くない」ということは成り立つ」物はある」ということは成り立たない ; $proof$ = 
fact8 -> hypothesis; __DISPROVED__
事実1: 仮にこの無性が弱々しいとしたら忘れ難くない
事実2: 「もし想像付かないならば手際良くない」ものはある
事実3: 「仮に弱々しいとしたら忘れ難くない」物はある
事実4: 「もし「移り易くない」ということは成り立てば小賢しくない」ものはある
事実5: この無性が弱々しかないとすれば忘れ難い
事実6: 「仮に弱々しかないとすれば忘れ難い」物はある
事実7: もしこの無性が白しということはないなら忘れ難くない
事実8: もし仮にこの無性が弱々しいということはないならば忘れ難くない
事実9: 危なくない物は忘れ難くない
事実10: 「広しないとしたら「釈するということはない」ということは間違っていない」物はある

仮説: 「「もし仮に「弱々しかない」ということは確かであるとしたら「忘れ難くない」ということは成り立つ」物はある」ということは成り立たない
1. 事実8から、仮説が否定される

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