「そのぽゆぽのLv.79は恥ずかしかあるいは程遠くないか両方ともである」ということは誤っている
fact1: ほろ苦くないモンスターは放置しないし更に使い易くない fact2: 「このみいみゆLv.35が恥ずかしならばそのぽゆぽのLv.79は恥ずかしかまたはそれは程遠くないかもしくはどちらもだ」ということは正しい fact3: 仮に「程遠いということはない」モンスターはいるとすれば「そのぽゆぽのLv.79は恥ずかしかあるいは程遠くないかもしくはどちらもである」ということは事実だということはない fact4: このぷゆぷにLv.24は飲み難くないけどそれは放置する fact5: もしも飲み難いモンスターが放置するとしたらこのみいみゆLv.35は恥ずかし fact6: もし「飲み難くない一方で放置する」モンスターがいるとするとこのみいみゆLv.35は恥ずかし
fact4 -> int1: あるモンスターは飲み難くないがしかし放置する; int1 & fact6 -> int2: このみいみゆLv.35は恥ずかし; int2 & fact2 -> hypothesis;
fact4 -> int1: (Ex): (¬{A}x & {B}x); int1 & fact6 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
「そのぽゆぽのLv.79は恥ずかしかあるいは程遠くないか両方ともである」ということは誤っている
fact8 -> int3: 仮にあのぴにょぴえLv.2がほろ苦いということはないとしたらあのぴにょぴえLv.2は放置しないし更に使い易くない;
$facts$ = fact1: ほろ苦くないモンスターは放置しないし更に使い易くない fact2: 「このみいみゆLv.35が恥ずかしならばそのぽゆぽのLv.79は恥ずかしかまたはそれは程遠くないかもしくはどちらもだ」ということは正しい fact3: 仮に「程遠いということはない」モンスターはいるとすれば「そのぽゆぽのLv.79は恥ずかしかあるいは程遠くないかもしくはどちらもである」ということは事実だということはない fact4: このぷゆぷにLv.24は飲み難くないけどそれは放置する fact5: もしも飲み難いモンスターが放置するとしたらこのみいみゆLv.35は恥ずかし fact6: もし「飲み難くない一方で放置する」モンスターがいるとするとこのみいみゆLv.35は恥ずかし ; $hypothesis$ = 「そのぽゆぽのLv.79は恥ずかしかあるいは程遠くないか両方ともである」ということは誤っている ; $proof$ = 
fact4 -> int1: あるモンスターは飲み難くないがしかし放置する; int1 & fact6 -> int2: このみいみゆLv.35は恥ずかし; int2 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: (Ex): (¬{A}x & {B}x); int1 & fact6 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __DISPROVED__