あのぷゆぷゆLv.79は多しない
fact1: 「とあるモンスターは腕組みするししかもキャッチボールする」ということは誤っているとすれば「キャッチボールしない」ということは真実である fact2: 仮に何らかのモンスターがキャッチボールしないならば厚かましくてさらに酸化し難い fact3: すべてのモンスターは多し fact4: もしもこのぴよぴやLv.94が厚かましいとすればあのぷゆぷゆLv.79は多しない
fact3 -> int1: すべてのモンスターは多し; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
あのぷゆぷゆLv.79は多しない
fact7 -> int2: もしもこのぴよぴやLv.94がキャッチボールしないならこのぴよぴやLv.94が厚かましいしその上それは酸化し難い; fact6 -> int3: もしも「「このぴよぴやLv.94は腕組みするしキャッチボールする」ということは成り立たない」ということは事実だとしたらキャッチボールするということはない;
$facts$ = fact1: 「とあるモンスターは腕組みするししかもキャッチボールする」ということは誤っているとすれば「キャッチボールしない」ということは真実である fact2: 仮に何らかのモンスターがキャッチボールしないならば厚かましくてさらに酸化し難い fact3: すべてのモンスターは多し fact4: もしもこのぴよぴやLv.94が厚かましいとすればあのぷゆぷゆLv.79は多しない ; $hypothesis$ = あのぷゆぷゆLv.79は多しない ; $proof$ = 
fact3 -> int1: すべてのモンスターは多し; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__