あのスワヒリ・コーストは弾け飛ぶ
fact1: もしもなにかは草臥れるとしたらそれが差し出はましくらないしかつそれは厚ぼったい fact2: あのスワヒリ・コーストは若者らしい fact3: 「廷吏な」ものはある fact4: もし「その子供っぽさは草臥れる」ということは確かであるとしたら「それは差し出がましかない」ということは事実である fact5: 仮に廷吏が若者らしいとすればその子供っぽさは草臥れる fact6: その子供っぽさは差し出がましかない fact7: もし仮にとある物は草臥れるとすれば「差し出がましかない」ということは本当だ fact8: 「若者らしい」ものはある fact9: その子供っぽさが差し出がましいしそれに厚ぼったいとするとあのスワヒリ・コーストは弾け飛ぶ fact10: なにがしかのものは若者らしくない fact11: あのパッチテストは御戻り下さらない fact12: 何かは御戻り下さらないとしたらそれは廷吏でまた草臥れる fact13: その子供っぽさは弾け飛ぶ fact14: ある物は廷吏だしそれに若者らしい fact15: その子供っぽさが差し出がましかないがしかし厚ぼったいとしたらあのスワヒリ・コーストは弾け飛ぶ fact16: あの十年代後半は草臥れる fact17: あのスワヒリ・コーストは見辛い fact18: その中小企業白書はアセスメントするということはないがしかしそれはパン屋さんである fact19: 仮にあのスワヒリ・コーストが草臥れるとしたら厚ぼったいということはなくておまけに弾け飛ぶ fact20: この初代教会は廷吏だ fact21: もし「あのスワヒリ・コーストは弾け飛ぶかあるいは好もしいかどちらもである」ということは成り立つとしたらこの巣籠もりは好もしかない fact22: もしあのパッチテストが廷吏であるし弾け飛ぶならばあのスワヒリ・コーストは弾け飛ばない
fact1 -> int1: もし仮にその子供っぽさが草臥れれば差し出がましいということはないし更に厚ぼったい; fact5 & fact14 -> int2: その子供っぽさは草臥れる; int1 & int2 -> int3: 「その子供っぽさは差し出がましいということはないけどそれは厚ぼったい」ということは間違っていない; int3 & fact15 -> hypothesis;
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); fact5 & fact14 -> int2: {A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} & {AB}{aa}); int3 & fact15 -> hypothesis;
「この巣籠もりは好もしかない一方でそれは草臥れる」ということは成り立つ
$facts$ = fact1: もしもなにかは草臥れるとしたらそれが差し出はましくらないしかつそれは厚ぼったい fact2: あのスワヒリ・コーストは若者らしい fact3: 「廷吏な」ものはある fact4: もし「その子供っぽさは草臥れる」ということは確かであるとしたら「それは差し出がましかない」ということは事実である fact5: 仮に廷吏が若者らしいとすればその子供っぽさは草臥れる fact6: その子供っぽさは差し出がましかない fact7: もし仮にとある物は草臥れるとすれば「差し出がましかない」ということは本当だ fact8: 「若者らしい」ものはある fact9: その子供っぽさが差し出がましいしそれに厚ぼったいとするとあのスワヒリ・コーストは弾け飛ぶ fact10: なにがしかのものは若者らしくない fact11: あのパッチテストは御戻り下さらない fact12: 何かは御戻り下さらないとしたらそれは廷吏でまた草臥れる fact13: その子供っぽさは弾け飛ぶ fact14: ある物は廷吏だしそれに若者らしい fact15: その子供っぽさが差し出がましかないがしかし厚ぼったいとしたらあのスワヒリ・コーストは弾け飛ぶ fact16: あの十年代後半は草臥れる fact17: あのスワヒリ・コーストは見辛い fact18: その中小企業白書はアセスメントするということはないがしかしそれはパン屋さんである fact19: 仮にあのスワヒリ・コーストが草臥れるとしたら厚ぼったいということはなくておまけに弾け飛ぶ fact20: この初代教会は廷吏だ fact21: もし「あのスワヒリ・コーストは弾け飛ぶかあるいは好もしいかどちらもである」ということは成り立つとしたらこの巣籠もりは好もしかない fact22: もしあのパッチテストが廷吏であるし弾け飛ぶならばあのスワヒリ・コーストは弾け飛ばない ; $hypothesis$ = あのスワヒリ・コーストは弾け飛ぶ ; $proof$ = 
fact1 -> int1: もし仮にその子供っぽさが草臥れれば差し出がましいということはないし更に厚ぼったい; fact5 & fact14 -> int2: その子供っぽさは草臥れる; int1 & int2 -> int3: 「その子供っぽさは差し出がましいということはないけどそれは厚ぼったい」ということは間違っていない; int3 & fact15 -> hypothesis; __PROVED__
事実1: もしもなにかは草臥れるとしたらそれが差し出はましくらないしかつそれは厚ぼったい
事実2: あのスワヒリ・コーストは若者らしい
事実3: 「廷吏な」ものはある
事実4: もし「その子供っぽさは草臥れる」ということは確かであるとしたら「それは差し出がましかない」ということは事実である
事実5: 仮に廷吏が若者らしいとすればその子供っぽさは草臥れる
事実6: その子供っぽさは差し出がましかない
事実7: もし仮にとある物は草臥れるとすれば「差し出がましかない」ということは本当だ
事実8: 「若者らしい」ものはある
事実9: その子供っぽさが差し出がましいしそれに厚ぼったいとするとあのスワヒリ・コーストは弾け飛ぶ
事実10: なにがしかのものは若者らしくない
事実11: あのパッチテストは御戻り下さらない
事実12: 何かは御戻り下さらないとしたらそれは廷吏でまた草臥れる
事実13: その子供っぽさは弾け飛ぶ
事実14: ある物は廷吏だしそれに若者らしい
事実15: その子供っぽさが差し出がましかないがしかし厚ぼったいとしたらあのスワヒリ・コーストは弾け飛ぶ
事実16: あの十年代後半は草臥れる
事実17: あのスワヒリ・コーストは見辛い
事実18: その中小企業白書はアセスメントするということはないがしかしそれはパン屋さんである
事実19: 仮にあのスワヒリ・コーストが草臥れるとしたら厚ぼったいということはなくておまけに弾け飛ぶ
事実20: この初代教会は廷吏だ
事実21: もし「あのスワヒリ・コーストは弾け飛ぶかあるいは好もしいかどちらもである」ということは成り立つとしたらこの巣籠もりは好もしかない
事実22: もしあのパッチテストが廷吏であるし弾け飛ぶならばあのスワヒリ・コーストは弾け飛ばない

仮説: あのスワヒリ・コーストは弾け飛ぶ
1. 事実1から、推論1: "もし仮にその子供っぽさが草臥れれば差し出がましいということはないし更に厚ぼったい"が導かれる
2. 事実5と事実14から、推論2: "その子供っぽさは草臥れる"が導かれる
3. 推論1と推論2から、推論3: "「その子供っぽさは差し出がましいということはないけどそれは厚ぼったい」ということは間違っていない"が導かれる
4. 推論3と事実15から、仮説が導かれる

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