このぽいぽいLv.92は飲み易くない
fact1: 「そのもわもちょLv.51は引き延ばせるしごっつい」ということは真実である fact2: 「そのもわもちょLv.51はごっつい」ということは確かだ fact3: もしそのもわもちょLv.51が引き延ばせるとしたらそのもくもにゅLv.2は外し易い fact4: このぽいぽいLv.92はごっつい fact5: そのもくもにゅLv.2が外し易いとすればこのぽいぽいLv.92は飲み易い
fact1 -> int1: そのもわもちょLv.51は引き延ばせる; int1 & fact3 -> int2: そのもくもにゅLv.2は外し易い; int2 & fact5 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact5 -> hypothesis;
$facts$ = fact1: 「そのもわもちょLv.51は引き延ばせるしごっつい」ということは真実である fact2: 「そのもわもちょLv.51はごっつい」ということは確かだ fact3: もしそのもわもちょLv.51が引き延ばせるとしたらそのもくもにゅLv.2は外し易い fact4: このぽいぽいLv.92はごっつい fact5: そのもくもにゅLv.2が外し易いとすればこのぽいぽいLv.92は飲み易い ; $hypothesis$ = このぽいぽいLv.92は飲み易くない ; $proof$ = 
fact1 -> int1: そのもわもちょLv.51は引き延ばせる; int1 & fact3 -> int2: そのもくもにゅLv.2は外し易い; int2 & fact5 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact5 -> hypothesis; __DISPROVED__