その中外合作は書き難くない
fact1: 「その配置図は沸き起こらないしそれは十三世紀初頭でない」ということは成り立たない fact2: 「その中外合作は書き難いということはないけれど沸き起こる」ということは嘘だ fact3: 「「十三世紀初頭であるということはなくて書き難い」ということは誤っている」物はある fact4: 「「十三世紀初頭でないしさらに書き難くない」ということは偽な」ものはある fact5: 「その配置図は書き難いが十三世紀初頭でない」ということは誤りだ fact6: 「その配置図は書き難くないけれど十三世紀初頭である」ということは間違っている fact7: その配置図はバリアフリー化しない fact8: もしも「「沸き起こらないし十三世紀初頭でない」ということは誤りである」物があるならばあの中外合作は書き難いということはない fact9: 「その中外合作は十三世紀初頭でなくてそれに書き難くない」ということは事実と異なる
fact1 -> int1: 「「沸き起こらないしさらに十三世紀初頭でない」ということは事実と異なる」ものはある; int1 & fact8 -> hypothesis;
fact1 -> int1: (Ex): ¬(¬{AA}x & ¬{AB}x); int1 & fact8 -> hypothesis;
$facts$ = fact1: 「その配置図は沸き起こらないしそれは十三世紀初頭でない」ということは成り立たない fact2: 「その中外合作は書き難いということはないけれど沸き起こる」ということは嘘だ fact3: 「「十三世紀初頭であるということはなくて書き難い」ということは誤っている」物はある fact4: 「「十三世紀初頭でないしさらに書き難くない」ということは偽な」ものはある fact5: 「その配置図は書き難いが十三世紀初頭でない」ということは誤りだ fact6: 「その配置図は書き難くないけれど十三世紀初頭である」ということは間違っている fact7: その配置図はバリアフリー化しない fact8: もしも「「沸き起こらないし十三世紀初頭でない」ということは誤りである」物があるならばあの中外合作は書き難いということはない fact9: 「その中外合作は十三世紀初頭でなくてそれに書き難くない」ということは事実と異なる ; $hypothesis$ = その中外合作は書き難くない ; $proof$ = 
fact1 -> int1: 「「沸き起こらないしさらに十三世紀初頭でない」ということは事実と異なる」ものはある; int1 & fact8 -> hypothesis; __PROVED__
事実1: 「その配置図は沸き起こらないしそれは十三世紀初頭でない」ということは成り立たない
事実2: 「その中外合作は書き難いということはないけれど沸き起こる」ということは嘘だ
事実3: 「「十三世紀初頭であるということはなくて書き難い」ということは誤っている」物はある
事実4: 「「十三世紀初頭でないしさらに書き難くない」ということは偽な」ものはある
事実5: 「その配置図は書き難いが十三世紀初頭でない」ということは誤りだ
事実6: 「その配置図は書き難くないけれど十三世紀初頭である」ということは間違っている
事実7: その配置図はバリアフリー化しない
事実8: もしも「「沸き起こらないし十三世紀初頭でない」ということは誤りである」物があるならばあの中外合作は書き難いということはない
事実9: 「その中外合作は十三世紀初頭でなくてそれに書き難くない」ということは事実と異なる

仮説: その中外合作は書き難くない
1. 事実1から、推論1: "「「沸き起こらないしさらに十三世紀初頭でない」ということは事実と異なる」ものはある"が導かれる
2. 推論1と事実8から、仮説が導かれる

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