「その活性ペプチドは凝視し合うということはないかあるいは由々しい」ということは成り立つということはない
fact1: 半数以下は凝視し合わないかもしくは由々しいかあるいは両方である fact2: もしこの熊本県地域改善対策対象地域は凝視し合うとすれば「その活性ペプチドは凝視し合わないかそれは由々しいかあるいは両方ともである」ということは嘘である fact3: もし「とある物は偵察だということはなくて加えて連続しない」ということは間違っているなら凝視し合う fact4: 「この熊本県地域改善対策対象地域は偵察だ一方でそれは連続するということはない」ということは間違っている fact5: 偵察でなくてその上それは連続しないという物はない fact6: もしもなんらかのものが誘かないとすればそれは半数以下である
fact5 -> int1: 「この熊本県地域改善対策対象地域は偵察でなくてそれに連続しない」ということは事実と異なる; fact3 -> int2: 「この熊本県地域改善対策対象地域は偵察でないしその上それは連続しない」ということは成り立つということはないとしたら凝視し合う; int1 & int2 -> int3: 「この熊本県地域改善対策対象地域は凝視し合う」ということは誤っているということはない; int3 & fact2 -> hypothesis;
その活性ペプチドは凝視し合わないかあるいは由々しいかどちらもである
fact7 -> int4: もしその活性ペプチドは半数以下であるとしたらそれは凝視し合わないかまたは由々しいかもしくは両方ともである; fact8 -> int5: もしその活性ペプチドが誘かないとするとそれは半数以下である;
$facts$ = fact1: 半数以下は凝視し合わないかもしくは由々しいかあるいは両方である fact2: もしこの熊本県地域改善対策対象地域は凝視し合うとすれば「その活性ペプチドは凝視し合わないかそれは由々しいかあるいは両方ともである」ということは嘘である fact3: もし「とある物は偵察だということはなくて加えて連続しない」ということは間違っているなら凝視し合う fact4: 「この熊本県地域改善対策対象地域は偵察だ一方でそれは連続するということはない」ということは間違っている fact5: 偵察でなくてその上それは連続しないという物はない fact6: もしもなんらかのものが誘かないとすればそれは半数以下である ; $hypothesis$ = 「その活性ペプチドは凝視し合うということはないかあるいは由々しい」ということは成り立つということはない ; $proof$ = 
fact5 -> int1: 「この熊本県地域改善対策対象地域は偵察でなくてそれに連続しない」ということは事実と異なる; fact3 -> int2: 「この熊本県地域改善対策対象地域は偵察でないしその上それは連続しない」ということは成り立つということはないとしたら凝視し合う; int1 & int2 -> int3: 「この熊本県地域改善対策対象地域は凝視し合う」ということは誤っているということはない; int3 & fact2 -> hypothesis; __PROVED__
事実1: 半数以下は凝視し合わないかもしくは由々しいかあるいは両方である
事実2: もしこの熊本県地域改善対策対象地域は凝視し合うとすれば「その活性ペプチドは凝視し合わないかそれは由々しいかあるいは両方ともである」ということは嘘である
事実3: もし「とある物は偵察だということはなくて加えて連続しない」ということは間違っているなら凝視し合う
事実4: 「この熊本県地域改善対策対象地域は偵察だ一方でそれは連続するということはない」ということは間違っている
事実5: 偵察でなくてその上それは連続しないという物はない
事実6: もしもなんらかのものが誘かないとすればそれは半数以下である

仮説: 「その活性ペプチドは凝視し合うということはないかあるいは由々しい」ということは成り立つということはない
1. 事実5から、推論1: "「この熊本県地域改善対策対象地域は偵察でなくてそれに連続しない」ということは事実と異なる"が導かれる
2. 事実3から、推論2: "「この熊本県地域改善対策対象地域は偵察でないしその上それは連続しない」ということは成り立つということはないとしたら凝視し合う"が導かれる
3. 推論1と推論2から、推論3: "「この熊本県地域改善対策対象地域は凝視し合う」ということは誤っているということはない"が導かれる
4. 推論3と事実2から、仮説が導かれる

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