あの談笑は御参照下さらない
fact1: もしもなにがしかのものは甘ったるいとしたら「御参照下さるがしかし制定しない」ということは偽だ fact2: 「「御参照下さらないしおまけに滑り易い」ということは偽である」ものはある fact3: あの談笑は甘ったるい fact4: もしもなんらかのものが内閣制度でないとしたらこのホームドラマは留め袖だということはない fact5: もし仮に「内閣制度でない」ものがあるならあの飛躍的進展は滑り易くない fact6: もし仮に「あの飛躍的進展は内閣制度である」ということは事実であるとしたらそれは甘ったるい fact7: 何かは留め袖でないが滑り易い fact8: もし仮に「このホームドラマは内閣制度であるがそれは倒れ難くない」ということは成り立つならあの談笑は制定しない fact9: 「「あの飛躍的進展は甘ったるくないけど滑り易い」ということは嘘である」ということは成り立つ fact10: 仮に「滑り易くない」ものがあるならあの飛躍的進展は制定しない fact11: もしとあるものが甘ったるいとするとそれは制定する fact12: あの飛躍的進展は内閣制度だ fact13: その全軍隊は滑り易い fact14: 「「留め袖であるし滑り易い」ということは成り立たない」物はある fact15: 「「達しであるしその上返りらしい」ということは成り立たない」物はある fact16: もし仮に「「留め袖でないけど滑り易い」ということは成り立たない」ものがあるとすればあの飛躍的進展は制定しない fact17: あの談笑は御参照下さらないとすると「このホームドラマは留め袖でないが滑り易い」ということは事実と異なる fact18: 「「このホームドラマは御参照下さるがそれは制定しない」ということは事実だ」ということは事実と異なるとするとあの談笑は御参照下さらない fact19: もしもなにがしかのものが滑り易くないとしたらこのホームドラマは制定しない fact20: このホームドラマは甘ったるくない fact21: もし仮になにがしかの物が登壇すればそれは内閣制度であるけど倒れ難くない fact22: もしもとあるものが御参照下さるとすれば内閣制度である
void -> assump1: 以下のように仮定する。あの談笑は御参照下さらない; fact17 & assump1 -> int1: 「このホームドラマは留め袖であるということはないけれど滑り易い」ということは事実と異なる; int1 -> int2: 「「留め袖でなくてまた滑り易い」ということは成り立たない」ものはある; int2 & fact16 -> int3: 「あの飛躍的進展は制定しない」ということは本当である; fact6 & fact12 -> int4: あの飛躍的進展は甘ったるい; fact11 -> int5: 「もしあの飛躍的進展が甘ったるいとするとあの飛躍的進展は制定する」ということは正しい; int4 & int5 -> int6: あの飛躍的進展は制定する; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あの豚ばら肉は御参照下さらない
fact24 -> int8: 「このホームドラマは登壇する」ということは成り立てばそれは内閣制度であるけれど倒れ難くない;
$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$ = 
void -> assump1: 以下のように仮定する。あの談笑は御参照下さらない; fact17 & assump1 -> int1: 「このホームドラマは留め袖であるということはないけれど滑り易い」ということは事実と異なる; int1 -> int2: 「「留め袖でなくてまた滑り易い」ということは成り立たない」ものはある; int2 & fact16 -> int3: 「あの飛躍的進展は制定しない」ということは本当である; fact6 & fact12 -> int4: あの飛躍的進展は甘ったるい; fact11 -> int5: 「もしあの飛躍的進展が甘ったるいとするとあの飛躍的進展は制定する」ということは正しい; int4 & int5 -> int6: あの飛躍的進展は制定する; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかのものは甘ったるいとしたら「御参照下さるがしかし制定しない」ということは偽だ
事実2: 「「御参照下さらないしおまけに滑り易い」ということは偽である」ものはある
事実3: あの談笑は甘ったるい
事実4: もしもなんらかのものが内閣制度でないとしたらこのホームドラマは留め袖だということはない
事実5: もし仮に「内閣制度でない」ものがあるならあの飛躍的進展は滑り易くない
事実6: もし仮に「あの飛躍的進展は内閣制度である」ということは事実であるとしたらそれは甘ったるい
事実7: 何かは留め袖でないが滑り易い
事実8: もし仮に「このホームドラマは内閣制度であるがそれは倒れ難くない」ということは成り立つならあの談笑は制定しない
事実9: 「「あの飛躍的進展は甘ったるくないけど滑り易い」ということは嘘である」ということは成り立つ
事実10: 仮に「滑り易くない」ものがあるならあの飛躍的進展は制定しない
事実11: もしとあるものが甘ったるいとするとそれは制定する
事実12: あの飛躍的進展は内閣制度だ
事実13: その全軍隊は滑り易い
事実14: 「「留め袖であるし滑り易い」ということは成り立たない」物はある
事実15: 「「達しであるしその上返りらしい」ということは成り立たない」物はある
事実16: もし仮に「「留め袖でないけど滑り易い」ということは成り立たない」ものがあるとすればあの飛躍的進展は制定しない
事実17: あの談笑は御参照下さらないとすると「このホームドラマは留め袖でないが滑り易い」ということは事実と異なる
事実18: 「「このホームドラマは御参照下さるがそれは制定しない」ということは事実だ」ということは事実と異なるとするとあの談笑は御参照下さらない
事実19: もしもなにがしかのものが滑り易くないとしたらこのホームドラマは制定しない
事実20: このホームドラマは甘ったるくない
事実21: もし仮になにがしかの物が登壇すればそれは内閣制度であるけど倒れ難くない
事実22: もしもとあるものが御参照下さるとすれば内閣制度である

仮説: あの談笑は御参照下さらない
1. 仮定1: 以下のように仮定する。あの談笑は御参照下さらない
2. 事実17と仮定1から、推論1: "「このホームドラマは留め袖であるということはないけれど滑り易い」ということは事実と異なる"が導かれる
3. 推論1から、推論2: "「「留め袖でなくてまた滑り易い」ということは成り立たない」ものはある"が導かれる
4. 推論2と事実16から、推論3: "「あの飛躍的進展は制定しない」ということは本当である"が導かれる
5. 事実6と事実12から、推論4: "あの飛躍的進展は甘ったるい"が導かれる
6. 事実11から、推論5: "「もしあの飛躍的進展が甘ったるいとするとあの飛躍的進展は制定する」ということは正しい"が導かれる
7. 推論4と推論5から、推論6: "あの飛躍的進展は制定する"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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