「あの当艦は仏人だということはない一方で御悪い」ということは誤りである
fact1: もしとあるものが御祈り申し上げるとすると起こし難くない fact2: あの仏教寺院は仏人である fact3: 「あの当艦は仏人でないが起こし難い」ということは誤りだ fact4: この快美感は差別化出来る fact5: あの当艦が仏人でその上御悪いならばこのＭＳＸＳＬは起こし難くない fact6: このＭＳＸＳＬは起こし難くてさらに差別化出来る fact7: 仮に何かは差別化出来ないとすれば仏人でないしさらにそれは御悪い fact8: 仮にあの当艦が仏人でない一方で御悪いとするとこのＭＳＸＳＬは起こし難いということはない fact9: もしあの当艦が起こし難いしかつ仏人だとするとこのＭＳＸＳＬは御悪くない fact10: もし仮にあの当艦が仏人だしさらに起こし難いならこのＭＳＸＳＬは差別化出来ない fact11: あの当艦はポピーである fact12: このＭＳＸＳＬは仏人でない fact13: あの当艦は染め影像だということはない
void -> assump1: 以下のように仮定する。あの当艦は仏人でない一方でそれは御悪い; fact8 & assump1 -> int1: このＭＳＸＳＬは起こし難くない; fact6 -> int2: このＭＳＸＳＬは起こし難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この外輪山は差別化出来ない一方でそれは興奮し易い
fact14 -> int4: もしもこの外輪山が御祈り申し上げればそれは起こし難くない;
$facts$ = fact1: もしとあるものが御祈り申し上げるとすると起こし難くない fact2: あの仏教寺院は仏人である fact3: 「あの当艦は仏人でないが起こし難い」ということは誤りだ fact4: この快美感は差別化出来る fact5: あの当艦が仏人でその上御悪いならばこのＭＳＸＳＬは起こし難くない fact6: このＭＳＸＳＬは起こし難くてさらに差別化出来る fact7: 仮に何かは差別化出来ないとすれば仏人でないしさらにそれは御悪い fact8: 仮にあの当艦が仏人でない一方で御悪いとするとこのＭＳＸＳＬは起こし難いということはない fact9: もしあの当艦が起こし難いしかつ仏人だとするとこのＭＳＸＳＬは御悪くない fact10: もし仮にあの当艦が仏人だしさらに起こし難いならこのＭＳＸＳＬは差別化出来ない fact11: あの当艦はポピーである fact12: このＭＳＸＳＬは仏人でない fact13: あの当艦は染め影像だということはない ; $hypothesis$ = 「あの当艦は仏人だということはない一方で御悪い」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの当艦は仏人でない一方でそれは御悪い; fact8 & assump1 -> int1: このＭＳＸＳＬは起こし難くない; fact6 -> int2: このＭＳＸＳＬは起こし難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしとあるものが御祈り申し上げるとすると起こし難くない
事実2: あの仏教寺院は仏人である
事実3: 「あの当艦は仏人でないが起こし難い」ということは誤りだ
事実4: この快美感は差別化出来る
事実5: あの当艦が仏人でその上御悪いならばこのＭＳＸＳＬは起こし難くない
事実6: このＭＳＸＳＬは起こし難くてさらに差別化出来る
事実7: 仮に何かは差別化出来ないとすれば仏人でないしさらにそれは御悪い
事実8: 仮にあの当艦が仏人でない一方で御悪いとするとこのＭＳＸＳＬは起こし難いということはない
事実9: もしあの当艦が起こし難いしかつ仏人だとするとこのＭＳＸＳＬは御悪くない
事実10: もし仮にあの当艦が仏人だしさらに起こし難いならこのＭＳＸＳＬは差別化出来ない
事実11: あの当艦はポピーである
事実12: このＭＳＸＳＬは仏人でない
事実13: あの当艦は染め影像だということはない

仮説: 「あの当艦は仏人だということはない一方で御悪い」ということは誤りである
1. 仮定1: 以下のように仮定する。あの当艦は仏人でない一方でそれは御悪い
2. 事実8と仮定1から、推論1: "このＭＳＸＳＬは起こし難くない"が導かれる
3. 事実6から、推論2: "このＭＳＸＳＬは起こし難い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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