「このみよみねLv.57は漬け込むし更に誤解され易い」ということは間違いである
fact1: そのものものLv.57は胸苦しい一方で気恥ずかしくない fact2: あのまにょまゆLv.63がぽんするとするとこのみよみねLv.57は漬け込む fact3: このみよみねLv.57は誤解され易い fact4: もしも「そのものものLv.57は胸苦しいがしかし気恥ずかしくない」ということは成り立てばあのまにょまゆLv.63はぽんする fact5: もしもこのぴやぴなLv.82が変えるということはないとするとこのぴやぴなLv.82は誤解され易いしその上漬け込む
fact4 & fact1 -> int1: あのまにょまゆLv.63はぽんする; int1 & fact2 -> int2: このみよみねLv.57は漬け込む; int2 & fact3 -> hypothesis;
fact4 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {A}{c}; int2 & fact3 -> hypothesis;
このぴやぴなLv.82は誤解され易いが支え合わない
$facts$ = fact1: そのものものLv.57は胸苦しい一方で気恥ずかしくない fact2: あのまにょまゆLv.63がぽんするとするとこのみよみねLv.57は漬け込む fact3: このみよみねLv.57は誤解され易い fact4: もしも「そのものものLv.57は胸苦しいがしかし気恥ずかしくない」ということは成り立てばあのまにょまゆLv.63はぽんする fact5: もしもこのぴやぴなLv.82が変えるということはないとするとこのぴやぴなLv.82は誤解され易いしその上漬け込む ; $hypothesis$ = 「このみよみねLv.57は漬け込むし更に誤解され易い」ということは間違いである ; $proof$ = 
fact4 & fact1 -> int1: あのまにょまゆLv.63はぽんする; int1 & fact2 -> int2: このみよみねLv.57は漬け込む; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {A}{c}; int2 & fact3 -> hypothesis; __DISPROVED__