A「おまえはすぐ否定から入る」
B/1「そうだ」
B/2「そんなことはない」

B/1だとするとAは誤っていたことになる
B/2だとするとBは常に否定することになってナンセンスになる

この議論を上手く形式化するとどうなるのか?