あのドレッドノートはやんごとない
fact1: あの講演は舌根沈下でない fact2: この二チャンネルは静置するということはないとすれば「あのハポは不安材料でないしさらにそれは収穫物でない」ということは嘘だ fact3: あのドレッドノートがやんごとない一方で恵我小学校でないとするとこの二チャンネルは価格変動リスクだということはない fact4: 「あのハポは温かくない」ということは成り立たない fact5: 「この二チャンネルは恵我小学校で価格変動リスクである」ということは正しくない fact6: あのハポが狡賢いとするとあのドレッドノートはやんごとない fact7: もしもあのハポが温かくないとするとこの二チャンネルは恵我小学校である fact8: 「この二チャンネルは価格変動リスクであるしそれはやんごとない」ということは嘘であるならば「それは価格変動リスクでない」ということは確かである fact9: もし「なにがしかの物は不安材料でなくてそれに収穫物であるということはない」ということは誤りであるならそれは価格変動リスクでない fact10: 「この痙攣性疾患は引き分けるしその上言い出し難い」ということは誤っている fact11: あのハポが温かいけれどベクトル方式でないとするとあの講演は狡賢くない fact12: あのハポは価格変動リスクでない fact13: あのドレッドノートはベクトル方式であるということはない fact14: 「あのドレッドノートは温かい」ということは真実だ fact15: この二チャンネルは狡賢くない fact16: 仮に「あの講演は狡賢いしそれはベクトル方式だ」ということは確かでないとするとそれは狡賢くない fact17: もしあの講演が狡賢くないならあのドレッドノートはやんごとなくない fact18: 仮に「「あの講演は恵我小学校であるけどそれはやんごとなくない」ということは間違いである」ということは成り立てばあのドレッドノートは狡賢い fact19: あの講演は価格変動リスクでない fact20: 「この二チャンネルはやんごとないがしかし恵我小学校だということはない」ということは誤りだとしたら「あのドレッドノートは温かい」ということは真実である fact21: その体中は価格変動リスクだ fact22: 「あの物理的一体性は価格変動リスクだということはない」ということは真実だ fact23: もし仮に「あのドレッドノートはＳＴＡで浮揚する」ということは誤っているとしたらそれはＳＴＡでない fact24: もしも「「あのハポは温かいけどベクトル方式でない」ということは誤りだ」ということは成り立つとしたらこの二チャンネルは恵我小学校だ fact25: 「この二チャンネルは恵我小学校であるし更にそれは価格変動リスクだ」ということは事実と異なるとすると「恵我小学校でない」ということは確かである
void -> assump1: 以下のように仮定する。「あのハポは温かいがベクトル方式でない」ということは誤りである; fact24 & assump1 -> int1: 「この二チャンネルは恵我小学校だ」ということは成り立つ; fact5 & fact25 -> int2: この二チャンネルは恵我小学校でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのハポは温かいけどベクトル方式でない; int4 & fact11 -> int5: あの講演は狡賢くない; int5 & fact17 -> hypothesis;
あのドレッドノートはやんごとない
fact26 -> int6: もしも「あのハポは不安材料でなくてまた収穫物でない」ということは間違いだとすれば価格変動リスクであるということはない;
$facts$ = fact1: あの講演は舌根沈下でない fact2: この二チャンネルは静置するということはないとすれば「あのハポは不安材料でないしさらにそれは収穫物でない」ということは嘘だ fact3: あのドレッドノートがやんごとない一方で恵我小学校でないとするとこの二チャンネルは価格変動リスクだということはない fact4: 「あのハポは温かくない」ということは成り立たない fact5: 「この二チャンネルは恵我小学校で価格変動リスクである」ということは正しくない fact6: あのハポが狡賢いとするとあのドレッドノートはやんごとない fact7: もしもあのハポが温かくないとするとこの二チャンネルは恵我小学校である fact8: 「この二チャンネルは価格変動リスクであるしそれはやんごとない」ということは嘘であるならば「それは価格変動リスクでない」ということは確かである fact9: もし「なにがしかの物は不安材料でなくてそれに収穫物であるということはない」ということは誤りであるならそれは価格変動リスクでない fact10: 「この痙攣性疾患は引き分けるしその上言い出し難い」ということは誤っている fact11: あのハポが温かいけれどベクトル方式でないとするとあの講演は狡賢くない fact12: あのハポは価格変動リスクでない fact13: あのドレッドノートはベクトル方式であるということはない fact14: 「あのドレッドノートは温かい」ということは真実だ fact15: この二チャンネルは狡賢くない fact16: 仮に「あの講演は狡賢いしそれはベクトル方式だ」ということは確かでないとするとそれは狡賢くない fact17: もしあの講演が狡賢くないならあのドレッドノートはやんごとなくない fact18: 仮に「「あの講演は恵我小学校であるけどそれはやんごとなくない」ということは間違いである」ということは成り立てばあのドレッドノートは狡賢い fact19: あの講演は価格変動リスクでない fact20: 「この二チャンネルはやんごとないがしかし恵我小学校だということはない」ということは誤りだとしたら「あのドレッドノートは温かい」ということは真実である fact21: その体中は価格変動リスクだ fact22: 「あの物理的一体性は価格変動リスクだということはない」ということは真実だ fact23: もし仮に「あのドレッドノートはＳＴＡで浮揚する」ということは誤っているとしたらそれはＳＴＡでない fact24: もしも「「あのハポは温かいけどベクトル方式でない」ということは誤りだ」ということは成り立つとしたらこの二チャンネルは恵我小学校だ fact25: 「この二チャンネルは恵我小学校であるし更にそれは価格変動リスクだ」ということは事実と異なるとすると「恵我小学校でない」ということは確かである ; $hypothesis$ = あのドレッドノートはやんごとない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのハポは温かいがベクトル方式でない」ということは誤りである; fact24 & assump1 -> int1: 「この二チャンネルは恵我小学校だ」ということは成り立つ; fact5 & fact25 -> int2: この二チャンネルは恵我小学校でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのハポは温かいけどベクトル方式でない; int4 & fact11 -> int5: あの講演は狡賢くない; int5 & fact17 -> 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: もし仮に「あのドレッドノートはＳＴＡで浮揚する」ということは誤っているとしたらそれはＳＴＡでない
事実24: もしも「「あのハポは温かいけどベクトル方式でない」ということは誤りだ」ということは成り立つとしたらこの二チャンネルは恵我小学校だ
事実25: 「この二チャンネルは恵我小学校であるし更にそれは価格変動リスクだ」ということは事実と異なるとすると「恵我小学校でない」ということは確かである

仮説: あのドレッドノートはやんごとない
1. 仮定1: 以下のように仮定する。「あのハポは温かいがベクトル方式でない」ということは誤りである
2. 事実24と仮定1から、推論1: "「この二チャンネルは恵我小学校だ」ということは成り立つ"が導かれる
3. 事実5と事実25から、推論2: "この二チャンネルは恵我小学校でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのハポは温かいけどベクトル方式でない"が導かれる
6. 推論4と事実11から、推論5: "あの講演は狡賢くない"が導かれる
7. 推論5と事実17から、仮説が否定される

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