ID:SWQyArHT(A)「AはBと同じである」

ID:ETwruHY2(B)「AとBが同じであるならばAはホモである」

ID:SWQyArHT「ならばBも同様にホモである」

ID:ETwruHY2「それは違う」←?????