あのぽくぽくLv.15はオープンしない
fact1: もし仮にそのぽにょぽにゃLv.66が把握し難くないとすればあのぽくぽくLv.15はオープンするということはない fact2: もしそのぽにょぽにゃLv.66は資金調達しないならば「あのぽくぽくLv.15は乗り捨てなくてそれは把握し難くない」ということは成り立たない fact3: すべてのモンスターはオープンする fact4: もしも「何らかのモンスターは乗り捨てないしかつそれは把握し難くない」ということは偽ならばそれは把握し難い
fact3 -> int1: すべてのモンスターはオープンする; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
あのぽくぽくLv.15はオープンしない
$facts$ = fact1: もし仮にそのぽにょぽにゃLv.66が把握し難くないとすればあのぽくぽくLv.15はオープンするということはない fact2: もしそのぽにょぽにゃLv.66は資金調達しないならば「あのぽくぽくLv.15は乗り捨てなくてそれは把握し難くない」ということは成り立たない fact3: すべてのモンスターはオープンする fact4: もしも「何らかのモンスターは乗り捨てないしかつそれは把握し難くない」ということは偽ならばそれは把握し難い ; $hypothesis$ = あのぽくぽくLv.15はオープンしない ; $proof$ = 
fact3 -> int1: すべてのモンスターはオープンする; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__