「もし仮にこの三十九度以上が影響され易いならその災いは心理的特徴だ」ということは本当だということはない
fact1: その災いは楽し fact2: その災いは検索出来るし幽鬼だ fact3: その災いは怖い fact4: もし仮にこの三十九度以上が心理的特徴ならばその災いは怖い fact5: ある物は楽ししまた心理的特徴である fact6: この三十九度以上は怖いし楽し fact7: もしも「楽しし加えて影響され易い」物があるとするとその災いは心理的特徴である
fact6 -> int1: この三十九度以上は楽し; void -> assump1: 以下のように仮定する。この三十九度以上は影響され易い; int1 & assump1 -> int2: この三十九度以上は楽しし更に影響され易い; int2 -> int3: 楽しし影響され易い物はある; int3 & fact7 -> int4: その災いは心理的特徴だ; [assump1] & int4 -> hypothesis;
$facts$ = fact1: その災いは楽し fact2: その災いは検索出来るし幽鬼だ fact3: その災いは怖い fact4: もし仮にこの三十九度以上が心理的特徴ならばその災いは怖い fact5: ある物は楽ししまた心理的特徴である fact6: この三十九度以上は怖いし楽し fact7: もしも「楽しし加えて影響され易い」物があるとするとその災いは心理的特徴である ; $hypothesis$ = 「もし仮にこの三十九度以上が影響され易いならその災いは心理的特徴だ」ということは本当だということはない ; $proof$ = 
fact6 -> int1: この三十九度以上は楽し; void -> assump1: 以下のように仮定する。この三十九度以上は影響され易い; int1 & assump1 -> int2: この三十九度以上は楽しし更に影響され易い; int2 -> int3: 楽しし影響され易い物はある; int3 & fact7 -> int4: その災いは心理的特徴だ; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: その災いは楽し
事実2: その災いは検索出来るし幽鬼だ
事実3: その災いは怖い
事実4: もし仮にこの三十九度以上が心理的特徴ならばその災いは怖い
事実5: ある物は楽ししまた心理的特徴である
事実6: この三十九度以上は怖いし楽し
事実7: もしも「楽しし加えて影響され易い」物があるとするとその災いは心理的特徴である

仮説: 「もし仮にこの三十九度以上が影響され易いならその災いは心理的特徴だ」ということは本当だということはない
1. 事実6から、推論1: "この三十九度以上は楽し"が導かれる
2. 仮定1: 以下のように仮定する。この三十九度以上は影響され易い
3. 推論1と仮定1から、推論2: "この三十九度以上は楽しし更に影響され易い"が導かれる
4. 推論2から、推論3: "楽しし影響され易い物はある"が導かれる
5. 推論3と事実7から、推論4: "その災いは心理的特徴だ"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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