そのみちょみねLv.81は用い易くなくてそれは程遠くない
fact1: 「そのみちょみねLv.81は用い易いがしかし程遠くない」ということは成り立たない fact2: あるモンスターはしれっとする fact3: もし仮に「しれっとする」モンスターはいるとすれば「そのみちょみねLv.81は用い易くないし程遠いということはない」ということは成り立たない fact4: 「そのみちょみねLv.81は用い易くないが程遠い」ということは誤りだ
fact2 -> int1: あるモンスターはしれっとする; int1 & fact3 -> hypothesis;
fact2 -> int1: (Ex): {A}x; int1 & fact3 -> hypothesis;
$facts$ = fact1: 「そのみちょみねLv.81は用い易いがしかし程遠くない」ということは成り立たない fact2: あるモンスターはしれっとする fact3: もし仮に「しれっとする」モンスターはいるとすれば「そのみちょみねLv.81は用い易くないし程遠いということはない」ということは成り立たない fact4: 「そのみちょみねLv.81は用い易くないが程遠い」ということは誤りだ ; $hypothesis$ = そのみちょみねLv.81は用い易くなくてそれは程遠くない ; $proof$ = 
fact2 -> int1: あるモンスターはしれっとする; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: (Ex): {A}x; int1 & fact3 -> hypothesis; __DISPROVED__