「その禁止財産は表示するということはない」ということは成り立たない
fact1: その腕木は立て難いが理解し辛くない fact2: その禁止財産は小賢しい fact3: その禁止財産は動かし難いけど立て難くない fact4: このゲベール銃は理解し辛いがしかし長期借り入れ金でない fact5: この参照見出しは活動し難いけれどそれは理解し辛くない fact6: もし「この再来時は心憎いがしかし立て難くない」ということは偽だとしたらこの近代主義は心憎くない fact7: その禁止財産は説明し易くない fact8: その禁止財産は辛抱強い一方でザバイカル・カザークでない fact9: もしもとある物が心憎いということはないとすれば理解し辛くない fact10: その禁止財産は喧しくない fact11: この練り物は理解し辛い fact12: その禁止財産は理解し辛くない fact13: その禁止財産は取り易い fact14: もし仮にあの軟骨損傷は拠ん所だとすれば「この再来時は心憎いがしかし立て難くない」ということは事実と異なる fact15: その禁止財産は表示するがしかし理解し辛いということはない fact16: そのチヂミは理解し辛い一方でそれは畿内説であるということはない fact17: その観光旅行は理解し辛くない fact18: その大型古書店は表示する
fact15 -> hypothesis;
fact15 -> hypothesis;
「その禁止財産は表示しない」ということは事実である
fact20 -> int1: 仮にこの近代主義が心憎いということはないとすれば理解し辛くない;
$facts$ = fact1: その腕木は立て難いが理解し辛くない fact2: その禁止財産は小賢しい fact3: その禁止財産は動かし難いけど立て難くない fact4: このゲベール銃は理解し辛いがしかし長期借り入れ金でない fact5: この参照見出しは活動し難いけれどそれは理解し辛くない fact6: もし「この再来時は心憎いがしかし立て難くない」ということは偽だとしたらこの近代主義は心憎くない fact7: その禁止財産は説明し易くない fact8: その禁止財産は辛抱強い一方でザバイカル・カザークでない fact9: もしもとある物が心憎いということはないとすれば理解し辛くない fact10: その禁止財産は喧しくない fact11: この練り物は理解し辛い fact12: その禁止財産は理解し辛くない fact13: その禁止財産は取り易い fact14: もし仮にあの軟骨損傷は拠ん所だとすれば「この再来時は心憎いがしかし立て難くない」ということは事実と異なる fact15: その禁止財産は表示するがしかし理解し辛いということはない fact16: そのチヂミは理解し辛い一方でそれは畿内説であるということはない fact17: その観光旅行は理解し辛くない fact18: その大型古書店は表示する ; $hypothesis$ = 「その禁止財産は表示するということはない」ということは成り立たない ; $proof$ = 
fact15 -> hypothesis; __PROVED__
事実1: その腕木は立て難いが理解し辛くない
事実2: その禁止財産は小賢しい
事実3: その禁止財産は動かし難いけど立て難くない
事実4: このゲベール銃は理解し辛いがしかし長期借り入れ金でない
事実5: この参照見出しは活動し難いけれどそれは理解し辛くない
事実6: もし「この再来時は心憎いがしかし立て難くない」ということは偽だとしたらこの近代主義は心憎くない
事実7: その禁止財産は説明し易くない
事実8: その禁止財産は辛抱強い一方でザバイカル・カザークでない
事実9: もしもとある物が心憎いということはないとすれば理解し辛くない
事実10: その禁止財産は喧しくない
事実11: この練り物は理解し辛い
事実12: その禁止財産は理解し辛くない
事実13: その禁止財産は取り易い
事実14: もし仮にあの軟骨損傷は拠ん所だとすれば「この再来時は心憎いがしかし立て難くない」ということは事実と異なる
事実15: その禁止財産は表示するがしかし理解し辛いということはない
事実16: そのチヂミは理解し辛い一方でそれは畿内説であるということはない
事実17: その観光旅行は理解し辛くない
事実18: その大型古書店は表示する

仮説: 「その禁止財産は表示するということはない」ということは成り立たない
1. 事実15から、仮説が導かれる

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