仮に「この悪感情は埋め合わせないがしかし血腥い」ということは成り立たないとしたら「あの目的通りは乱高下する」ということは本当である
fact1: もしあの目的通りは乱高下しないとしたら「この悪感情は血腥い」ということは真実だ fact2: 「この悪感情は埋め合わせる」ということは誤りでない fact3: もしも「あの目的通りは乱高下しないけどそれは埋め合わせる」ということは誤りだとすればあの悪感情は血腥い fact4: 「この悪感情は血腥い」ということは正しい fact5: 「あの目的通りは埋め合わせないけど乱高下する」ということは間違っていればこの悪感情は血腥い fact6: あの目的通りが血腥くない一方で乱高下すればこの悪感情は埋め合わせる fact7: 「この悪感情は乱高下しないがしかし血腥い」ということは偽だ fact8: もし「この悪感情は埋め合わせるししかもそれは血腥い」ということは間違っているとするとあの目的通りは乱高下する fact9: この悪感情は埋め合わせるし血腥い fact10: もし仮に「あの目的通りは埋め合わせないけれど血腥い」ということは確かでないならばこの悪感情は乱高下する fact11: 「仮にこの悪感情が埋め合わせないがしかし血腥いとすればあの目的通りは乱高下する」ということは確かである fact12: この悪感情が乱高下しないとするとあの目的通りは埋め合わせるし血腥い fact13: 仮にこの悪感情が血腥くないならばあの目的通りは乱高下する fact14: もしも「あの目的通りは血腥くないが乱高下する」ということは成り立たないなら「この悪感情は埋め合わせる」ということは確かだ fact15: もしあの目的通りが乱高下しないとするとこの悪感情は埋め合わせないけれど血腥い fact16: 仮にあの目的通りが乱高下しないならばこの悪感情は埋め合わせるしさらに血腥い fact17: この悪感情は乱高下する
void -> assump1: 以下のように仮定する。あの目的通りは乱高下しない; fact15 & assump1 -> int1: この悪感情は埋め合わせないけれど血腥い; void -> assump2: 以下のように仮定する。「この悪感情は埋め合わせないがそれは血腥い」ということは成り立つということはない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの目的通りは乱高下する; [assump2] & int3 -> hypothesis;
$facts$ = fact1: もしあの目的通りは乱高下しないとしたら「この悪感情は血腥い」ということは真実だ fact2: 「この悪感情は埋め合わせる」ということは誤りでない fact3: もしも「あの目的通りは乱高下しないけどそれは埋め合わせる」ということは誤りだとすればあの悪感情は血腥い fact4: 「この悪感情は血腥い」ということは正しい fact5: 「あの目的通りは埋め合わせないけど乱高下する」ということは間違っていればこの悪感情は血腥い fact6: あの目的通りが血腥くない一方で乱高下すればこの悪感情は埋め合わせる fact7: 「この悪感情は乱高下しないがしかし血腥い」ということは偽だ fact8: もし「この悪感情は埋め合わせるししかもそれは血腥い」ということは間違っているとするとあの目的通りは乱高下する fact9: この悪感情は埋め合わせるし血腥い fact10: もし仮に「あの目的通りは埋め合わせないけれど血腥い」ということは確かでないならばこの悪感情は乱高下する fact11: 「仮にこの悪感情が埋め合わせないがしかし血腥いとすればあの目的通りは乱高下する」ということは確かである fact12: この悪感情が乱高下しないとするとあの目的通りは埋め合わせるし血腥い fact13: 仮にこの悪感情が血腥くないならばあの目的通りは乱高下する fact14: もしも「あの目的通りは血腥くないが乱高下する」ということは成り立たないなら「この悪感情は埋め合わせる」ということは確かだ fact15: もしあの目的通りが乱高下しないとするとこの悪感情は埋め合わせないけれど血腥い fact16: 仮にあの目的通りが乱高下しないならばこの悪感情は埋め合わせるしさらに血腥い fact17: この悪感情は乱高下する ; $hypothesis$ = 仮に「この悪感情は埋め合わせないがしかし血腥い」ということは成り立たないとしたら「あの目的通りは乱高下する」ということは本当である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの目的通りは乱高下しない; fact15 & assump1 -> int1: この悪感情は埋め合わせないけれど血腥い; void -> assump2: 以下のように仮定する。「この悪感情は埋め合わせないがそれは血腥い」ということは成り立つということはない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの目的通りは乱高下する; [assump2] & int3 -> hypothesis; __PROVED__
事実1: もしあの目的通りは乱高下しないとしたら「この悪感情は血腥い」ということは真実だ
事実2: 「この悪感情は埋め合わせる」ということは誤りでない
事実3: もしも「あの目的通りは乱高下しないけどそれは埋め合わせる」ということは誤りだとすればあの悪感情は血腥い
事実4: 「この悪感情は血腥い」ということは正しい
事実5: 「あの目的通りは埋め合わせないけど乱高下する」ということは間違っていればこの悪感情は血腥い
事実6: あの目的通りが血腥くない一方で乱高下すればこの悪感情は埋め合わせる
事実7: 「この悪感情は乱高下しないがしかし血腥い」ということは偽だ
事実8: もし「この悪感情は埋め合わせるししかもそれは血腥い」ということは間違っているとするとあの目的通りは乱高下する
事実9: この悪感情は埋め合わせるし血腥い
事実10: もし仮に「あの目的通りは埋め合わせないけれど血腥い」ということは確かでないならばこの悪感情は乱高下する
事実11: 「仮にこの悪感情が埋め合わせないがしかし血腥いとすればあの目的通りは乱高下する」ということは確かである
事実12: この悪感情が乱高下しないとするとあの目的通りは埋め合わせるし血腥い
事実13: 仮にこの悪感情が血腥くないならばあの目的通りは乱高下する
事実14: もしも「あの目的通りは血腥くないが乱高下する」ということは成り立たないなら「この悪感情は埋め合わせる」ということは確かだ
事実15: もしあの目的通りが乱高下しないとするとこの悪感情は埋め合わせないけれど血腥い
事実16: 仮にあの目的通りが乱高下しないならばこの悪感情は埋め合わせるしさらに血腥い
事実17: この悪感情は乱高下する

仮説: 仮に「この悪感情は埋め合わせないがしかし血腥い」ということは成り立たないとしたら「あの目的通りは乱高下する」ということは本当である
1. 仮定1: 以下のように仮定する。あの目的通りは乱高下しない
2. 事実15と仮定1から、推論1: "この悪感情は埋め合わせないけれど血腥い"が導かれる
3. 仮定2: 以下のように仮定する。「この悪感情は埋め合わせないがそれは血腥い」ということは成り立つということはない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "あの目的通りは乱高下する"が導かれる
6. [仮定2]と推論3から、仮説が導かれる

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