「もしも「肖像画でなくて御待ちに成るということはない」ということは確かであるとすればめでたくない」ものはある
fact1: 「もしも「肖像画でなくて御待ちに成らない」ということは確かだとするとめでたい」物はある fact2: 「仮に浅黒いということはなくてしかも確率変数でないとしたら目覚ましくない」物はある fact3: 仮にあの黄土は肖像画だがしかし御待ちに成らないとしたらそれはめでたいということはない fact4: もしもあの爪哇軍政監部編は限り無くないものであって記述出来ないとしたら「めでたくない」ということは成り立つ fact5: あの黄土は肖像画でなくてかつ御待ちに成らないならめでたい fact6: 見え辛くない物は肖像画でないとするとそれは御館でない fact7: 「もしも丸くないしかつクラッシュビルでないとするとまあるくない」物はある fact8: 仮にあの沖縄本土は相応しいということはないし肖像画でないとするとそれはしどけなくない fact9: 「もし仮にあの黄土が蕎麦湯でないし貿易しないとすればあの黄土は恐れ多いということはない」ということは本当である fact10: もし仮に「あの黄土は肖像画であるということはないしその上御待ちに成るということはない」ということは確かであるならばそれはめでたくない fact11: もしもあの黄土が肖像画でないが御待ちに成るとするとめでたくない fact12: もし仮にあの黄土は果樹外史だということはないしめでたくないとしたらそれはサファー・モスクでない fact13: 「「見付け難くないし更に成し難くないとすると呆気なくない」物はある」ということは成り立つ fact14: もしもこの東京高判は平常心是道でないしおまけに肖像画でないならそれは実験群ナンバーでない fact15: 「仮に肖像画でないし御待ちに成るとするとめでたくない」物はある fact16: 「もし仮に肖像画でかつ御待ちに成るということはないならばめでたくない」ものはある
fact10 -> hypothesis;
もしもあの黄土が見え辛いということはないしさらにそれは肖像画でないとすると「御館でない」ということは事実だ
fact17 -> hypothesis;
$facts$ = fact1: 「もしも「肖像画でなくて御待ちに成らない」ということは確かだとするとめでたい」物はある fact2: 「仮に浅黒いということはなくてしかも確率変数でないとしたら目覚ましくない」物はある fact3: 仮にあの黄土は肖像画だがしかし御待ちに成らないとしたらそれはめでたいということはない fact4: もしもあの爪哇軍政監部編は限り無くないものであって記述出来ないとしたら「めでたくない」ということは成り立つ fact5: あの黄土は肖像画でなくてかつ御待ちに成らないならめでたい fact6: 見え辛くない物は肖像画でないとするとそれは御館でない fact7: 「もしも丸くないしかつクラッシュビルでないとするとまあるくない」物はある fact8: 仮にあの沖縄本土は相応しいということはないし肖像画でないとするとそれはしどけなくない fact9: 「もし仮にあの黄土が蕎麦湯でないし貿易しないとすればあの黄土は恐れ多いということはない」ということは本当である fact10: もし仮に「あの黄土は肖像画であるということはないしその上御待ちに成るということはない」ということは確かであるならばそれはめでたくない fact11: もしもあの黄土が肖像画でないが御待ちに成るとするとめでたくない fact12: もし仮にあの黄土は果樹外史だということはないしめでたくないとしたらそれはサファー・モスクでない fact13: 「「見付け難くないし更に成し難くないとすると呆気なくない」物はある」ということは成り立つ fact14: もしもこの東京高判は平常心是道でないしおまけに肖像画でないならそれは実験群ナンバーでない fact15: 「仮に肖像画でないし御待ちに成るとするとめでたくない」物はある fact16: 「もし仮に肖像画でかつ御待ちに成るということはないならばめでたくない」ものはある ; $hypothesis$ = 「もしも「肖像画でなくて御待ちに成るということはない」ということは確かであるとすればめでたくない」ものはある ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 「もしも「肖像画でなくて御待ちに成らない」ということは確かだとするとめでたい」物はある
事実2: 「仮に浅黒いということはなくてしかも確率変数でないとしたら目覚ましくない」物はある
事実3: 仮にあの黄土は肖像画だがしかし御待ちに成らないとしたらそれはめでたいということはない
事実4: もしもあの爪哇軍政監部編は限り無くないものであって記述出来ないとしたら「めでたくない」ということは成り立つ
事実5: あの黄土は肖像画でなくてかつ御待ちに成らないならめでたい
事実6: 見え辛くない物は肖像画でないとするとそれは御館でない
事実7: 「もしも丸くないしかつクラッシュビルでないとするとまあるくない」物はある
事実8: 仮にあの沖縄本土は相応しいということはないし肖像画でないとするとそれはしどけなくない
事実9: 「もし仮にあの黄土が蕎麦湯でないし貿易しないとすればあの黄土は恐れ多いということはない」ということは本当である
事実10: もし仮に「あの黄土は肖像画であるということはないしその上御待ちに成るということはない」ということは確かであるならばそれはめでたくない
事実11: もしもあの黄土が肖像画でないが御待ちに成るとするとめでたくない
事実12: もし仮にあの黄土は果樹外史だということはないしめでたくないとしたらそれはサファー・モスクでない
事実13: 「「見付け難くないし更に成し難くないとすると呆気なくない」物はある」ということは成り立つ
事実14: もしもこの東京高判は平常心是道でないしおまけに肖像画でないならそれは実験群ナンバーでない
事実15: 「仮に肖像画でないし御待ちに成るとするとめでたくない」物はある
事実16: 「もし仮に肖像画でかつ御待ちに成るということはないならばめでたくない」ものはある

仮説: 「もしも「肖像画でなくて御待ちに成るということはない」ということは確かであるとすればめでたくない」ものはある
1. 事実10から、仮説が導かれる

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