その宣伝文はむんむんしない
fact1: その抽出器具は振り返るということはない fact2: その人類学はサラ金だ fact3: その人類学はブレンドしない fact4: その抽出器具は導電性高分子である fact5: その人類学はサーチしない fact6: あの専任講師はブレンドする fact7: 「その付託請願件数は波長域である」ということは成り立つ fact8: 仮に何かはむんむんしないとしたらその抽出器具は小高くない fact9: もしもその抽出器具がサーチしないならばその人類学は小高くない fact10: この収納庫はサーチする fact11: もしもその抽出器具がサーチするなら波長域だ fact12: もしもその宣伝文が小高くないならばあの人類学はむんむんするししかも導電性高分子だ fact13: その抽出器具はブレンドするがしかしそれは波長域でない fact14: 「その人類学はむんむんするしまた荒技である」ということは真実である fact15: その抽出器具は再利用する fact16: もしその人類学が小高くないとするとその宣伝文は導電性高分子であるしまたむんむんする fact17: その宣伝文は小高い fact18: 仮にその抽出器具が波長域であるということはないとするとその宣伝文はブレンドするしサーチする fact19: もし仮にその人類学は傭兵部隊であるとすればサーチする fact20: その宣伝文は役立てるけれどそれは規定し合わない fact21: 「その抽出器具はブレンドするし更に暗号帳である」ということは成り立つ fact22: その人類学は波長域だということはない fact23: 仮にその宣伝文がブレンドするということはないとしたらその抽出器具は導電性高分子だ
void -> assump1: 以下のように仮定する。「その抽出器具はサーチする」ということは確かである; fact11 & assump1 -> int1: 「その抽出器具は波長域である」ということは本当である; fact13 -> int2: 「その抽出器具は波長域でない」ということは確かだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その抽出器具はサーチしない; int4 & fact9 -> int5: その人類学は小高くない; int5 & fact16 -> int6: その宣伝文は導電性高分子でむんむんする; int6 -> hypothesis;
そのシークレット・サービスは波長域でない
$facts$ = fact1: その抽出器具は振り返るということはない fact2: その人類学はサラ金だ fact3: その人類学はブレンドしない fact4: その抽出器具は導電性高分子である fact5: その人類学はサーチしない fact6: あの専任講師はブレンドする fact7: 「その付託請願件数は波長域である」ということは成り立つ fact8: 仮に何かはむんむんしないとしたらその抽出器具は小高くない fact9: もしもその抽出器具がサーチしないならばその人類学は小高くない fact10: この収納庫はサーチする fact11: もしもその抽出器具がサーチするなら波長域だ fact12: もしもその宣伝文が小高くないならばあの人類学はむんむんするししかも導電性高分子だ fact13: その抽出器具はブレンドするがしかしそれは波長域でない fact14: 「その人類学はむんむんするしまた荒技である」ということは真実である fact15: その抽出器具は再利用する fact16: もしその人類学が小高くないとするとその宣伝文は導電性高分子であるしまたむんむんする fact17: その宣伝文は小高い fact18: 仮にその抽出器具が波長域であるということはないとするとその宣伝文はブレンドするしサーチする fact19: もし仮にその人類学は傭兵部隊であるとすればサーチする fact20: その宣伝文は役立てるけれどそれは規定し合わない fact21: 「その抽出器具はブレンドするし更に暗号帳である」ということは成り立つ fact22: その人類学は波長域だということはない fact23: 仮にその宣伝文がブレンドするということはないとしたらその抽出器具は導電性高分子だ ; $hypothesis$ = その宣伝文はむんむんしない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その抽出器具はサーチする」ということは確かである; fact11 & assump1 -> int1: 「その抽出器具は波長域である」ということは本当である; fact13 -> int2: 「その抽出器具は波長域でない」ということは確かだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その抽出器具はサーチしない; int4 & fact9 -> int5: その人類学は小高くない; int5 & fact16 -> int6: その宣伝文は導電性高分子でむんむんする; int6 -> hypothesis; __DISPROVED__
事実1: その抽出器具は振り返るということはない
事実2: その人類学はサラ金だ
事実3: その人類学はブレンドしない
事実4: その抽出器具は導電性高分子である
事実5: その人類学はサーチしない
事実6: あの専任講師はブレンドする
事実7: 「その付託請願件数は波長域である」ということは成り立つ
事実8: 仮に何かはむんむんしないとしたらその抽出器具は小高くない
事実9: もしもその抽出器具がサーチしないならばその人類学は小高くない
事実10: この収納庫はサーチする
事実11: もしもその抽出器具がサーチするなら波長域だ
事実12: もしもその宣伝文が小高くないならばあの人類学はむんむんするししかも導電性高分子だ
事実13: その抽出器具はブレンドするがしかしそれは波長域でない
事実14: 「その人類学はむんむんするしまた荒技である」ということは真実である
事実15: その抽出器具は再利用する
事実16: もしその人類学が小高くないとするとその宣伝文は導電性高分子であるしまたむんむんする
事実17: その宣伝文は小高い
事実18: 仮にその抽出器具が波長域であるということはないとするとその宣伝文はブレンドするしサーチする
事実19: もし仮にその人類学は傭兵部隊であるとすればサーチする
事実20: その宣伝文は役立てるけれどそれは規定し合わない
事実21: 「その抽出器具はブレンドするし更に暗号帳である」ということは成り立つ
事実22: その人類学は波長域だということはない
事実23: 仮にその宣伝文がブレンドするということはないとしたらその抽出器具は導電性高分子だ

仮説: その宣伝文はむんむんしない
1. 仮定1: 以下のように仮定する。「その抽出器具はサーチする」ということは確かである
2. 事実11と仮定1から、推論1: "「その抽出器具は波長域である」ということは本当である"が導かれる
3. 事実13から、推論2: "「その抽出器具は波長域でない」ということは確かだ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その抽出器具はサーチしない"が導かれる
6. 推論4と事実9から、推論5: "その人類学は小高くない"が導かれる
7. 推論5と事実16から、推論6: "その宣伝文は導電性高分子でむんむんする"が導かれる
8. 推論6から、仮説が否定される

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