この肝煎り役は烏滸がましかない
fact1: もし仮にあの特効は烏滸がましかないならば「この肝煎り役は幼いししかも身軽い」ということは偽である fact2: 「あの特効は身軽いが烏滸はましくらない」ということは誤っている fact3: 「この肝煎り役は身軽いしさらに烏滸がましい」ということは成り立たない fact4: もしも「この肝煎り役が身軽い一方で烏滸はましくらない」ということは成り立つということはないとすれば御養育でない fact5: この肝煎り役は身軽いということはない fact6: あの特効は御養育である fact7: このパラ・ランゲージは幼い fact8: 「「あの特効は幼いし更に身軽い」ということは真実だ」ということは誤りである fact9: 「もしあの特効は幼くないなら「この肝煎り役は身軽い一方で烏滸がましいということはない」ということは間違っている」ということは確かである fact10: もしもこの肝煎り役は烏滸がましかないなら「あの特効は幼いものでそれに身軽い」ということは成り立たない fact11: この肝煎り役は御養育でない fact12: もし「この肝煎り役が身軽いがそれが烏滸はましくらない」ということは事実と異なるならそれは幼いということはない fact13: 「「あの特効は烏滸がましいし更にそれは幼い」ということは確かだ」ということは間違いだ fact14: もしもこの肝煎り役は烏滸がましかないなら「あの特効は幼いが身軽くない」ということは間違っている fact15: 仮に「あの特効は幼いが身軽くない」ということは事実と異なれば「それは御養育でない」ということは成り立つ fact16: あの特効は狡賢い fact17: このアクセス許可は幼い
void -> assump1: 以下のように仮定する。この肝煎り役は烏滸がましかない; fact14 & assump1 -> int1: 「あの特効は幼いけど身軽くない」ということは間違っている; int1 & fact15 -> int2: あの特効は御養育でない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮にあの特効は烏滸がましかないならば「この肝煎り役は幼いししかも身軽い」ということは偽である fact2: 「あの特効は身軽いが烏滸はましくらない」ということは誤っている fact3: 「この肝煎り役は身軽いしさらに烏滸がましい」ということは成り立たない fact4: もしも「この肝煎り役が身軽い一方で烏滸はましくらない」ということは成り立つということはないとすれば御養育でない fact5: この肝煎り役は身軽いということはない fact6: あの特効は御養育である fact7: このパラ・ランゲージは幼い fact8: 「「あの特効は幼いし更に身軽い」ということは真実だ」ということは誤りである fact9: 「もしあの特効は幼くないなら「この肝煎り役は身軽い一方で烏滸がましいということはない」ということは間違っている」ということは確かである fact10: もしもこの肝煎り役は烏滸がましかないなら「あの特効は幼いものでそれに身軽い」ということは成り立たない fact11: この肝煎り役は御養育でない fact12: もし「この肝煎り役が身軽いがそれが烏滸はましくらない」ということは事実と異なるならそれは幼いということはない fact13: 「「あの特効は烏滸がましいし更にそれは幼い」ということは確かだ」ということは間違いだ fact14: もしもこの肝煎り役は烏滸がましかないなら「あの特効は幼いが身軽くない」ということは間違っている fact15: 仮に「あの特効は幼いが身軽くない」ということは事実と異なれば「それは御養育でない」ということは成り立つ fact16: あの特効は狡賢い fact17: このアクセス許可は幼い ; $hypothesis$ = この肝煎り役は烏滸がましかない ; $proof$ = 
void -> assump1: 以下のように仮定する。この肝煎り役は烏滸がましかない; fact14 & assump1 -> int1: 「あの特効は幼いけど身軽くない」ということは間違っている; int1 & fact15 -> int2: あの特効は御養育でない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にあの特効は烏滸がましかないならば「この肝煎り役は幼いししかも身軽い」ということは偽である
事実2: 「あの特効は身軽いが烏滸はましくらない」ということは誤っている
事実3: 「この肝煎り役は身軽いしさらに烏滸がましい」ということは成り立たない
事実4: もしも「この肝煎り役が身軽い一方で烏滸はましくらない」ということは成り立つということはないとすれば御養育でない
事実5: この肝煎り役は身軽いということはない
事実6: あの特効は御養育である
事実7: このパラ・ランゲージは幼い
事実8: 「「あの特効は幼いし更に身軽い」ということは真実だ」ということは誤りである
事実9: 「もしあの特効は幼くないなら「この肝煎り役は身軽い一方で烏滸がましいということはない」ということは間違っている」ということは確かである
事実10: もしもこの肝煎り役は烏滸がましかないなら「あの特効は幼いものでそれに身軽い」ということは成り立たない
事実11: この肝煎り役は御養育でない
事実12: もし「この肝煎り役が身軽いがそれが烏滸はましくらない」ということは事実と異なるならそれは幼いということはない
事実13: 「「あの特効は烏滸がましいし更にそれは幼い」ということは確かだ」ということは間違いだ
事実14: もしもこの肝煎り役は烏滸がましかないなら「あの特効は幼いが身軽くない」ということは間違っている
事実15: 仮に「あの特効は幼いが身軽くない」ということは事実と異なれば「それは御養育でない」ということは成り立つ
事実16: あの特効は狡賢い
事実17: このアクセス許可は幼い

仮説: この肝煎り役は烏滸がましかない
1. 仮定1: 以下のように仮定する。この肝煎り役は烏滸がましかない
2. 事実14と仮定1から、推論1: "「あの特効は幼いけど身軽くない」ということは間違っている"が導かれる
3. 推論1と事実15から、推論2: "あの特効は御養育でない"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。