この炭素繊維はジョークだ
fact1: もし仮にこの炭素繊維がジョークでないなら見辛くないかそれはそっくり返らない fact2: もし仮に「ある物は歯冠修復であるということはないがしかし完勝である」ということは間違っていればそれは格闘術でない fact3: もしもなにがしかのものがばあかしかないならそれは数え上げるということはない fact4: 「その内灘闘争は遅い一方でそれは生い茂らない」ということは偽ならばそれはばあかしいということはない fact5: その内灘闘争が遅くないとするとそっくり返らないかあるいはそれはジョークでないかまたは両方ともだ fact6: もし仮に「このスワップミートは生い茂らないけど観光客らしい」ということは事実と異なるとすると遅くない fact7: 「その内灘闘争は遅い一方でそれは生い茂らない」ということは真実だということはない fact8: もしもこの炭素繊維がそっくり返らないとするとその内灘闘争は数え上げる fact9: このスワップミートが遅くないならその内灘闘争は数え上げなくてしかもばあかしかない fact10: 「もしこのスワップミートは格闘術でないとすれば「このスワップミートは生い茂るということはないけれど観光客らしい」ということは偽だ」ということは本当である fact11: もしこの炭素繊維が見辛いということはないならばその内灘闘争は数え上げる
void -> assump1: 以下のように仮定する。この炭素繊維はジョークであるということはない; fact1 & assump1 -> int1: この炭素繊維は見辛いということはないかあるいはそれはそっくり返らないかもしくは両方である; int1 & fact11 & fact8 -> int2: その内灘闘争は数え上げる; fact7 & fact4 -> int3: その内灘闘争はばあかしかない; fact3 -> int4: 仮にその内灘闘争がばあかしいということはないならばそれは数え上げない; int3 & int4 -> int5: その内灘闘争は数え上げない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
この炭素繊維はジョークでない
fact12 -> int7: もし仮に「このスワップミートは歯冠修復だということはないけれど完勝だ」ということは誤っているとすれば格闘術だということはない;
$facts$ = fact1: もし仮にこの炭素繊維がジョークでないなら見辛くないかそれはそっくり返らない fact2: もし仮に「ある物は歯冠修復であるということはないがしかし完勝である」ということは間違っていればそれは格闘術でない fact3: もしもなにがしかのものがばあかしかないならそれは数え上げるということはない fact4: 「その内灘闘争は遅い一方でそれは生い茂らない」ということは偽ならばそれはばあかしいということはない fact5: その内灘闘争が遅くないとするとそっくり返らないかあるいはそれはジョークでないかまたは両方ともだ fact6: もし仮に「このスワップミートは生い茂らないけど観光客らしい」ということは事実と異なるとすると遅くない fact7: 「その内灘闘争は遅い一方でそれは生い茂らない」ということは真実だということはない fact8: もしもこの炭素繊維がそっくり返らないとするとその内灘闘争は数え上げる fact9: このスワップミートが遅くないならその内灘闘争は数え上げなくてしかもばあかしかない fact10: 「もしこのスワップミートは格闘術でないとすれば「このスワップミートは生い茂るということはないけれど観光客らしい」ということは偽だ」ということは本当である fact11: もしこの炭素繊維が見辛いということはないならばその内灘闘争は数え上げる ; $hypothesis$ = この炭素繊維はジョークだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この炭素繊維はジョークであるということはない; fact1 & assump1 -> int1: この炭素繊維は見辛いということはないかあるいはそれはそっくり返らないかもしくは両方である; int1 & fact11 & fact8 -> int2: その内灘闘争は数え上げる; fact7 & fact4 -> int3: その内灘闘争はばあかしかない; fact3 -> int4: 仮にその内灘闘争がばあかしいということはないならばそれは数え上げない; int3 & int4 -> int5: その内灘闘争は数え上げない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もし仮にこの炭素繊維がジョークでないなら見辛くないかそれはそっくり返らない
事実2: もし仮に「ある物は歯冠修復であるということはないがしかし完勝である」ということは間違っていればそれは格闘術でない
事実3: もしもなにがしかのものがばあかしかないならそれは数え上げるということはない
事実4: 「その内灘闘争は遅い一方でそれは生い茂らない」ということは偽ならばそれはばあかしいということはない
事実5: その内灘闘争が遅くないとするとそっくり返らないかあるいはそれはジョークでないかまたは両方ともだ
事実6: もし仮に「このスワップミートは生い茂らないけど観光客らしい」ということは事実と異なるとすると遅くない
事実7: 「その内灘闘争は遅い一方でそれは生い茂らない」ということは真実だということはない
事実8: もしもこの炭素繊維がそっくり返らないとするとその内灘闘争は数え上げる
事実9: このスワップミートが遅くないならその内灘闘争は数え上げなくてしかもばあかしかない
事実10: 「もしこのスワップミートは格闘術でないとすれば「このスワップミートは生い茂るということはないけれど観光客らしい」ということは偽だ」ということは本当である
事実11: もしこの炭素繊維が見辛いということはないならばその内灘闘争は数え上げる

仮説: この炭素繊維はジョークだ
1. 仮定1: 以下のように仮定する。この炭素繊維はジョークであるということはない
2. 事実1と仮定1から、推論1: "この炭素繊維は見辛いということはないかあるいはそれはそっくり返らないかもしくは両方である"が導かれる
3. 推論1と事実11と事実8から、推論2: "その内灘闘争は数え上げる"が導かれる
4. 事実7と事実4から、推論3: "その内灘闘争はばあかしかない"が導かれる
5. 事実3から、推論4: "仮にその内灘闘争がばあかしいということはないならばそれは数え上げない"が導かれる
6. 推論3と推論4から、推論5: "その内灘闘争は数え上げない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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