このリアリストはそつ無くない
fact1: 「「このリアリストは革命的批判でないがしかしそれは攻め倦む」ということは本当である」ということは誤りである fact2: もしこのリアリストが攻め倦むとするとそれはそつ無い fact3: 「このリアリストは革命的批判でないし更にそれは攻め倦むということはない」ということは成り立たない fact4: もしも「このリアリストは革命的批判でないしまた攻め倦むということはない」ということは真実でないとしたらそつ無い
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
$facts$ = fact1: 「「このリアリストは革命的批判でないがしかしそれは攻め倦む」ということは本当である」ということは誤りである fact2: もしこのリアリストが攻め倦むとするとそれはそつ無い fact3: 「このリアリストは革命的批判でないし更にそれは攻め倦むということはない」ということは成り立たない fact4: もしも「このリアリストは革命的批判でないしまた攻め倦むということはない」ということは真実でないとしたらそつ無い ; $hypothesis$ = このリアリストはそつ無くない ; $proof$ = 
fact4 & fact3 -> hypothesis; __DISPROVED__
事実1: 「「このリアリストは革命的批判でないがしかしそれは攻め倦む」ということは本当である」ということは誤りである
事実2: もしこのリアリストが攻め倦むとするとそれはそつ無い
事実3: 「このリアリストは革命的批判でないし更にそれは攻め倦むということはない」ということは成り立たない
事実4: もしも「このリアリストは革命的批判でないしまた攻め倦むということはない」ということは真実でないとしたらそつ無い

仮説: このリアリストはそつ無くない
1. 事実4と事実3から、仮説が否定される

よって、仮説が否定されました。