その振幅特性は天使らしい
fact1: 仮にとあるものは繋ぎ合わせるとすれば「余所余所しいがしかし出し易くない」ということは確かでない fact2: そのＸＹＺＺＹは塩っ辛いということはないけれど余所余所しい fact3: もしも何かは余所余所しかないとしたら天使らしいし塩っ辛い fact4: 「もし「なにかは余所余所しいけど出し易くない」ということは間違いだとしたらそれは余所余所しいということはない」ということは成り立つ fact5: 仮にその振幅特性が天使らしいとするとそのＸＹＺＺＹは塩っ辛い
void -> assump1: 以下のように仮定する。その振幅特性は天使らしい; fact5 & assump1 -> int1: そのＸＹＺＺＹは塩っ辛い; fact2 -> int2: そのＸＹＺＺＹは塩っ辛くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; fact2 -> int2: ¬{B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
そのＸＹＺＺＹは天使らしい
fact7 -> int4: そのＸＹＺＺＹが余所余所しかないならそれは天使らしいし加えて塩っ辛い; fact8 -> int5: もし「そのＸＹＺＺＹは余所余所しいけれど出し易くない」ということは成り立たないならそれは余所余所しかない; fact6 -> int6: もしもそのＸＹＺＺＹは繋ぎ合わせるなら「それは余所余所しいしおまけに出し易くない」ということは間違っている;
$facts$ = fact1: 仮にとあるものは繋ぎ合わせるとすれば「余所余所しいがしかし出し易くない」ということは確かでない fact2: そのＸＹＺＺＹは塩っ辛いということはないけれど余所余所しい fact3: もしも何かは余所余所しかないとしたら天使らしいし塩っ辛い fact4: 「もし「なにかは余所余所しいけど出し易くない」ということは間違いだとしたらそれは余所余所しいということはない」ということは成り立つ fact5: 仮にその振幅特性が天使らしいとするとそのＸＹＺＺＹは塩っ辛い ; $hypothesis$ = その振幅特性は天使らしい ; $proof$ = 
void -> assump1: 以下のように仮定する。その振幅特性は天使らしい; fact5 & assump1 -> int1: そのＸＹＺＺＹは塩っ辛い; fact2 -> int2: そのＸＹＺＺＹは塩っ辛くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 仮にとあるものは繋ぎ合わせるとすれば「余所余所しいがしかし出し易くない」ということは確かでない
事実2: そのＸＹＺＺＹは塩っ辛いということはないけれど余所余所しい
事実3: もしも何かは余所余所しかないとしたら天使らしいし塩っ辛い
事実4: 「もし「なにかは余所余所しいけど出し易くない」ということは間違いだとしたらそれは余所余所しいということはない」ということは成り立つ
事実5: 仮にその振幅特性が天使らしいとするとそのＸＹＺＺＹは塩っ辛い

仮説: その振幅特性は天使らしい
1. 仮定1: 以下のように仮定する。その振幅特性は天使らしい
2. 事実5と仮定1から、推論1: "そのＸＹＺＺＹは塩っ辛い"が導かれる
3. 事実2から、推論2: "そのＸＹＺＺＹは塩っ辛くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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