そのぽちゅぽえLv.33は減価償却しない
fact1: もしもとあるモンスターが灰色っぽくてそれがしつっこいならそのぽちゅぽえLv.33は減価償却する fact2: 「しつっこい」モンスターはいる fact3: あのまのまにゃLv.57が細長いならばそのぴよぴにゅLv.76はしつっこい fact4: 仮にこのぴよぴちょLv.6が好転する一方で断り難くないならあのまのまにゃLv.57は細長い fact5: このぴよぴちょLv.6は好転する一方でそれは断り難くない fact6: 「そのぴよぴにゅLv.76は灰色っぽい」ということは本当だ fact7: あのもくもわLv.51は宜しし減価償却する
fact4 & fact5 -> int1: あのまのまにゃLv.57は細長い; int1 & fact3 -> int2: そのぴよぴにゅLv.76はしつっこい; int2 & fact6 -> int3: そのぴよぴにゅLv.76は灰色っぽいし更にしつっこい; int3 -> int4: 「灰色っぽいししかもしつっこい」モンスターはいる; int4 & fact1 -> hypothesis;
fact4 & fact5 -> int1: {B}{b}; int1 & fact3 -> int2: {A}{c}; int2 & fact6 -> int3: ({C}{c} & {A}{c}); int3 -> int4: (Ex): ({C}x & {A}x); int4 & fact1 -> hypothesis;
あのもくもわLv.51は宜しし繋がり易い
fact8 -> int5: あのもくもわLv.51は宜し;
$facts$ = fact1: もしもとあるモンスターが灰色っぽくてそれがしつっこいならそのぽちゅぽえLv.33は減価償却する fact2: 「しつっこい」モンスターはいる fact3: あのまのまにゃLv.57が細長いならばそのぴよぴにゅLv.76はしつっこい fact4: 仮にこのぴよぴちょLv.6が好転する一方で断り難くないならあのまのまにゃLv.57は細長い fact5: このぴよぴちょLv.6は好転する一方でそれは断り難くない fact6: 「そのぴよぴにゅLv.76は灰色っぽい」ということは本当だ fact7: あのもくもわLv.51は宜しし減価償却する ; $hypothesis$ = そのぽちゅぽえLv.33は減価償却しない ; $proof$ = 
fact4 & fact5 -> int1: あのまのまにゃLv.57は細長い; int1 & fact3 -> int2: そのぴよぴにゅLv.76はしつっこい; int2 & fact6 -> int3: そのぴよぴにゅLv.76は灰色っぽいし更にしつっこい; int3 -> int4: 「灰色っぽいししかもしつっこい」モンスターはいる; int4 & fact1 -> hypothesis; __DISPROVED__
fact4 & fact5 -> int1: {B}{b}; int1 & fact3 -> int2: {A}{c}; int2 & fact6 -> int3: ({C}{c} & {A}{c}); int3 -> int4: (Ex): ({C}x & {A}x); int4 & fact1 -> hypothesis; __DISPROVED__