「その精神分析学者はバイト代であるかもしくはそれはだだっ広い」ということは成り立つということはない
fact1: 「あのＮＩＩＰは変ずるということはないし殿堂法式でない」ということは間違いだ fact2: 「その精神分析学者はバイト代であるがしかし変ずるということはない」ということは成り立たない fact3: その精神分析学者はだだっ広くない fact4: 「その精神分析学者はバイト代でないししかも応酬しない」ということは成り立たない fact5: もしあのゴム製品は応酬しないとしたら「その精神分析学者はバイト代であるかまたはだだっ広いかどちらもである」ということは間違いだ fact6: 「あのＮＩＩＰは変ぜないし殿堂法式でない」ということは間違いであるならあのゴム製品は応酬しない
fact6 & fact1 -> int1: あのゴム製品は応酬しない; int1 & fact5 -> hypothesis;
$facts$ = fact1: 「あのＮＩＩＰは変ずるということはないし殿堂法式でない」ということは間違いだ fact2: 「その精神分析学者はバイト代であるがしかし変ずるということはない」ということは成り立たない fact3: その精神分析学者はだだっ広くない fact4: 「その精神分析学者はバイト代でないししかも応酬しない」ということは成り立たない fact5: もしあのゴム製品は応酬しないとしたら「その精神分析学者はバイト代であるかまたはだだっ広いかどちらもである」ということは間違いだ fact6: 「あのＮＩＩＰは変ぜないし殿堂法式でない」ということは間違いであるならあのゴム製品は応酬しない ; $hypothesis$ = 「その精神分析学者はバイト代であるかもしくはそれはだだっ広い」ということは成り立つということはない ; $proof$ = 
fact6 & fact1 -> int1: あのゴム製品は応酬しない; int1 & fact5 -> hypothesis; __PROVED__
事実1: 「あのＮＩＩＰは変ずるということはないし殿堂法式でない」ということは間違いだ
事実2: 「その精神分析学者はバイト代であるがしかし変ずるということはない」ということは成り立たない
事実3: その精神分析学者はだだっ広くない
事実4: 「その精神分析学者はバイト代でないししかも応酬しない」ということは成り立たない
事実5: もしあのゴム製品は応酬しないとしたら「その精神分析学者はバイト代であるかまたはだだっ広いかどちらもである」ということは間違いだ
事実6: 「あのＮＩＩＰは変ぜないし殿堂法式でない」ということは間違いであるならあのゴム製品は応酬しない

仮説: 「その精神分析学者はバイト代であるかもしくはそれはだだっ広い」ということは成り立つということはない
1. 事実6と事実1から、推論1: "あのゴム製品は応酬しない"が導かれる
2. 推論1と事実5から、仮説が導かれる

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