あの偏光フィルターはアニュアルであるということはない
fact1: もしもなんらかの物は口喧しいということはないとしたら「愛しいしおまけに生成し易い」ということは偽だ fact2: もしこのスペイン人が乱発するとしたらこのＨＣＶ‐ＲＮＡは観光客らしいということはない fact3: 仮にあの偏光フィルターが成功し易くて生成し易いとしたらそれはアニュアルだということはない fact4: もしこのスペイン人は成功し易いということはないなら「あの偏光フィルターは生成し易くない」ということは正しい fact5: もしなにがしかの物は再起動するしそれに愛しいとすれば乱発するということはない fact6: 「このスペイン人はペリカン目であるということはないがしかし乱発する」ということは間違っている fact7: もしもこのスペイン人が成功し易くないならあの偏光フィルターは成功し易いが生成し易くない fact8: もしこのＨＣＶ‐ＲＮＡがペリカン目ならばこのスペイン人はペリカン目である fact9: 仮に「このスペイン人は成功し易くないしその上アニュアルでない」ということは誤りであるとするとあの偏光フィルターは再起動するということはない fact10: もし仮になにがしかのものが乱発しないとすればこのＨＣＶ‐ＲＮＡはペリカン目であるかもしくはそれは観光客らしいかあるいは両方である fact11: 全ては口喧しくない fact12: 「このＨＣＶ‐ＲＮＡは愛しい」ということは真実である fact13: もし「このスペイン人はペリカン目であるということはなくて乱発するということはない」ということは嘘であるなら「このＨＣＶ‐ＲＮＡは観光客らしくない」ということは正しい fact14: 仮にこのＨＣＶ‐ＲＮＡが愛しいとすると観光客らしい fact15: 「何かは愛しいし生成し易い」ということは成り立つということはないとすると「乱発しない」ということは本当だ fact16: もしこのスペイン人は再起動するとしたら「それはペリカン目でないしさらにそれは乱発する」ということは間違いである fact17: もし仮になにがしかのものは再起動するとすれば「ペリカン目でないしかつそれは乱発しない」ということは誤りだ fact18: もし成功し易いものがペリカン目だとすれば愛しくない fact19: 仮に成功し易いものが生成し易いということはないとしたらアニュアルでない fact20: 仮にこのスペイン人が成功し易いとしたらそれは再起動する
void -> assump1: 以下のように仮定する。このスペイン人は成功し易い; fact20 & assump1 -> int1: 「このスペイン人は再起動する」ということは成り立つ; fact17 -> int2: もし仮にこのスペイン人は再起動するとすれば「それはペリカン目でないしおまけに乱発しない」ということは成り立たない; int1 & int2 -> int3: 「このスペイン人はペリカン目でなくてしかも乱発しない」ということは嘘だ; int3 & fact13 -> int4: このＨＣＶ‐ＲＮＡは観光客らしくない; fact12 & fact14 -> int5: このＨＣＶ‐ＲＮＡは観光客らしい; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このスペイン人は成功し易くない; int7 & fact7 -> int8: あの偏光フィルターは成功し易いがしかし生成し易くない; fact19 -> int9: もし仮にあの偏光フィルターは成功し易いが生成し易くないとするとアニュアルだということはない; int8 & int9 -> hypothesis;
あの偏光フィルターはアニュアルである
fact23 -> int10: もし仮にその累積債務問題は口喧しくないとすると「愛しくてさらに生成し易い」ということは成り立たない; fact21 -> int11: 「その累積債務問題は口喧しくない」ということは正しい; int10 & int11 -> int12: 「その累積債務問題は愛しいししかも生成し易い」ということは成り立たない; int12 -> int13: 愛しいしおまけに生成し易いものはない; int13 -> int14: 「この政敵は愛しい物でさらに生成し易い」ということは事実と異なる; fact25 -> int15: 「この政敵は愛しくておまけに生成し易い」ということは偽だとすればそれは乱発しない; int14 & int15 -> int16: この政敵は乱発しない; int16 -> int17: 「乱発しない」物はある; fact24 & int17 -> int18: このＨＣＶ‐ＲＮＡはペリカン目であるかそれは観光客らしい;
$facts$ = fact1: もしもなんらかの物は口喧しいということはないとしたら「愛しいしおまけに生成し易い」ということは偽だ fact2: もしこのスペイン人が乱発するとしたらこのＨＣＶ‐ＲＮＡは観光客らしいということはない fact3: 仮にあの偏光フィルターが成功し易くて生成し易いとしたらそれはアニュアルだということはない fact4: もしこのスペイン人は成功し易いということはないなら「あの偏光フィルターは生成し易くない」ということは正しい fact5: もしなにがしかの物は再起動するしそれに愛しいとすれば乱発するということはない fact6: 「このスペイン人はペリカン目であるということはないがしかし乱発する」ということは間違っている fact7: もしもこのスペイン人が成功し易くないならあの偏光フィルターは成功し易いが生成し易くない fact8: もしこのＨＣＶ‐ＲＮＡがペリカン目ならばこのスペイン人はペリカン目である fact9: 仮に「このスペイン人は成功し易くないしその上アニュアルでない」ということは誤りであるとするとあの偏光フィルターは再起動するということはない fact10: もし仮になにがしかのものが乱発しないとすればこのＨＣＶ‐ＲＮＡはペリカン目であるかもしくはそれは観光客らしいかあるいは両方である fact11: 全ては口喧しくない fact12: 「このＨＣＶ‐ＲＮＡは愛しい」ということは真実である fact13: もし「このスペイン人はペリカン目であるということはなくて乱発するということはない」ということは嘘であるなら「このＨＣＶ‐ＲＮＡは観光客らしくない」ということは正しい fact14: 仮にこのＨＣＶ‐ＲＮＡが愛しいとすると観光客らしい fact15: 「何かは愛しいし生成し易い」ということは成り立つということはないとすると「乱発しない」ということは本当だ fact16: もしこのスペイン人は再起動するとしたら「それはペリカン目でないしさらにそれは乱発する」ということは間違いである fact17: もし仮になにがしかのものは再起動するとすれば「ペリカン目でないしかつそれは乱発しない」ということは誤りだ fact18: もし成功し易いものがペリカン目だとすれば愛しくない fact19: 仮に成功し易いものが生成し易いということはないとしたらアニュアルでない fact20: 仮にこのスペイン人が成功し易いとしたらそれは再起動する ; $hypothesis$ = あの偏光フィルターはアニュアルであるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。このスペイン人は成功し易い; fact20 & assump1 -> int1: 「このスペイン人は再起動する」ということは成り立つ; fact17 -> int2: もし仮にこのスペイン人は再起動するとすれば「それはペリカン目でないしおまけに乱発しない」ということは成り立たない; int1 & int2 -> int3: 「このスペイン人はペリカン目でなくてしかも乱発しない」ということは嘘だ; int3 & fact13 -> int4: このＨＣＶ‐ＲＮＡは観光客らしくない; fact12 & fact14 -> int5: このＨＣＶ‐ＲＮＡは観光客らしい; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このスペイン人は成功し易くない; int7 & fact7 -> int8: あの偏光フィルターは成功し易いがしかし生成し易くない; fact19 -> int9: もし仮にあの偏光フィルターは成功し易いが生成し易くないとするとアニュアルだということはない; int8 & int9 -> hypothesis; __PROVED__
事実1: もしもなんらかの物は口喧しいということはないとしたら「愛しいしおまけに生成し易い」ということは偽だ
事実2: もしこのスペイン人が乱発するとしたらこのＨＣＶ‐ＲＮＡは観光客らしいということはない
事実3: 仮にあの偏光フィルターが成功し易くて生成し易いとしたらそれはアニュアルだということはない
事実4: もしこのスペイン人は成功し易いということはないなら「あの偏光フィルターは生成し易くない」ということは正しい
事実5: もしなにがしかの物は再起動するしそれに愛しいとすれば乱発するということはない
事実6: 「このスペイン人はペリカン目であるということはないがしかし乱発する」ということは間違っている
事実7: もしもこのスペイン人が成功し易くないならあの偏光フィルターは成功し易いが生成し易くない
事実8: もしこのＨＣＶ‐ＲＮＡがペリカン目ならばこのスペイン人はペリカン目である
事実9: 仮に「このスペイン人は成功し易くないしその上アニュアルでない」ということは誤りであるとするとあの偏光フィルターは再起動するということはない
事実10: もし仮になにがしかのものが乱発しないとすればこのＨＣＶ‐ＲＮＡはペリカン目であるかもしくはそれは観光客らしいかあるいは両方である
事実11: 全ては口喧しくない
事実12: 「このＨＣＶ‐ＲＮＡは愛しい」ということは真実である
事実13: もし「このスペイン人はペリカン目であるということはなくて乱発するということはない」ということは嘘であるなら「このＨＣＶ‐ＲＮＡは観光客らしくない」ということは正しい
事実14: 仮にこのＨＣＶ‐ＲＮＡが愛しいとすると観光客らしい
事実15: 「何かは愛しいし生成し易い」ということは成り立つということはないとすると「乱発しない」ということは本当だ
事実16: もしこのスペイン人は再起動するとしたら「それはペリカン目でないしさらにそれは乱発する」ということは間違いである
事実17: もし仮になにがしかのものは再起動するとすれば「ペリカン目でないしかつそれは乱発しない」ということは誤りだ
事実18: もし成功し易いものがペリカン目だとすれば愛しくない
事実19: 仮に成功し易いものが生成し易いということはないとしたらアニュアルでない
事実20: 仮にこのスペイン人が成功し易いとしたらそれは再起動する

仮説: あの偏光フィルターはアニュアルであるということはない
1. 仮定1: 以下のように仮定する。このスペイン人は成功し易い
2. 事実20と仮定1から、推論1: "「このスペイン人は再起動する」ということは成り立つ"が導かれる
3. 事実17から、推論2: "もし仮にこのスペイン人は再起動するとすれば「それはペリカン目でないしおまけに乱発しない」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "「このスペイン人はペリカン目でなくてしかも乱発しない」ということは嘘だ"が導かれる
5. 推論3と事実13から、推論4: "このＨＣＶ‐ＲＮＡは観光客らしくない"が導かれる
6. 事実12と事実14から、推論5: "このＨＣＶ‐ＲＮＡは観光客らしい"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "このスペイン人は成功し易くない"が導かれる
9. 推論7と事実7から、推論8: "あの偏光フィルターは成功し易いがしかし生成し易くない"が導かれる
10. 事実19から、推論9: "もし仮にあの偏光フィルターは成功し易いが生成し易くないとするとアニュアルだということはない"が導かれる
11. 推論8と推論9から、仮説が導かれる

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