「あのぽちゃぽいLv.88は甚だしない」ということは事実である
fact1: 「もし仮にあのぷえぷちゅLv.34が色好いとすればあのぽやぽにょLv.93は緊急入院する」ということは事実だ fact2: あのぷえぷちゅLv.34は色好い fact3: もしあのぽやぽにょLv.93が緊急入院するならあのぽちゃぽいLv.88は甚だし fact4: もし「なにがしかのモンスターは緊急入院するということはないけれど甚だし」ということは事実と異なれば「それは甚だしない」ということは成り立つ fact5: 仮にあのぷえぷちゅLv.34が緊急入院するならあのぽやぽにょLv.93は色好い
fact1 & fact2 -> int1: あのぽやぽにょLv.93は緊急入院する; int1 & fact3 -> hypothesis;
fact1 & fact2 -> int1: {B}{b}; int1 & fact3 -> hypothesis;
「あのぽちゃぽいLv.88は甚だしない」ということは事実である
fact6 -> int2: 仮に「「あのぽちゃぽいLv.88は緊急入院しないけれどそれは甚だし」ということは成り立つ」ということは嘘であるとするとそれは甚だしということはない;
$facts$ = fact1: 「もし仮にあのぷえぷちゅLv.34が色好いとすればあのぽやぽにょLv.93は緊急入院する」ということは事実だ fact2: あのぷえぷちゅLv.34は色好い fact3: もしあのぽやぽにょLv.93が緊急入院するならあのぽちゃぽいLv.88は甚だし fact4: もし「なにがしかのモンスターは緊急入院するということはないけれど甚だし」ということは事実と異なれば「それは甚だしない」ということは成り立つ fact5: 仮にあのぷえぷちゅLv.34が緊急入院するならあのぽやぽにょLv.93は色好い ; $hypothesis$ = 「あのぽちゃぽいLv.88は甚だしない」ということは事実である ; $proof$ = 
fact1 & fact2 -> int1: あのぽやぽにょLv.93は緊急入院する; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}{b}; int1 & fact3 -> hypothesis; __DISPROVED__