この四十五パーセント生クリームはやくざっぽくない
fact1: 「歓迎す」ものはある fact2: 仮に予算作成支援システムが嘆かわしいとすればこの四十五パーセント生クリームはやくざっぽいということはない fact3: 仮にあるものがやくざっぽくておまけに予算作成支援システムであるならこの四十五パーセント生クリームは嘆かわしくない fact4: 「鑽仰するしかつ弁済す」ものはある fact5: もしそのベル社は廃人でないとするとそれはやくざっぽいか予算作成支援システムだ fact6: そのベル社は嘆かわしい fact7: 「鑽仰する」物はある fact8: そのベル社はやくざっぽくない fact9: とあるものは弁済す fact10: 「予算作成支援システムである」ものはある fact11: 仮にあるものが弁済すとすればそれは廃人でないけれど嘆かわしい fact12: 仮に「そのベル社は予算作成支援システムでない」ということは成り立つとするとこの前掲書参照は廃人だ fact13: この自然は嘆かわしいということはない fact14: もしもなにかは鑽仰するし弁済すとするとこの前掲書参照は廃人でない
void -> assump1: 以下のように仮定する。そのベル社は予算作成支援システムでない; fact12 & assump1 -> int1: この前掲書参照は廃人だ; fact4 & fact14 -> int2: この前掲書参照は廃人でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのベル社は予算作成支援システムだ; int4 & fact6 -> int5: そのベル社は予算作成支援システムであるし嘆かわしい; int5 -> int6: なんらかの物は予算作成支援システムであるし嘆かわしい; int6 & fact2 -> hypothesis;
この四十五パーセント生クリームはやくざっぽい
fact15 -> int7: もしそのベル社は弁済すとすると「それは廃人でない一方で嘆かわしい」ということは確かである;
$facts$ = fact1: 「歓迎す」ものはある fact2: 仮に予算作成支援システムが嘆かわしいとすればこの四十五パーセント生クリームはやくざっぽいということはない fact3: 仮にあるものがやくざっぽくておまけに予算作成支援システムであるならこの四十五パーセント生クリームは嘆かわしくない fact4: 「鑽仰するしかつ弁済す」ものはある fact5: もしそのベル社は廃人でないとするとそれはやくざっぽいか予算作成支援システムだ fact6: そのベル社は嘆かわしい fact7: 「鑽仰する」物はある fact8: そのベル社はやくざっぽくない fact9: とあるものは弁済す fact10: 「予算作成支援システムである」ものはある fact11: 仮にあるものが弁済すとすればそれは廃人でないけれど嘆かわしい fact12: 仮に「そのベル社は予算作成支援システムでない」ということは成り立つとするとこの前掲書参照は廃人だ fact13: この自然は嘆かわしいということはない fact14: もしもなにかは鑽仰するし弁済すとするとこの前掲書参照は廃人でない ; $hypothesis$ = この四十五パーセント生クリームはやくざっぽくない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのベル社は予算作成支援システムでない; fact12 & assump1 -> int1: この前掲書参照は廃人だ; fact4 & fact14 -> int2: この前掲書参照は廃人でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのベル社は予算作成支援システムだ; int4 & fact6 -> int5: そのベル社は予算作成支援システムであるし嘆かわしい; int5 -> int6: なんらかの物は予算作成支援システムであるし嘆かわしい; int6 & fact2 -> hypothesis; __PROVED__
事実1: 「歓迎す」ものはある
事実2: 仮に予算作成支援システムが嘆かわしいとすればこの四十五パーセント生クリームはやくざっぽいということはない
事実3: 仮にあるものがやくざっぽくておまけに予算作成支援システムであるならこの四十五パーセント生クリームは嘆かわしくない
事実4: 「鑽仰するしかつ弁済す」ものはある
事実5: もしそのベル社は廃人でないとするとそれはやくざっぽいか予算作成支援システムだ
事実6: そのベル社は嘆かわしい
事実7: 「鑽仰する」物はある
事実8: そのベル社はやくざっぽくない
事実9: とあるものは弁済す
事実10: 「予算作成支援システムである」ものはある
事実11: 仮にあるものが弁済すとすればそれは廃人でないけれど嘆かわしい
事実12: 仮に「そのベル社は予算作成支援システムでない」ということは成り立つとするとこの前掲書参照は廃人だ
事実13: この自然は嘆かわしいということはない
事実14: もしもなにかは鑽仰するし弁済すとするとこの前掲書参照は廃人でない

仮説: この四十五パーセント生クリームはやくざっぽくない
1. 仮定1: 以下のように仮定する。そのベル社は予算作成支援システムでない
2. 事実12と仮定1から、推論1: "この前掲書参照は廃人だ"が導かれる
3. 事実4と事実14から、推論2: "この前掲書参照は廃人でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのベル社は予算作成支援システムだ"が導かれる
6. 推論4と事実6から、推論5: "そのベル社は予算作成支援システムであるし嘆かわしい"が導かれる
7. 推論5から、推論6: "なんらかの物は予算作成支援システムであるし嘆かわしい"が導かれる
8. 推論6と事実2から、仮説が導かれる

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