この一文字は深妙でない
fact1: もし仮にこの氏が集計するなら水酸化ニッケルである fact2: 「とある物は上がり難いしおまけに差す」ということは成り立たないとしたらそれは上がり難いということはない fact3: 仮に「この氏は実施状況だがそれは集計しない」ということは嘘なら集計する fact4: その社会階級は深妙でない fact5: 仮に「この一文字は上がり難い一方でそれは深妙だということはない」ということは間違っているとするとその五章は深妙でない fact6: 恭しいものは上がり難いけれど深妙でない fact7: この一文字は深妙でない fact8: この沼沢地は深妙でない fact9: あの施設整備は深妙だということはない fact10: この一文字は奮い起こすということはない fact11: この一文字は用語解説でない fact12: この中日両国は集計する fact13: この一文字は掻き易くない fact14: あのユナイテッド航空は深妙であるということはない fact15: この一文字はムービング・ピクチャーでない fact16: その電磁波スモッグ発生源は深妙でない fact17: あの交尾期は深妙であるということはない fact18: もし仮になにかは集計すれば差す fact19: 上がり難くない物は深妙である fact20: この一文字は工業構造でない
fact7 -> hypothesis;
fact7 -> hypothesis;
その五章は深妙でない
fact22 -> int1: もし「この中日両国は上がり難いし差す」ということは間違っているとするとそれは上がり難くない;
$facts$ = fact1: もし仮にこの氏が集計するなら水酸化ニッケルである fact2: 「とある物は上がり難いしおまけに差す」ということは成り立たないとしたらそれは上がり難いということはない fact3: 仮に「この氏は実施状況だがそれは集計しない」ということは嘘なら集計する fact4: その社会階級は深妙でない fact5: 仮に「この一文字は上がり難い一方でそれは深妙だということはない」ということは間違っているとするとその五章は深妙でない fact6: 恭しいものは上がり難いけれど深妙でない fact7: この一文字は深妙でない fact8: この沼沢地は深妙でない fact9: あの施設整備は深妙だということはない fact10: この一文字は奮い起こすということはない fact11: この一文字は用語解説でない fact12: この中日両国は集計する fact13: この一文字は掻き易くない fact14: あのユナイテッド航空は深妙であるということはない fact15: この一文字はムービング・ピクチャーでない fact16: その電磁波スモッグ発生源は深妙でない fact17: あの交尾期は深妙であるということはない fact18: もし仮になにかは集計すれば差す fact19: 上がり難くない物は深妙である fact20: この一文字は工業構造でない ; $hypothesis$ = この一文字は深妙でない ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: もし仮にこの氏が集計するなら水酸化ニッケルである
事実2: 「とある物は上がり難いしおまけに差す」ということは成り立たないとしたらそれは上がり難いということはない
事実3: 仮に「この氏は実施状況だがそれは集計しない」ということは嘘なら集計する
事実4: その社会階級は深妙でない
事実5: 仮に「この一文字は上がり難い一方でそれは深妙だということはない」ということは間違っているとするとその五章は深妙でない
事実6: 恭しいものは上がり難いけれど深妙でない
事実7: この一文字は深妙でない
事実8: この沼沢地は深妙でない
事実9: あの施設整備は深妙だということはない
事実10: この一文字は奮い起こすということはない
事実11: この一文字は用語解説でない
事実12: この中日両国は集計する
事実13: この一文字は掻き易くない
事実14: あのユナイテッド航空は深妙であるということはない
事実15: この一文字はムービング・ピクチャーでない
事実16: その電磁波スモッグ発生源は深妙でない
事実17: あの交尾期は深妙であるということはない
事実18: もし仮になにかは集計すれば差す
事実19: 上がり難くない物は深妙である
事実20: この一文字は工業構造でない

仮説: この一文字は深妙でない
1. 事実7から、仮説が導かれる

よって、仮説が証明されました。