「「仮に進め易くないなら「止む無くて喋り難い」ということは本当でない」物はある」ということは間違いだ
fact1: もし仮になにがしかのものは進め易いとしたら「止む無ししかつ喋り難い」ということは嘘である fact2: 「もし進め易くないとしたら止む無ししその上喋り難い」ものはある fact3: もし仮に何らかのものは進め易くないなら「止む無しし更に喋り難い」ということは事実と異なる fact4: 「進め易くないものは止む無くてまた喋り難い」ということは誤っていない
fact3 -> int1: 仮にそのアシュラフは進め易くないならば「それは止む無くて喋り難い」ということは偽である; int1 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もし仮になにがしかのものは進め易いとしたら「止む無ししかつ喋り難い」ということは嘘である fact2: 「もし進め易くないとしたら止む無ししその上喋り難い」ものはある fact3: もし仮に何らかのものは進め易くないなら「止む無しし更に喋り難い」ということは事実と異なる fact4: 「進め易くないものは止む無くてまた喋り難い」ということは誤っていない ; $hypothesis$ = 「「仮に進め易くないなら「止む無くて喋り難い」ということは本当でない」物はある」ということは間違いだ ; $proof$ = 
fact3 -> int1: 仮にそのアシュラフは進め易くないならば「それは止む無くて喋り難い」ということは偽である; int1 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかのものは進め易いとしたら「止む無ししかつ喋り難い」ということは嘘である
事実2: 「もし進め易くないとしたら止む無ししその上喋り難い」ものはある
事実3: もし仮に何らかのものは進め易くないなら「止む無しし更に喋り難い」ということは事実と異なる
事実4: 「進め易くないものは止む無くてまた喋り難い」ということは誤っていない

仮説: 「「仮に進め易くないなら「止む無くて喋り難い」ということは本当でない」物はある」ということは間違いだ
1. 事実3から、推論1: "仮にそのアシュラフは進め易くないならば「それは止む無くて喋り難い」ということは偽である"が導かれる
2. 推論1から、仮説が否定される

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