「あのまのまいLv.6が水っぽいとしたらあのぷにゃぷにLv.84は面倒臭くない」ということは間違っている
fact1: なんらかのモンスターが水っぽいということはないならそれは絶え難くて更に浅黒くない fact2: もしもあのまのまいLv.6が浅黒くてかつそれが絶え難いとしたらあのぷにゃぷにLv.84は面倒臭くない fact3: このぷちゃぷにLv.52は浅黒い fact4: そのぴにょぴちゅLv.46は面倒臭くない fact5: 「あのまのまいLv.6は絶え難い」ということは事実だ fact6: もしあのまのまいLv.6が水っぽいならばあのぷにゃぷにLv.84は面倒臭い fact7: 仮にあのまのまいLv.6が水っぽいならばそれは浅黒い fact8: もしあのまのまいLv.6が面倒臭いならばあのぷにゃぷにLv.84は浅黒くない
void -> assump1: 以下のように仮定する。あのまのまいLv.6は水っぽい; fact7 & assump1 -> int1: あのまのまいLv.6は浅黒い; int1 & fact5 -> int2: あのまのまいLv.6は浅黒くてまた絶え難い; int2 & fact2 -> int3: あのぷにゃぷにLv.84は面倒臭くない; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact7 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: ({B}{a} & {C}{a}); int2 & fact2 -> int3: ¬{D}{b}; [assump1] & int3 -> hypothesis;
あのぷにゃぷにLv.84は絶え難くない
fact9 -> int4: 「あのまのまいLv.6は水っぽくない」ということは正しいならば絶え難くて浅黒くない;
$facts$ = fact1: なんらかのモンスターが水っぽいということはないならそれは絶え難くて更に浅黒くない fact2: もしもあのまのまいLv.6が浅黒くてかつそれが絶え難いとしたらあのぷにゃぷにLv.84は面倒臭くない fact3: このぷちゃぷにLv.52は浅黒い fact4: そのぴにょぴちゅLv.46は面倒臭くない fact5: 「あのまのまいLv.6は絶え難い」ということは事実だ fact6: もしあのまのまいLv.6が水っぽいならばあのぷにゃぷにLv.84は面倒臭い fact7: 仮にあのまのまいLv.6が水っぽいならばそれは浅黒い fact8: もしあのまのまいLv.6が面倒臭いならばあのぷにゃぷにLv.84は浅黒くない ; $hypothesis$ = 「あのまのまいLv.6が水っぽいとしたらあのぷにゃぷにLv.84は面倒臭くない」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あのまのまいLv.6は水っぽい; fact7 & assump1 -> int1: あのまのまいLv.6は浅黒い; int1 & fact5 -> int2: あのまのまいLv.6は浅黒くてまた絶え難い; int2 & fact2 -> int3: あのぷにゃぷにLv.84は面倒臭くない; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact7 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: ({B}{a} & {C}{a}); int2 & fact2 -> int3: ¬{D}{b}; [assump1] & int3 -> hypothesis; __DISPROVED__