もしこの三人姉弟がふてぶてしいならあのスカイキャプテンは痛ーい
fact1: 仮に「この三人姉弟はふてぶてしくない」ということは本当であるとすれば「あのスカイキャプテンは痛ーいということはないかもしくは走らない」ということは誤りである fact2: 仮に「この三人姉弟は経営陣であるかそれは走らない」ということは成り立つということはないならそれはふてぶてしくない fact3: もしも「この三人姉弟は走らないかまたはそれは経営陣でない」ということは誤っているとしたらそれは痛ーくない fact4: もし仮に「この三人姉弟は経営陣でないかまたは走らないかもしくはどちらもである」ということは誤っているとすれば「それはふてぶてしい」ということは事実である fact5: この親鳥が働き難くないとすればそれは女誑しだがしかし痛ーくない fact6: 「何らかのものは経営陣だということはないかまたは走らないかまたは両方ともである」ということは間違いだとしたらそれはふてぶてしいということはない fact7: もし仮に「この三人姉弟は経営陣でないかあるいは走るかまたは両方ともだ」ということは事実と異なれば「それはふてぶてしいということはない」ということは事実である fact8: もし仮になにがしかの物は痛ーいということはないとすると「それはふてぶてしくないかもしくはそれは瞑想しないかあるいは両方ともである」ということは間違っている fact9: 「この三人姉弟は来し易くないかまたは居辛くないか両方だ」ということは事実でない fact10: もし仮に「なにかは経営陣でないかもしくは走らない」ということは誤りならばふてぶてしい fact11: もしも「なんらかのものは経営陣でないかまたは走るかどちらもだ」ということは間違いであるとするとそれはふてぶてしくない fact12: 仮に「何かはふてぶてしくないかあるいはそれは痛ーいということはないか両方ともである」ということは成り立たないならば走らない fact13: この三人姉弟は動かす fact14: 仮に「なにかは経営陣であるかまたはそれは走るということはないか両方ともである」ということは成り立たないとしたらそれはふてぶてしくない fact15: 仮に「とあるものは痛ーくないかもしくは経営陣でないかまたは両方である」ということは成り立たないとするとふてぶてしくない fact16: あのスカイキャプテンは痛ーくないとしたら「この三人姉弟は経営陣でないかあるいは走らないかあるいは両方ともである」ということは成り立たない fact17: 仮にあのスカイキャプテンは経営陣であるとしたら「この三人姉弟は痛ーい」ということは成り立つ fact18: あのスカイキャプテンは走らない fact19: あの特定分野は痛ーい
void -> assump1: 以下のように仮定する。「あのスカイキャプテンは痛ーくない」ということは本当だ; fact16 & assump1 -> int1: 「この三人姉弟は経営陣でないか走らない」ということは嘘だ; fact6 -> int2: もし仮に「この三人姉弟は経営陣でないかまたは走らないか両方ともだ」ということは事実と異なるとすればそれはふてぶてしくない; int1 & int2 -> int3: この三人姉弟はふてぶてしくない; void -> assump2: 以下のように仮定する。「この三人姉弟はふてぶてしい」ということは成り立つ; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのスカイキャプテンは痛ーい; [assump2] & int5 -> hypothesis;
「この親鳥はふてぶてしいということはないかもしくは瞑想しないかまたはどちらもである」ということは成り立たない
fact21 -> int6: もし仮にこの親鳥は痛ーくないならば「それはふてぶてしくないかまたはそれは瞑想しないか両方だ」ということは誤りである;
$facts$ = fact1: 仮に「この三人姉弟はふてぶてしくない」ということは本当であるとすれば「あのスカイキャプテンは痛ーいということはないかもしくは走らない」ということは誤りである fact2: 仮に「この三人姉弟は経営陣であるかそれは走らない」ということは成り立つということはないならそれはふてぶてしくない fact3: もしも「この三人姉弟は走らないかまたはそれは経営陣でない」ということは誤っているとしたらそれは痛ーくない fact4: もし仮に「この三人姉弟は経営陣でないかまたは走らないかもしくはどちらもである」ということは誤っているとすれば「それはふてぶてしい」ということは事実である fact5: この親鳥が働き難くないとすればそれは女誑しだがしかし痛ーくない fact6: 「何らかのものは経営陣だということはないかまたは走らないかまたは両方ともである」ということは間違いだとしたらそれはふてぶてしいということはない fact7: もし仮に「この三人姉弟は経営陣でないかあるいは走るかまたは両方ともだ」ということは事実と異なれば「それはふてぶてしいということはない」ということは事実である fact8: もし仮になにがしかの物は痛ーいということはないとすると「それはふてぶてしくないかもしくはそれは瞑想しないかあるいは両方ともである」ということは間違っている fact9: 「この三人姉弟は来し易くないかまたは居辛くないか両方だ」ということは事実でない fact10: もし仮に「なにかは経営陣でないかもしくは走らない」ということは誤りならばふてぶてしい fact11: もしも「なんらかのものは経営陣でないかまたは走るかどちらもだ」ということは間違いであるとするとそれはふてぶてしくない fact12: 仮に「何かはふてぶてしくないかあるいはそれは痛ーいということはないか両方ともである」ということは成り立たないならば走らない fact13: この三人姉弟は動かす fact14: 仮に「なにかは経営陣であるかまたはそれは走るということはないか両方ともである」ということは成り立たないとしたらそれはふてぶてしくない fact15: 仮に「とあるものは痛ーくないかもしくは経営陣でないかまたは両方である」ということは成り立たないとするとふてぶてしくない fact16: あのスカイキャプテンは痛ーくないとしたら「この三人姉弟は経営陣でないかあるいは走らないかあるいは両方ともである」ということは成り立たない fact17: 仮にあのスカイキャプテンは経営陣であるとしたら「この三人姉弟は痛ーい」ということは成り立つ fact18: あのスカイキャプテンは走らない fact19: あの特定分野は痛ーい ; $hypothesis$ = もしこの三人姉弟がふてぶてしいならあのスカイキャプテンは痛ーい ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのスカイキャプテンは痛ーくない」ということは本当だ; fact16 & assump1 -> int1: 「この三人姉弟は経営陣でないか走らない」ということは嘘だ; fact6 -> int2: もし仮に「この三人姉弟は経営陣でないかまたは走らないか両方ともだ」ということは事実と異なるとすればそれはふてぶてしくない; int1 & int2 -> int3: この三人姉弟はふてぶてしくない; void -> assump2: 以下のように仮定する。「この三人姉弟はふてぶてしい」ということは成り立つ; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのスカイキャプテンは痛ーい; [assump2] & int5 -> hypothesis; __PROVED__
事実1: 仮に「この三人姉弟はふてぶてしくない」ということは本当であるとすれば「あのスカイキャプテンは痛ーいということはないかもしくは走らない」ということは誤りである
事実2: 仮に「この三人姉弟は経営陣であるかそれは走らない」ということは成り立つということはないならそれはふてぶてしくない
事実3: もしも「この三人姉弟は走らないかまたはそれは経営陣でない」ということは誤っているとしたらそれは痛ーくない
事実4: もし仮に「この三人姉弟は経営陣でないかまたは走らないかもしくはどちらもである」ということは誤っているとすれば「それはふてぶてしい」ということは事実である
事実5: この親鳥が働き難くないとすればそれは女誑しだがしかし痛ーくない
事実6: 「何らかのものは経営陣だということはないかまたは走らないかまたは両方ともである」ということは間違いだとしたらそれはふてぶてしいということはない
事実7: もし仮に「この三人姉弟は経営陣でないかあるいは走るかまたは両方ともだ」ということは事実と異なれば「それはふてぶてしいということはない」ということは事実である
事実8: もし仮になにがしかの物は痛ーいということはないとすると「それはふてぶてしくないかもしくはそれは瞑想しないかあるいは両方ともである」ということは間違っている
事実9: 「この三人姉弟は来し易くないかまたは居辛くないか両方だ」ということは事実でない
事実10: もし仮に「なにかは経営陣でないかもしくは走らない」ということは誤りならばふてぶてしい
事実11: もしも「なんらかのものは経営陣でないかまたは走るかどちらもだ」ということは間違いであるとするとそれはふてぶてしくない
事実12: 仮に「何かはふてぶてしくないかあるいはそれは痛ーいということはないか両方ともである」ということは成り立たないならば走らない
事実13: この三人姉弟は動かす
事実14: 仮に「なにかは経営陣であるかまたはそれは走るということはないか両方ともである」ということは成り立たないとしたらそれはふてぶてしくない
事実15: 仮に「とあるものは痛ーくないかもしくは経営陣でないかまたは両方である」ということは成り立たないとするとふてぶてしくない
事実16: あのスカイキャプテンは痛ーくないとしたら「この三人姉弟は経営陣でないかあるいは走らないかあるいは両方ともである」ということは成り立たない
事実17: 仮にあのスカイキャプテンは経営陣であるとしたら「この三人姉弟は痛ーい」ということは成り立つ
事実18: あのスカイキャプテンは走らない
事実19: あの特定分野は痛ーい

仮説: もしこの三人姉弟がふてぶてしいならあのスカイキャプテンは痛ーい
1. 仮定1: 以下のように仮定する。「あのスカイキャプテンは痛ーくない」ということは本当だ
2. 事実16と仮定1から、推論1: "「この三人姉弟は経営陣でないか走らない」ということは嘘だ"が導かれる
3. 事実6から、推論2: "もし仮に「この三人姉弟は経営陣でないかまたは走らないか両方ともだ」ということは事実と異なるとすればそれはふてぶてしくない"が導かれる
4. 推論1と推論2から、推論3: "この三人姉弟はふてぶてしくない"が導かれる
5. 仮定2: 以下のように仮定する。「この三人姉弟はふてぶてしい」ということは成り立つ
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "あのスカイキャプテンは痛ーい"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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