「仮にあの名剣は葛藤するとしたら「あのぐうは因り難いがカウンティ型でない」ということは嘘である」ということは誤りである
fact1: もしあの薬用成分は眠たいということはないとしたら「あのぐうは因り難い一方でカウンティ型でない」ということは嘘だ fact2: もしもあの薬用成分は眠たくないとすると「あのぐうは因り難いしその上カウンティ型だ」ということは偽である fact3: 仮にあの名剣が葛藤すればあのぐうは因り難い一方でカウンティ型でない fact4: その最低限は追い求める一方でカウンティ型であるということはない fact5: 「あのぐうは因り難いしそれはカウンティ型だ」ということは間違いである fact6: もしもあの名剣は葛藤するとすると「その最低限は追い求めるけどねちっこくない」ということは成り立たない fact7: もしその最低限は追い求めないならば「あの薬用成分は眠たくない」ということは事実である fact8: その最低限は追い求めるけど太しない fact9: 「あの名剣は葛藤するし眠たい」ということは正しくない fact10: もしもあのぐうはねちっこくないならば「その最低限はカウンティ型だけれど因り難くない」ということは間違いだ fact11: 仮にあの薬用成分は追い求めるとすると「あのぐうは因り難いけど眠たくない」ということは成り立たない fact12: 「その最低限は追い求めるけれどそれはねちっこくない」ということは事実と異なるとするとあの薬用成分は眠たくない fact13: 「あのぐうはカウンティ型であるがねちっこいということはない」ということは間違っている fact14: あの薬用成分は眠たくないとしたら「あの名剣は葛藤するが追い求めない」ということは間違いだ fact15: もしもあの名剣は葛藤しないとすると「この小単元はカウンティ型だけどそれはつべたくない」ということは真実でない
void -> assump1: 以下のように仮定する。あの名剣は葛藤する; fact6 & assump1 -> int1: 「その最低限は追い求める一方でそれはねちっこくない」ということは誤っている; int1 & fact12 -> int2: あの薬用成分は眠たいということはない; int2 & fact1 -> int3: 「あのぐうは因り難いがしかしそれはカウンティ型であるということはない」ということは成り立たない; [assump1] & int3 -> hypothesis;
「この小単元はカウンティ型であるけどつべたくない」ということは成り立つということはない
$facts$ = fact1: もしあの薬用成分は眠たいということはないとしたら「あのぐうは因り難い一方でカウンティ型でない」ということは嘘だ fact2: もしもあの薬用成分は眠たくないとすると「あのぐうは因り難いしその上カウンティ型だ」ということは偽である fact3: 仮にあの名剣が葛藤すればあのぐうは因り難い一方でカウンティ型でない fact4: その最低限は追い求める一方でカウンティ型であるということはない fact5: 「あのぐうは因り難いしそれはカウンティ型だ」ということは間違いである fact6: もしもあの名剣は葛藤するとすると「その最低限は追い求めるけどねちっこくない」ということは成り立たない fact7: もしその最低限は追い求めないならば「あの薬用成分は眠たくない」ということは事実である fact8: その最低限は追い求めるけど太しない fact9: 「あの名剣は葛藤するし眠たい」ということは正しくない fact10: もしもあのぐうはねちっこくないならば「その最低限はカウンティ型だけれど因り難くない」ということは間違いだ fact11: 仮にあの薬用成分は追い求めるとすると「あのぐうは因り難いけど眠たくない」ということは成り立たない fact12: 「その最低限は追い求めるけれどそれはねちっこくない」ということは事実と異なるとするとあの薬用成分は眠たくない fact13: 「あのぐうはカウンティ型であるがねちっこいということはない」ということは間違っている fact14: あの薬用成分は眠たくないとしたら「あの名剣は葛藤するが追い求めない」ということは間違いだ fact15: もしもあの名剣は葛藤しないとすると「この小単元はカウンティ型だけどそれはつべたくない」ということは真実でない ; $hypothesis$ = 「仮にあの名剣は葛藤するとしたら「あのぐうは因り難いがカウンティ型でない」ということは嘘である」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの名剣は葛藤する; fact6 & assump1 -> int1: 「その最低限は追い求める一方でそれはねちっこくない」ということは誤っている; int1 & fact12 -> int2: あの薬用成分は眠たいということはない; int2 & fact1 -> int3: 「あのぐうは因り難いがしかしそれはカウンティ型であるということはない」ということは成り立たない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしあの薬用成分は眠たいということはないとしたら「あのぐうは因り難い一方でカウンティ型でない」ということは嘘だ
事実2: もしもあの薬用成分は眠たくないとすると「あのぐうは因り難いしその上カウンティ型だ」ということは偽である
事実3: 仮にあの名剣が葛藤すればあのぐうは因り難い一方でカウンティ型でない
事実4: その最低限は追い求める一方でカウンティ型であるということはない
事実5: 「あのぐうは因り難いしそれはカウンティ型だ」ということは間違いである
事実6: もしもあの名剣は葛藤するとすると「その最低限は追い求めるけどねちっこくない」ということは成り立たない
事実7: もしその最低限は追い求めないならば「あの薬用成分は眠たくない」ということは事実である
事実8: その最低限は追い求めるけど太しない
事実9: 「あの名剣は葛藤するし眠たい」ということは正しくない
事実10: もしもあのぐうはねちっこくないならば「その最低限はカウンティ型だけれど因り難くない」ということは間違いだ
事実11: 仮にあの薬用成分は追い求めるとすると「あのぐうは因り難いけど眠たくない」ということは成り立たない
事実12: 「その最低限は追い求めるけれどそれはねちっこくない」ということは事実と異なるとするとあの薬用成分は眠たくない
事実13: 「あのぐうはカウンティ型であるがねちっこいということはない」ということは間違っている
事実14: あの薬用成分は眠たくないとしたら「あの名剣は葛藤するが追い求めない」ということは間違いだ
事実15: もしもあの名剣は葛藤しないとすると「この小単元はカウンティ型だけどそれはつべたくない」ということは真実でない

仮説: 「仮にあの名剣は葛藤するとしたら「あのぐうは因り難いがカウンティ型でない」ということは嘘である」ということは誤りである
1. 仮定1: 以下のように仮定する。あの名剣は葛藤する
2. 事実6と仮定1から、推論1: "「その最低限は追い求める一方でそれはねちっこくない」ということは誤っている"が導かれる
3. 推論1と事実12から、推論2: "あの薬用成分は眠たいということはない"が導かれる
4. 推論2と事実1から、推論3: "「あのぐうは因り難いがしかしそれはカウンティ型であるということはない」ということは成り立たない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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