その清水課長は轟かない
fact1: それは答え易くなくてそれはターシ・ツアーズであるというものはない fact2: もしなんらかのものは供与であるということはないとすると轟くしそれに不徳である fact3: 轟かないし加えて答え易いという物はない fact4: もしも「この展望レストランは答え易いということはないけどターシ・ツアーズだ」ということは間違いであるとするとその清水課長は轟かない
fact1 -> int1: 「「この展望レストランは答え易くないけれどそれはターシ・ツアーズである」ということは偽だ」ということは正しい; int1 & fact4 -> hypothesis;
その清水課長は轟く
fact5 -> int2: その清水課長は供与でないとしたら轟くし加えて不徳だ;
$facts$ = fact1: それは答え易くなくてそれはターシ・ツアーズであるというものはない fact2: もしなんらかのものは供与であるということはないとすると轟くしそれに不徳である fact3: 轟かないし加えて答え易いという物はない fact4: もしも「この展望レストランは答え易いということはないけどターシ・ツアーズだ」ということは間違いであるとするとその清水課長は轟かない ; $hypothesis$ = その清水課長は轟かない ; $proof$ = 
fact1 -> int1: 「「この展望レストランは答え易くないけれどそれはターシ・ツアーズである」ということは偽だ」ということは正しい; int1 & fact4 -> hypothesis; __PROVED__
事実1: それは答え易くなくてそれはターシ・ツアーズであるというものはない
事実2: もしなんらかのものは供与であるということはないとすると轟くしそれに不徳である
事実3: 轟かないし加えて答え易いという物はない
事実4: もしも「この展望レストランは答え易いということはないけどターシ・ツアーズだ」ということは間違いであるとするとその清水課長は轟かない

仮説: その清水課長は轟かない
1. 事実1から、推論1: "「「この展望レストランは答え易くないけれどそれはターシ・ツアーズである」ということは偽だ」ということは正しい"が導かれる
2. 推論1と事実4から、仮説が導かれる

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