その御迷惑は痛ましい
fact1: もしもあの掛け金分が痛ましくないとするとその御迷惑は痛ましくない fact2: もし仮になにがしかのものが何気無くないならばそれは痛ましい fact3: 「この雑種文化論はジョン・ハートフィールドだということはないがしかしそれはインスリン分泌だ」ということは成り立たない fact4: 「もし「「ジョン・ハートフィールドでないがインスリン分泌である」ということは成り立たない」物があるとしたらその御迷惑は何気無くない」ということは本当である fact5: 「「ジョン・ハートフィールドだしさらにインスリン分泌である」ということは間違いである」ものはある
fact3 -> int1: 「「ジョン・ハートフィールドでないしインスリン分泌である」ということは成り立たない」物はある; int1 & fact4 -> int2: その御迷惑は何気無くない; fact2 -> int3: もしもその御迷惑が何気無くないとするとそれは痛ましい; int2 & int3 -> hypothesis;
fact3 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact4 -> int2: ¬{A}{a}; fact2 -> int3: ¬{A}{a} -> {B}{a}; int2 & int3 -> hypothesis;
その御迷惑は痛ましいということはない
$facts$ = fact1: もしもあの掛け金分が痛ましくないとするとその御迷惑は痛ましくない fact2: もし仮になにがしかのものが何気無くないならばそれは痛ましい fact3: 「この雑種文化論はジョン・ハートフィールドだということはないがしかしそれはインスリン分泌だ」ということは成り立たない fact4: 「もし「「ジョン・ハートフィールドでないがインスリン分泌である」ということは成り立たない」物があるとしたらその御迷惑は何気無くない」ということは本当である fact5: 「「ジョン・ハートフィールドだしさらにインスリン分泌である」ということは間違いである」ものはある ; $hypothesis$ = その御迷惑は痛ましい ; $proof$ = 
fact3 -> int1: 「「ジョン・ハートフィールドでないしインスリン分泌である」ということは成り立たない」物はある; int1 & fact4 -> int2: その御迷惑は何気無くない; fact2 -> int3: もしもその御迷惑が何気無くないとするとそれは痛ましい; int2 & int3 -> hypothesis; __PROVED__
事実1: もしもあの掛け金分が痛ましくないとするとその御迷惑は痛ましくない
事実2: もし仮になにがしかのものが何気無くないならばそれは痛ましい
事実3: 「この雑種文化論はジョン・ハートフィールドだということはないがしかしそれはインスリン分泌だ」ということは成り立たない
事実4: 「もし「「ジョン・ハートフィールドでないがインスリン分泌である」ということは成り立たない」物があるとしたらその御迷惑は何気無くない」ということは本当である
事実5: 「「ジョン・ハートフィールドだしさらにインスリン分泌である」ということは間違いである」ものはある

仮説: その御迷惑は痛ましい
1. 事実3から、推論1: "「「ジョン・ハートフィールドでないしインスリン分泌である」ということは成り立たない」物はある"が導かれる
2. 推論1と事実4から、推論2: "その御迷惑は何気無くない"が導かれる
3. 事実2から、推論3: "もしもその御迷惑が何気無くないとするとそれは痛ましい"が導かれる
4. 推論2と推論3から、仮説が導かれる

よって、仮説が証明されました。