あの大帝国は添い寝するということはない
fact1: 息苦しいということはないものはせせこましくない fact2: 「とあるものは発生し難くないかもしくは群雄割拠でないかまたはどちらもだ」ということは偽ならば添い寝しない fact3: あの大帝国は剥がれ易いということはない fact4: 仮になにかは添い寝しないとすると「それは天気魔術師であるかまたは剥がれ易いかあるいは両方だ」ということは嘘である fact5: あの大帝国は群雄割拠だ fact6: もしとある物は嫉妬深いならば「それは発生し難くないかあるいは群雄割拠でないかあるいは両方ともである」ということは成り立たない fact7: もし仮に「ある物は禍々しいかあるいは人間らしいかどちらもだ」ということは事実でないならば群雄割拠でない fact8: 「なんらかのものは天気魔術師であるかあるいは剥がれ易いか両方ともである」ということは誤っているとしたら「それは群雄割拠でない」ということは成り立つ fact9: もし仮にある物は使い易さでないとすれば「それは嫉妬深い」ということは本当だ fact10: その宙釣りは天気魔術師である
fact4 -> int1: もしあの大帝国は添い寝しないなら「天気魔術師であるかもしくは剥がれ易いかどちらもだ」ということは成り立たない; void -> assump1: 以下のように仮定する。「あの大帝国は添い寝するということはない」ということは確かだ; int1 & assump1 -> int2: 「あの大帝国は天気魔術師であるかあるいはそれは剥がれ易い」ということは成り立たない; fact8 -> int3: もしも「あの大帝国は天気魔術師であるかもしくはそれは剥がれ易い」ということは間違っているとすれば群雄割拠でない; int2 & int3 -> int4: あの大帝国は群雄割拠だということはない; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
もし「あの大帝国は禍々しいかそれは人間らしいかまたは両方である」ということは成り立たないとすると群雄割拠でない
fact11 -> hypothesis;
$facts$ = fact1: 息苦しいということはないものはせせこましくない fact2: 「とあるものは発生し難くないかもしくは群雄割拠でないかまたはどちらもだ」ということは偽ならば添い寝しない fact3: あの大帝国は剥がれ易いということはない fact4: 仮になにかは添い寝しないとすると「それは天気魔術師であるかまたは剥がれ易いかあるいは両方だ」ということは嘘である fact5: あの大帝国は群雄割拠だ fact6: もしとある物は嫉妬深いならば「それは発生し難くないかあるいは群雄割拠でないかあるいは両方ともである」ということは成り立たない fact7: もし仮に「ある物は禍々しいかあるいは人間らしいかどちらもだ」ということは事実でないならば群雄割拠でない fact8: 「なんらかのものは天気魔術師であるかあるいは剥がれ易いか両方ともである」ということは誤っているとしたら「それは群雄割拠でない」ということは成り立つ fact9: もし仮にある物は使い易さでないとすれば「それは嫉妬深い」ということは本当だ fact10: その宙釣りは天気魔術師である ; $hypothesis$ = あの大帝国は添い寝するということはない ; $proof$ = 
fact4 -> int1: もしあの大帝国は添い寝しないなら「天気魔術師であるかもしくは剥がれ易いかどちらもだ」ということは成り立たない; void -> assump1: 以下のように仮定する。「あの大帝国は添い寝するということはない」ということは確かだ; int1 & assump1 -> int2: 「あの大帝国は天気魔術師であるかあるいはそれは剥がれ易い」ということは成り立たない; fact8 -> int3: もしも「あの大帝国は天気魔術師であるかもしくはそれは剥がれ易い」ということは間違っているとすれば群雄割拠でない; int2 & int3 -> int4: あの大帝国は群雄割拠だということはない; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: 息苦しいということはないものはせせこましくない
事実2: 「とあるものは発生し難くないかもしくは群雄割拠でないかまたはどちらもだ」ということは偽ならば添い寝しない
事実3: あの大帝国は剥がれ易いということはない
事実4: 仮になにかは添い寝しないとすると「それは天気魔術師であるかまたは剥がれ易いかあるいは両方だ」ということは嘘である
事実5: あの大帝国は群雄割拠だ
事実6: もしとある物は嫉妬深いならば「それは発生し難くないかあるいは群雄割拠でないかあるいは両方ともである」ということは成り立たない
事実7: もし仮に「ある物は禍々しいかあるいは人間らしいかどちらもだ」ということは事実でないならば群雄割拠でない
事実8: 「なんらかのものは天気魔術師であるかあるいは剥がれ易いか両方ともである」ということは誤っているとしたら「それは群雄割拠でない」ということは成り立つ
事実9: もし仮にある物は使い易さでないとすれば「それは嫉妬深い」ということは本当だ
事実10: その宙釣りは天気魔術師である

仮説: あの大帝国は添い寝するということはない
1. 事実4から、推論1: "もしあの大帝国は添い寝しないなら「天気魔術師であるかもしくは剥がれ易いかどちらもだ」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。「あの大帝国は添い寝するということはない」ということは確かだ
3. 推論1と仮定1から、推論2: "「あの大帝国は天気魔術師であるかあるいはそれは剥がれ易い」ということは成り立たない"が導かれる
4. 事実8から、推論3: "もしも「あの大帝国は天気魔術師であるかもしくはそれは剥がれ易い」ということは間違っているとすれば群雄割拠でない"が導かれる
5. 推論2と推論3から、推論4: "あの大帝国は群雄割拠だということはない"が導かれる
6. 推論4と事実5から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

よって、仮説が否定されました。