もし仮にあのカレーズはレスキュー実験でないとすれば「この擬態は荒っぽいししかも避け難い」ということは間違いである
fact1: この擬態は荒っぽいしさらに避け難い fact2: もしもあのカレーズは占有物であるということはないなら「購買層でその上あざとい」ということは成り立たない fact3: 仮に「とあるものが常連らしいしその上あざとい」ということは成り立たないならばそれは含有しない fact4: もしもその訪問看護指導はあざといということはないとしたら「この内因子は荒っぽいし保護観察処分だ」ということは間違っている fact5: 「この内因子は保護観察処分であるし含有する」ということは事実と異なる fact6: あのカレーズは占有物だけど遷延しない fact7: もしその訪問看護指導は保護観察処分だということはないとしたら「この内因子は常連らしいししかもあざとい」ということは成り立たない fact8: 「この擬態は常連らしいしかつ荒っぽい」ということは間違っている fact9: もしこの内因子が含有するということはないならばこの擬態は荒っぽくてまたそれは避け難い fact10: もしもその訪問看護指導は保護観察処分だということはないなら「あのカレーズは遷延するし更にそれはあざとい」ということは偽である fact11: もしもこの内因子は含有しないとすれば「この擬態が荒っぽいしその上避け難い」ということは真実でない fact12: もし仮に「この内因子はあざといしかつ常連らしい」ということは誤っていればそれは避け難くない fact13: 仮にこの内因子は遷延しないなら「この擬態は常連らしいし荒っぽい」ということは偽である fact14: もし仮にあのカレーズがレスキュー実験でないとするとこの擬態は荒っぽいしおまけに避け難い fact15: 仮にあのカレーズが避け難いということはなくて更にあざとくないならばあの内因子はレスキュー実験でない fact16: 「あるものは遷延するしそれにそれは含有する」ということは成り立つということはないなら保護観察処分だということはない fact17: あざとくない物は含有しない fact18: その確定拠出年金運営管理機関は他愛無いということはなくて含有しない fact19: もしもこの内因子があざとくないならばそれは含有しない fact20: もし「この内因子は常連らしいしおまけに含有する」ということは誤りならば遷延するということはない fact21: 「この擬態は保護観察処分でない」ということは確かである fact22: あのカレーズはレスキュー実験でなくてかつ遷延しないならば「その訪問看護指導は保護観察処分でない」ということは確かだ fact23: あのカレーズは占有物だ fact24: 「なにかは占有物であるし更に荒っぽい」ということは偽だとすると遷延しない
fact6 -> int1: あのカレーズは遷延しない; void -> assump1: 以下のように仮定する。あのカレーズはレスキュー実験でない; int1 & assump1 -> int2: あのカレーズはレスキュー実験でないしそれは遷延しない; int2 & fact22 -> int3: その訪問看護指導は保護観察処分でない; int3 & fact7 -> int4: 「この内因子は常連らしいししかもあざとい」ということは成り立たない; fact3 -> int5: 仮に「この内因子は常連らしいし更にあざとい」ということは間違いであるとするとそれは含有しない; int4 & int5 -> int6: 「この内因子は含有しない」ということは確かである; int6 & fact11 -> int7: 「この擬態は荒っぽいし避け難い」ということは成り立たない; [assump1] & int7 -> hypothesis;
「あのカレーズは購買層であるしまたあざとい」ということは事実でない
$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: 「なにかは占有物であるし更に荒っぽい」ということは偽だとすると遷延しない ; $hypothesis$ = もし仮にあのカレーズはレスキュー実験でないとすれば「この擬態は荒っぽいししかも避け難い」ということは間違いである ; $proof$ = 
fact6 -> int1: あのカレーズは遷延しない; void -> assump1: 以下のように仮定する。あのカレーズはレスキュー実験でない; int1 & assump1 -> int2: あのカレーズはレスキュー実験でないしそれは遷延しない; int2 & fact22 -> int3: その訪問看護指導は保護観察処分でない; int3 & fact7 -> int4: 「この内因子は常連らしいししかもあざとい」ということは成り立たない; fact3 -> int5: 仮に「この内因子は常連らしいし更にあざとい」ということは間違いであるとするとそれは含有しない; int4 & int5 -> int6: 「この内因子は含有しない」ということは確かである; int6 & fact11 -> int7: 「この擬態は荒っぽいし避け難い」ということは成り立たない; [assump1] & int7 -> 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: 「なにかは占有物であるし更に荒っぽい」ということは偽だとすると遷延しない

仮説: もし仮にあのカレーズはレスキュー実験でないとすれば「この擬態は荒っぽいししかも避け難い」ということは間違いである
1. 事実6から、推論1: "あのカレーズは遷延しない"が導かれる
2. 仮定1: 以下のように仮定する。あのカレーズはレスキュー実験でない
3. 推論1と仮定1から、推論2: "あのカレーズはレスキュー実験でないしそれは遷延しない"が導かれる
4. 推論2と事実22から、推論3: "その訪問看護指導は保護観察処分でない"が導かれる
5. 推論3と事実7から、推論4: "「この内因子は常連らしいししかもあざとい」ということは成り立たない"が導かれる
6. 事実3から、推論5: "仮に「この内因子は常連らしいし更にあざとい」ということは間違いであるとするとそれは含有しない"が導かれる
7. 推論4と推論5から、推論6: "「この内因子は含有しない」ということは確かである"が導かれる
8. 推論6と事実11から、推論7: "「この擬態は荒っぽいし避け難い」ということは成り立たない"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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