このもにもにゅLv.69は恥ずかしということはない
fact1: そのぴよぴよLv.20は真っ黒い fact2: もしそのぴよぴよLv.20が組み上がればそのぴよぴよLv.20は組み上がる一方でそれはコントロールしない fact3: もし「このもにもにゅLv.69は結合し易い」ということは真実であるならば恥ずかし fact4: 「組み上がる」モンスターはいる fact5: 仮にそのぴよぴよLv.20が真っ黒いとすればそのぴよぴよLv.20は組み上がる fact6: もし仮にあるモンスターが組み上がるけれどコントロールするということはないならばこのもにもにゅLv.69は結合し易い
fact5 & fact1 -> int1: そのぴよぴよLv.20は組み上がる; int1 & fact2 -> int2: そのぴよぴよLv.20は組み上がる一方でコントロールしない; int2 -> int3: 「組み上がるしまたコントロールするということはない」モンスターはいる; int3 & fact6 -> int4: このもにもにゅLv.69は結合し易い; int4 & fact3 -> hypothesis;
fact5 & fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & ¬{C}{a}); int2 -> int3: (Ex): ({B}x & ¬{C}x); int3 & fact6 -> int4: {D}{b}; int4 & fact3 -> hypothesis;
$facts$ = fact1: そのぴよぴよLv.20は真っ黒い fact2: もしそのぴよぴよLv.20が組み上がればそのぴよぴよLv.20は組み上がる一方でそれはコントロールしない fact3: もし「このもにもにゅLv.69は結合し易い」ということは真実であるならば恥ずかし fact4: 「組み上がる」モンスターはいる fact5: 仮にそのぴよぴよLv.20が真っ黒いとすればそのぴよぴよLv.20は組み上がる fact6: もし仮にあるモンスターが組み上がるけれどコントロールするということはないならばこのもにもにゅLv.69は結合し易い ; $hypothesis$ = このもにもにゅLv.69は恥ずかしということはない ; $proof$ = 
fact5 & fact1 -> int1: そのぴよぴよLv.20は組み上がる; int1 & fact2 -> int2: そのぴよぴよLv.20は組み上がる一方でコントロールしない; int2 -> int3: 「組み上がるしまたコントロールするということはない」モンスターはいる; int3 & fact6 -> int4: このもにもにゅLv.69は結合し易い; int4 & fact3 -> hypothesis; __DISPROVED__
fact5 & fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & ¬{C}{a}); int2 -> int3: (Ex): ({B}x & ¬{C}x); int3 & fact6 -> int4: {D}{b}; int4 & fact3 -> hypothesis; __DISPROVED__