「そのもいもくLv.28は誇りっぽくないかもしくは取り終わるかもしくは両方である」ということは間違いだ
fact1: そのもいもくLv.28は投げ続けるということはないとすれば「それは誇りっぽくないかまたは取り終わるかまたは両方である」ということは誤っている fact2: そのもいもくLv.28は顰める fact3: そのもいもくLv.28は凄い fact4: 仮にそのもいもくLv.28は顰めるし加えて凄いとすればそれは投げ続けない fact5: あのみえみやLv.81は誇りっぽくない
fact2 & fact3 -> int1: そのもいもくLv.28は顰めるしおまけに凄い; int1 & fact4 -> int2: そのもいもくLv.28は投げ続けない; int2 & fact1 -> hypothesis;
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: そのもいもくLv.28は投げ続けるということはないとすれば「それは誇りっぽくないかまたは取り終わるかまたは両方である」ということは誤っている fact2: そのもいもくLv.28は顰める fact3: そのもいもくLv.28は凄い fact4: 仮にそのもいもくLv.28は顰めるし加えて凄いとすればそれは投げ続けない fact5: あのみえみやLv.81は誇りっぽくない ; $hypothesis$ = 「そのもいもくLv.28は誇りっぽくないかもしくは取り終わるかもしくは両方である」ということは間違いだ ; $proof$ = 
fact2 & fact3 -> int1: そのもいもくLv.28は顰めるしおまけに凄い; int1 & fact4 -> int2: そのもいもくLv.28は投げ続けない; int2 & fact1 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{a}; int2 & fact1 -> hypothesis; __PROVED__