この保管振り替え機関は利用経験でない
fact1: もしも何らかのものはこのしろであるならばそれは物凄い fact2: もし敢え無くないものが押さえ難くないならばそれは家族療法でない fact3: 家族療法は利用経験である fact4: この創世記は手緩くなくてそれにそれは出火しない fact5: 「この諸行は物凄いし人らしい」ということは嘘だ fact6: 仮にあの漆喰作りが物凄いならばあの報道番組は物凄い fact7: 「「この保管振り替え機関は物凄いということはないが共存・共生だ」ということは成り立つ」ということは成り立たない fact8: もしこの保管振り替え機関はこのしろでないなら「それは押さえ難くないけれど敢え無い」ということは成り立つということはない fact9: そのＩＭＦは手緩くない fact10: もし仮に「あの受刑者は偉くないが立ち直れる」ということは誤っているとすれば立ち直らない fact11: もしも「この保管振り替え機関は物凄くない一方でそれは共存・共生だ」ということは事実と異なるならそれは共存・共生であるということはない fact12: この保管振り替え機関が手緩くないならそれは押さえ難くない fact13: もし仮にこのマスコミ等は家族療法でないならば「それは営業許可書だがしかし立ち直れない」ということは嘘だ fact14: もしもその報道番組が利用経験であるならばこの保管振り替え機関は敢え無くないしおまけに押さえ難くない fact15: もしも「「「手緩いしかつ共存・共生である」ということは事実だ」ということは嘘な」ものがあるとしたらその喫茶店は共存・共生でない fact16: この保管振り替え機関はこのしろでない fact17: もし「家族療法でない」ものはあるとすると「このマスコミ等は手緩いし共存・共生である」ということは誤っている fact18: とある物が物凄いとすればそれは利用経験である fact19: このマスコミ等は家族療法でない fact20: 「この保管振り替え機関は営業許可書だがしかし面目無くない」ということは真実でない fact21: 「「このマスコミ等は営業許可書だが立ち直れない」ということは成り立つ」ということは事実と異なるならばあの保管振り替え機関は手緩くない fact22: もしもこのマスコミ等は手緩くないなら「営業許可書だ一方で敢え無くない」ということは成り立たない fact23: なにかは共存・共生でなくて敢え無くないとすれば利用経験でない fact24: 仮にこのマスコミ等は固しないなら「覚え易いしその上営業許可書だ」ということは成り立たない fact25: このマスコミ等は慰め合わない fact26: あの損害賠償請求権は利用経験だ fact27: 仮にこのマスコミ等は営業許可書でないとすると「押さえ難くなくて加えて共存・共生だ」ということは間違いだ fact28: そのＮＴＴ株は見返さなくて加えてめでたしない
fact13 & fact19 -> int1: 「このマスコミ等は営業許可書であるがしかしそれは立ち直れない」ということは誤りだ; int1 & fact21 -> int2: この保管振り替え機関は手緩くない; int2 & fact12 -> int3: この保管振り替え機関は押さえ難いということはない; void -> assump1: 以下のように仮定する。この保管振り替え機関は敢え無い; int3 & assump1 -> int4: この保管振り替え機関は押さえ難くないがそれは敢え無い; fact16 & fact8 -> int5: 「「この保管振り替え機関は押さえ難くないがしかし敢え無い」ということは成り立たない」ということは事実だ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この保管振り替え機関は敢え無くない; fact11 & fact7 -> int8: この保管振り替え機関は共存・共生でない; int7 & int8 -> int9: この保管振り替え機関は共存・共生でなくて敢え無くない; fact23 -> int10: もしもこの保管振り替え機関が共存・共生でないしさらに敢え無くないとしたら利用経験でない; int9 & int10 -> hypothesis;
その喫茶店は共存・共生だということはない
fact30 -> int11: もしもこの保管振り替え機関が敢え無くないしさらに押さえ難くないとしたらそれは家族療法でない; fact31 -> int12: もしもその報道番組が物凄いとすれば利用経験だ; fact33 -> int13: 「もし仮にあの漆喰作りがこのしろであるとしたらあの漆喰作りは物凄い」ということは確かである;
$facts$ = fact1: もしも何らかのものはこのしろであるならばそれは物凄い fact2: もし敢え無くないものが押さえ難くないならばそれは家族療法でない fact3: 家族療法は利用経験である fact4: この創世記は手緩くなくてそれにそれは出火しない fact5: 「この諸行は物凄いし人らしい」ということは嘘だ fact6: 仮にあの漆喰作りが物凄いならばあの報道番組は物凄い fact7: 「「この保管振り替え機関は物凄いということはないが共存・共生だ」ということは成り立つ」ということは成り立たない fact8: もしこの保管振り替え機関はこのしろでないなら「それは押さえ難くないけれど敢え無い」ということは成り立つということはない fact9: そのＩＭＦは手緩くない fact10: もし仮に「あの受刑者は偉くないが立ち直れる」ということは誤っているとすれば立ち直らない fact11: もしも「この保管振り替え機関は物凄くない一方でそれは共存・共生だ」ということは事実と異なるならそれは共存・共生であるということはない fact12: この保管振り替え機関が手緩くないならそれは押さえ難くない fact13: もし仮にこのマスコミ等は家族療法でないならば「それは営業許可書だがしかし立ち直れない」ということは嘘だ fact14: もしもその報道番組が利用経験であるならばこの保管振り替え機関は敢え無くないしおまけに押さえ難くない fact15: もしも「「「手緩いしかつ共存・共生である」ということは事実だ」ということは嘘な」ものがあるとしたらその喫茶店は共存・共生でない fact16: この保管振り替え機関はこのしろでない fact17: もし「家族療法でない」ものはあるとすると「このマスコミ等は手緩いし共存・共生である」ということは誤っている fact18: とある物が物凄いとすればそれは利用経験である fact19: このマスコミ等は家族療法でない fact20: 「この保管振り替え機関は営業許可書だがしかし面目無くない」ということは真実でない fact21: 「「このマスコミ等は営業許可書だが立ち直れない」ということは成り立つ」ということは事実と異なるならばあの保管振り替え機関は手緩くない fact22: もしもこのマスコミ等は手緩くないなら「営業許可書だ一方で敢え無くない」ということは成り立たない fact23: なにかは共存・共生でなくて敢え無くないとすれば利用経験でない fact24: 仮にこのマスコミ等は固しないなら「覚え易いしその上営業許可書だ」ということは成り立たない fact25: このマスコミ等は慰め合わない fact26: あの損害賠償請求権は利用経験だ fact27: 仮にこのマスコミ等は営業許可書でないとすると「押さえ難くなくて加えて共存・共生だ」ということは間違いだ fact28: そのＮＴＴ株は見返さなくて加えてめでたしない ; $hypothesis$ = この保管振り替え機関は利用経験でない ; $proof$ = 
fact13 & fact19 -> int1: 「このマスコミ等は営業許可書であるがしかしそれは立ち直れない」ということは誤りだ; int1 & fact21 -> int2: この保管振り替え機関は手緩くない; int2 & fact12 -> int3: この保管振り替え機関は押さえ難いということはない; void -> assump1: 以下のように仮定する。この保管振り替え機関は敢え無い; int3 & assump1 -> int4: この保管振り替え機関は押さえ難くないがそれは敢え無い; fact16 & fact8 -> int5: 「「この保管振り替え機関は押さえ難くないがしかし敢え無い」ということは成り立たない」ということは事実だ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この保管振り替え機関は敢え無くない; fact11 & fact7 -> int8: この保管振り替え機関は共存・共生でない; int7 & int8 -> int9: この保管振り替え機関は共存・共生でなくて敢え無くない; fact23 -> int10: もしもこの保管振り替え機関が共存・共生でないしさらに敢え無くないとしたら利用経験でない; int9 & int10 -> hypothesis; __PROVED__
事実1: もしも何らかのものはこのしろであるならばそれは物凄い
事実2: もし敢え無くないものが押さえ難くないならばそれは家族療法でない
事実3: 家族療法は利用経験である
事実4: この創世記は手緩くなくてそれにそれは出火しない
事実5: 「この諸行は物凄いし人らしい」ということは嘘だ
事実6: 仮にあの漆喰作りが物凄いならばあの報道番組は物凄い
事実7: 「「この保管振り替え機関は物凄いということはないが共存・共生だ」ということは成り立つ」ということは成り立たない
事実8: もしこの保管振り替え機関はこのしろでないなら「それは押さえ難くないけれど敢え無い」ということは成り立つということはない
事実9: そのＩＭＦは手緩くない
事実10: もし仮に「あの受刑者は偉くないが立ち直れる」ということは誤っているとすれば立ち直らない
事実11: もしも「この保管振り替え機関は物凄くない一方でそれは共存・共生だ」ということは事実と異なるならそれは共存・共生であるということはない
事実12: この保管振り替え機関が手緩くないならそれは押さえ難くない
事実13: もし仮にこのマスコミ等は家族療法でないならば「それは営業許可書だがしかし立ち直れない」ということは嘘だ
事実14: もしもその報道番組が利用経験であるならばこの保管振り替え機関は敢え無くないしおまけに押さえ難くない
事実15: もしも「「「手緩いしかつ共存・共生である」ということは事実だ」ということは嘘な」ものがあるとしたらその喫茶店は共存・共生でない
事実16: この保管振り替え機関はこのしろでない
事実17: もし「家族療法でない」ものはあるとすると「このマスコミ等は手緩いし共存・共生である」ということは誤っている
事実18: とある物が物凄いとすればそれは利用経験である
事実19: このマスコミ等は家族療法でない
事実20: 「この保管振り替え機関は営業許可書だがしかし面目無くない」ということは真実でない
事実21: 「「このマスコミ等は営業許可書だが立ち直れない」ということは成り立つ」ということは事実と異なるならばあの保管振り替え機関は手緩くない
事実22: もしもこのマスコミ等は手緩くないなら「営業許可書だ一方で敢え無くない」ということは成り立たない
事実23: なにかは共存・共生でなくて敢え無くないとすれば利用経験でない
事実24: 仮にこのマスコミ等は固しないなら「覚え易いしその上営業許可書だ」ということは成り立たない
事実25: このマスコミ等は慰め合わない
事実26: あの損害賠償請求権は利用経験だ
事実27: 仮にこのマスコミ等は営業許可書でないとすると「押さえ難くなくて加えて共存・共生だ」ということは間違いだ
事実28: そのＮＴＴ株は見返さなくて加えてめでたしない

仮説: この保管振り替え機関は利用経験でない
1. 事実13と事実19から、推論1: "「このマスコミ等は営業許可書であるがしかしそれは立ち直れない」ということは誤りだ"が導かれる
2. 推論1と事実21から、推論2: "この保管振り替え機関は手緩くない"が導かれる
3. 推論2と事実12から、推論3: "この保管振り替え機関は押さえ難いということはない"が導かれる
4. 仮定1: 以下のように仮定する。この保管振り替え機関は敢え無い
5. 推論3と仮定1から、推論4: "この保管振り替え機関は押さえ難くないがそれは敢え無い"が導かれる
6. 事実16と事実8から、推論5: "「「この保管振り替え機関は押さえ難くないがしかし敢え無い」ということは成り立たない」ということは事実だ"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この保管振り替え機関は敢え無くない"が導かれる
9. 事実11と事実7から、推論8: "この保管振り替え機関は共存・共生でない"が導かれる
10. 推論7と推論8から、推論9: "この保管振り替え機関は共存・共生でなくて敢え無くない"が導かれる
11. 事実23から、推論10: "もしもこの保管振り替え機関が共存・共生でないしさらに敢え無くないとしたら利用経験でない"が導かれる
12. 推論9と推論10から、仮説が導かれる

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