「「フィードバックするか若いかまたは両方な」モンスターはいる」ということは事実と異なる
fact1: あのぴちょぴわLv.93は求め続ける fact2: あのぴちょぴわLv.93が求め続けるとしたらそのみゆみにゅLv.16は支給停止する fact3: もしそのみゆみにゅLv.16が支給停止するとしたらそのみゆみにゅLv.16は程良い fact4: もし仮に「そのみゆみにゅLv.16は程良い」ということは事実だとすればこのみよみにゃLv.50はフィードバックする fact5: そのみゆみにゅLv.16は若くない fact6: あるモンスターがフィードバックするしそれが程良いならばあのぴちょぴわLv.93は程良くない
fact2 & fact1 -> int1: そのみゆみにゅLv.16は支給停止する; int1 & fact3 -> int2: そのみゆみにゅLv.16は程良い; int2 & fact4 -> int3: このみよみにゃLv.50はフィードバックする; int3 -> int4: このみよみにゃLv.50はフィードバックするかまたは若いかまたはどちらもだ; int4 -> hypothesis;
fact2 & fact1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{c}; int3 -> int4: ({D}{c} v {E}{c}); int4 -> hypothesis;
あのぴちょぴわLv.93は支給停止する
$facts$ = fact1: あのぴちょぴわLv.93は求め続ける fact2: あのぴちょぴわLv.93が求め続けるとしたらそのみゆみにゅLv.16は支給停止する fact3: もしそのみゆみにゅLv.16が支給停止するとしたらそのみゆみにゅLv.16は程良い fact4: もし仮に「そのみゆみにゅLv.16は程良い」ということは事実だとすればこのみよみにゃLv.50はフィードバックする fact5: そのみゆみにゅLv.16は若くない fact6: あるモンスターがフィードバックするしそれが程良いならばあのぴちょぴわLv.93は程良くない ; $hypothesis$ = 「「フィードバックするか若いかまたは両方な」モンスターはいる」ということは事実と異なる ; $proof$ = 
fact2 & fact1 -> int1: そのみゆみにゅLv.16は支給停止する; int1 & fact3 -> int2: そのみゆみにゅLv.16は程良い; int2 & fact4 -> int3: このみよみにゃLv.50はフィードバックする; int3 -> int4: このみよみにゃLv.50はフィードバックするかまたは若いかまたはどちらもだ; int4 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{c}; int3 -> int4: ({D}{c} v {E}{c}); int4 -> hypothesis; __DISPROVED__