その肌着はきな臭くない
fact1: なにがしかのものは無気力でないとしたらきな臭くない fact2: どれもこれもは受け取られ兼ねる fact3: 親らしい物は無気力だが受け取られ兼ねらない fact4: 仮に「なんらかのものは親らしくないがしかし無気力である」ということは成り立つということはないならばそれは無気力だということはない fact5: もしも「その雀目は無気力だ」ということは確かだとするとその肌着はきな臭い fact6: もしもその雀目がこよないならばその肌着は震える fact7: もしその雀目が無気力であるということはないならばこの地方分権化後は預金証書・通帳だがそれは自生であるということはない fact8: 仮にその雀目が無気力でないならこの地方分権化後は預金証書・通帳である fact9: この地方分権化後は受け取られ兼ねる fact10: あらゆるものが自生だししかもそれは受け取られ兼ねる fact11: 仮にこの地方分権化後が無気力であるならばその雀目は受け取られ兼ねる fact12: その肌着は攻撃す fact13: 仮に何かは震えるなら受け取られ兼ねる fact14: 「もしその雀目は親らしいとしたら「その肌着は親らしい」ということは本当である」ということは成り立つ fact15: その雀目は野山獄だがしかしきな臭くない fact16: もしも無気力は受け取られ兼ねらないならば「それはきな臭くない」ということは成り立つ fact17: 全てのものはＥＥＣである fact18: この地方分権化後は預金証書・通帳である fact19: もしその肌着が預金証書・通帳でないとしたらこの地方分権化後は受け取られ兼ねるがそれはきな臭くない fact20: もしこの地方分権化後が親らしいとすればその雀目は親らしい
void -> assump1: 以下のように仮定する。その雀目は無気力であるということはない; fact7 & assump1 -> int1: この地方分権化後は預金証書・通帳であるがしかし自生でない; int1 -> int2: この地方分権化後は自生でない; fact10 -> int3: この地方分権化後は自生で加えて受け取られ兼ねる; int3 -> int4: この地方分権化後は自生である; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その雀目は無気力だ; int6 & fact5 -> hypothesis;
その肌着はきな臭くない
fact24 -> int7: 「その肌着は無気力である」ということは間違いであるとすると「それはきな臭いということはない」ということは間違いでない; fact23 -> int8: 「その肌着は親らしくないけどそれは無気力だ」ということは偽だとしたらそれは無気力でない; fact22 -> int9: その肌着が震えるとすればそれは受け取られ兼ねる;
$facts$ = fact1: なにがしかのものは無気力でないとしたらきな臭くない fact2: どれもこれもは受け取られ兼ねる fact3: 親らしい物は無気力だが受け取られ兼ねらない fact4: 仮に「なんらかのものは親らしくないがしかし無気力である」ということは成り立つということはないならばそれは無気力だということはない fact5: もしも「その雀目は無気力だ」ということは確かだとするとその肌着はきな臭い fact6: もしもその雀目がこよないならばその肌着は震える fact7: もしその雀目が無気力であるということはないならばこの地方分権化後は預金証書・通帳だがそれは自生であるということはない fact8: 仮にその雀目が無気力でないならこの地方分権化後は預金証書・通帳である fact9: この地方分権化後は受け取られ兼ねる fact10: あらゆるものが自生だししかもそれは受け取られ兼ねる fact11: 仮にこの地方分権化後が無気力であるならばその雀目は受け取られ兼ねる fact12: その肌着は攻撃す fact13: 仮に何かは震えるなら受け取られ兼ねる fact14: 「もしその雀目は親らしいとしたら「その肌着は親らしい」ということは本当である」ということは成り立つ fact15: その雀目は野山獄だがしかしきな臭くない fact16: もしも無気力は受け取られ兼ねらないならば「それはきな臭くない」ということは成り立つ fact17: 全てのものはＥＥＣである fact18: この地方分権化後は預金証書・通帳である fact19: もしその肌着が預金証書・通帳でないとしたらこの地方分権化後は受け取られ兼ねるがそれはきな臭くない fact20: もしこの地方分権化後が親らしいとすればその雀目は親らしい ; $hypothesis$ = その肌着はきな臭くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その雀目は無気力であるということはない; fact7 & assump1 -> int1: この地方分権化後は預金証書・通帳であるがしかし自生でない; int1 -> int2: この地方分権化後は自生でない; fact10 -> int3: この地方分権化後は自生で加えて受け取られ兼ねる; int3 -> int4: この地方分権化後は自生である; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その雀目は無気力だ; int6 & fact5 -> hypothesis; __DISPROVED__
事実1: なにがしかのものは無気力でないとしたらきな臭くない
事実2: どれもこれもは受け取られ兼ねる
事実3: 親らしい物は無気力だが受け取られ兼ねらない
事実4: 仮に「なんらかのものは親らしくないがしかし無気力である」ということは成り立つということはないならばそれは無気力だということはない
事実5: もしも「その雀目は無気力だ」ということは確かだとするとその肌着はきな臭い
事実6: もしもその雀目がこよないならばその肌着は震える
事実7: もしその雀目が無気力であるということはないならばこの地方分権化後は預金証書・通帳だがそれは自生であるということはない
事実8: 仮にその雀目が無気力でないならこの地方分権化後は預金証書・通帳である
事実9: この地方分権化後は受け取られ兼ねる
事実10: あらゆるものが自生だししかもそれは受け取られ兼ねる
事実11: 仮にこの地方分権化後が無気力であるならばその雀目は受け取られ兼ねる
事実12: その肌着は攻撃す
事実13: 仮に何かは震えるなら受け取られ兼ねる
事実14: 「もしその雀目は親らしいとしたら「その肌着は親らしい」ということは本当である」ということは成り立つ
事実15: その雀目は野山獄だがしかしきな臭くない
事実16: もしも無気力は受け取られ兼ねらないならば「それはきな臭くない」ということは成り立つ
事実17: 全てのものはＥＥＣである
事実18: この地方分権化後は預金証書・通帳である
事実19: もしその肌着が預金証書・通帳でないとしたらこの地方分権化後は受け取られ兼ねるがそれはきな臭くない
事実20: もしこの地方分権化後が親らしいとすればその雀目は親らしい

仮説: その肌着はきな臭くない
1. 仮定1: 以下のように仮定する。その雀目は無気力であるということはない
2. 事実7と仮定1から、推論1: "この地方分権化後は預金証書・通帳であるがしかし自生でない"が導かれる
3. 推論1から、推論2: "この地方分権化後は自生でない"が導かれる
4. 事実10から、推論3: "この地方分権化後は自生で加えて受け取られ兼ねる"が導かれる
5. 推論3から、推論4: "この地方分権化後は自生である"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その雀目は無気力だ"が導かれる
8. 推論6と事実5から、仮説が否定される

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