あのアレルゲンは早退するということはないがそれは面談する
fact1: この即身成仏は成りゃするかもしくは潰すかあるいは両方である fact2: もしもあのアレルゲンは早退しないけど面談するとすると成りゃしない fact3: もしもあのアレルゲンはよろよろしないならば「それは成りゃしなくておまけにそれは潰さない」ということは成り立たない fact4: あのアレルゲンは早退するということはない fact5: もしも「この即身成仏は成りゃする」ということは成り立つならあのアレルゲンは成りゃする fact6: もし仮にこの即身成仏が潰すとしたらあのアレルゲンは成りゃする
void -> assump1: 以下のように仮定する。あのアレルゲンは早退しないが面談する; fact2 & assump1 -> int1: 「あのアレルゲンは成りゃしない」ということは真実である; fact5 & fact6 & fact1 -> int2: あのアレルゲンは成りゃする; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: (¬{AA}{a} & {AB}{a}); fact2 & assump1 -> int1: ¬{B}{a}; fact5 & fact6 & fact1 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
そのミラー粒子は馬鹿馬鹿しいかまたは各階級であるかあるいはどちらもである
$facts$ = fact1: この即身成仏は成りゃするかもしくは潰すかあるいは両方である fact2: もしもあのアレルゲンは早退しないけど面談するとすると成りゃしない fact3: もしもあのアレルゲンはよろよろしないならば「それは成りゃしなくておまけにそれは潰さない」ということは成り立たない fact4: あのアレルゲンは早退するということはない fact5: もしも「この即身成仏は成りゃする」ということは成り立つならあのアレルゲンは成りゃする fact6: もし仮にこの即身成仏が潰すとしたらあのアレルゲンは成りゃする ; $hypothesis$ = あのアレルゲンは早退するということはないがそれは面談する ; $proof$ = 
void -> assump1: 以下のように仮定する。あのアレルゲンは早退しないが面談する; fact2 & assump1 -> int1: 「あのアレルゲンは成りゃしない」ということは真実である; fact5 & fact6 & fact1 -> int2: あのアレルゲンは成りゃする; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この即身成仏は成りゃするかもしくは潰すかあるいは両方である
事実2: もしもあのアレルゲンは早退しないけど面談するとすると成りゃしない
事実3: もしもあのアレルゲンはよろよろしないならば「それは成りゃしなくておまけにそれは潰さない」ということは成り立たない
事実4: あのアレルゲンは早退するということはない
事実5: もしも「この即身成仏は成りゃする」ということは成り立つならあのアレルゲンは成りゃする
事実6: もし仮にこの即身成仏が潰すとしたらあのアレルゲンは成りゃする

仮説: あのアレルゲンは早退するということはないがそれは面談する
1. 仮定1: 以下のように仮定する。あのアレルゲンは早退しないが面談する
2. 事実2と仮定1から、推論1: "「あのアレルゲンは成りゃしない」ということは真実である"が導かれる
3. 事実5と事実6と事実1から、推論2: "あのアレルゲンは成りゃする"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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