「この正念場はダウンドラフトだし更に本税等である」ということは偽である
fact1: その打撃音は私らしい fact2: 「その百四十／九十ミリメートルＨＧ未満は御し易いかダウンドラフトであるかあるいは両方だ」ということは偽なら「その打撃音は諦める」ということは正しい fact3: 「「忘れ難いかもしくは私らしくないかもしくはどちらもだ」ということは成り立たない」物はある fact4: もし仮に「「勉強し始めるかまたはダウンドラフトであるか両方ともである」ということは成り立たない」ものがあるとすればその打撃音は諦める fact5: 仮に「その打撃音は諦めるということはないか勉強し始めるかまたは両方ともだ」ということは嘘ならばあの正念場はダウンドラフトである fact6: もし仮に御し易いかあるいは口さがないかもしくは両方ともであるものがあるとするとこの正念場は本税等だ fact7: 「この正念場は勉強し始めないかもしくは諦めるかもしくは両方だ」ということは誤っているとしたら「その打撃音は本税等だ」ということは成り立つ fact8: 「口さがないかもしくは本税等であるかまたは両方ともである」ものがあるとするとその百四十／九十ミリメートルＨＧ未満はダウンドラフトだ fact9: もし仮に「御し易い」ものがあるとしたらその百四十／九十ミリメートルＨＧ未満は本税等である fact10: もし御し易い物があるならその百四十／九十ミリメートルＨＧ未満はダウンドラフトだ fact11: その百四十／九十ミリメートルＨＧ未満は私らしい fact12: もしも「「本税等であるかもしくは御し易い」ということは成り立たない」物があるとすればこの正念場はダウンドラフトである fact13: もし仮に「「その打撃音が口さはなくないかまたはそれはダウンドラフトであるかどちらもである」ということは本当だ」ということは事実と異なるとすればこの正念場は諦める fact14: もし仮になんらかの物が諦めるかダウンドラフトならば「この正念場は勉強し始める」ということは確かである fact15: もし仮に「その百四十／九十ミリメートルＨＧ未満はダウンドラフトでないかもしくは御し易いかもしくはどちらもだ」ということは成り立たないとしたらこの正念場は口さがない fact16: もしあるものが口さがないかもしくは諦めるかあるいは両方ともであるとするとその百四十／九十ミリメートルＨＧ未満は勉強し始める fact17: 「その打撃音は諦めないかまたは勉強し始める」ということは誤っている fact18: 「「忘れ難いかあるいは私らしくない」ということは誤っている」物があるとしたらその百四十／九十ミリメートルＨＧ未満は口さがない fact19: その百四十／九十ミリメートルＨＧ未満は突き出す fact20: もし仮に「その百四十／九十ミリメートルＨＧ未満は御し易くないか諦めるか両方ともである」ということは間違いならばその打撃音は口さがない fact21: その百四十／九十ミリメートルＨＧ未満は現象する fact22: 「「ダウンドラフトであるかまたは勉強し始めるかもしくはどちらもである」ということは偽である」物があるとしたらその打撃音は御し易い fact23: そのＩＣＦは入園する
fact3 & fact18 -> int1: その百四十／九十ミリメートルＨＧ未満は口さがない; int1 -> int2: その百四十／九十ミリメートルＨＧ未満は御し易いかあるいは口さがない; int2 -> int3: 何らかのものは御し易いかあるいは口さがないかまたは両方だ; int3 & fact6 -> int4: この正念場は本税等である; fact5 & fact17 -> int5: この正念場はダウンドラフトである; int4 & int5 -> 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$ = 
fact3 & fact18 -> int1: その百四十／九十ミリメートルＨＧ未満は口さがない; int1 -> int2: その百四十／九十ミリメートルＨＧ未満は御し易いかあるいは口さがない; int2 -> int3: 何らかのものは御し易いかあるいは口さがないかまたは両方だ; int3 & fact6 -> int4: この正念場は本税等である; fact5 & fact17 -> int5: この正念場はダウンドラフトである; int4 & int5 -> 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. 事実3と事実18から、推論1: "その百四十／九十ミリメートルＨＧ未満は口さがない"が導かれる
2. 推論1から、推論2: "その百四十／九十ミリメートルＨＧ未満は御し易いかあるいは口さがない"が導かれる
3. 推論2から、推論3: "何らかのものは御し易いかあるいは口さがないかまたは両方だ"が導かれる
4. 推論3と事実6から、推論4: "この正念場は本税等である"が導かれる
5. 事実5と事実17から、推論5: "この正念場はダウンドラフトである"が導かれる
6. 推論4と推論5から、仮説が否定される

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