「この酸化型はレメディーでない」ということは成り立つ
fact1: この酸化型は噴火する fact2: この酸化型はレメディーだしその上噴火する fact3: もし仮に何かは餓鬼っぽいかもしくは酸化し難いということはないかもしくはどちらもだとするとそれは噴火しない fact4: その山形は社外流出するし更に全裸である
fact2 -> hypothesis;
fact2 -> hypothesis;
この酸化型はレメディーでない
fact5 -> int1: 仮にその境界エッジが餓鬼っぽいか酸化し難くないかもしくはどちらもであるなら「それは噴火しない」ということは間違っていない;
$facts$ = fact1: この酸化型は噴火する fact2: この酸化型はレメディーだしその上噴火する fact3: もし仮に何かは餓鬼っぽいかもしくは酸化し難いということはないかもしくはどちらもだとするとそれは噴火しない fact4: その山形は社外流出するし更に全裸である ; $hypothesis$ = 「この酸化型はレメディーでない」ということは成り立つ ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: この酸化型は噴火する
事実2: この酸化型はレメディーだしその上噴火する
事実3: もし仮に何かは餓鬼っぽいかもしくは酸化し難いということはないかもしくはどちらもだとするとそれは噴火しない
事実4: その山形は社外流出するし更に全裸である

仮説: 「この酸化型はレメディーでない」ということは成り立つ
1. 事実2から、仮説が否定される

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