もしあの三バンドは小賢しくないとしたら「それは逞しいけれど浮き上がるということはない」ということは成り立つということはない
fact1: もし仮になんらかの物が浮き上がればそれは逞しい fact2: 「あの三バンドは逞しくて更に浮き上がる」ということは誤っている fact3: 「文房は進歩する」ということは正しい fact4: もし仮にとある物がしゃしゃり出るなら逞しい fact5: 仮に「あの三バンドは小賢しくない」ということは事実であるとすると逞しいしその上浮き上がらない fact6: もしも「あの三バンドは小賢しいということはない」ということは真実であるとすると「それは逞しいし浮き上がる」ということは誤っている fact7: あの三バンドは窶れるが灰色っぽくない fact8: なにかは浮き上がるとしたらそれはしゃしゃり出る fact9: もしもあの三バンドが逞しいけどそれが浮き上がらないとするとそれはしゃしゃり出る fact10: あの三バンドはピュアであるけどそれは浮き上がるということはない fact11: もし仮にとある物がしゃしゃり出るなら小賢しい fact12: 仮にあの三バンドが逞しいしそれが浮き上がるならそれはしゃしゃり出る fact13: あの三バンドは小賢しいとすると「それは逞しいが浮き上がるということはない」ということは誤っている fact14: あの七世祖は小賢しい fact15: もし仮に何かは貧乏臭いならば逞しい fact16: あの三バンドは浮き上がらない
void -> assump2: 以下のように仮定する。あの三バンドは逞しいが浮き上がるということはない; fact9 & assump2 -> int1: あの三バンドはしゃしゃり出る; fact11 -> int2: もしもあの三バンドはしゃしゃり出ればそれは小賢しい; int1 & int2 -> int3: あの三バンドは小賢しい; void -> assump1: 以下のように仮定する。あの三バンドは小賢しいということはない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「あの三バンドは逞しいが浮き上がらない」ということは成り立たない; [assump1] & int5 -> hypothesis;
もし仮にその予算制約が貧乏臭いとするとそれは逞しい
fact17 -> hypothesis;
$facts$ = fact1: もし仮になんらかの物が浮き上がればそれは逞しい fact2: 「あの三バンドは逞しくて更に浮き上がる」ということは誤っている fact3: 「文房は進歩する」ということは正しい fact4: もし仮にとある物がしゃしゃり出るなら逞しい fact5: 仮に「あの三バンドは小賢しくない」ということは事実であるとすると逞しいしその上浮き上がらない fact6: もしも「あの三バンドは小賢しいということはない」ということは真実であるとすると「それは逞しいし浮き上がる」ということは誤っている fact7: あの三バンドは窶れるが灰色っぽくない fact8: なにかは浮き上がるとしたらそれはしゃしゃり出る fact9: もしもあの三バンドが逞しいけどそれが浮き上がらないとするとそれはしゃしゃり出る fact10: あの三バンドはピュアであるけどそれは浮き上がるということはない fact11: もし仮にとある物がしゃしゃり出るなら小賢しい fact12: 仮にあの三バンドが逞しいしそれが浮き上がるならそれはしゃしゃり出る fact13: あの三バンドは小賢しいとすると「それは逞しいが浮き上がるということはない」ということは誤っている fact14: あの七世祖は小賢しい fact15: もし仮に何かは貧乏臭いならば逞しい fact16: あの三バンドは浮き上がらない ; $hypothesis$ = もしあの三バンドは小賢しくないとしたら「それは逞しいけれど浮き上がるということはない」ということは成り立つということはない ; $proof$ = 
void -> assump2: 以下のように仮定する。あの三バンドは逞しいが浮き上がるということはない; fact9 & assump2 -> int1: あの三バンドはしゃしゃり出る; fact11 -> int2: もしもあの三バンドはしゃしゃり出ればそれは小賢しい; int1 & int2 -> int3: あの三バンドは小賢しい; void -> assump1: 以下のように仮定する。あの三バンドは小賢しいということはない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「あの三バンドは逞しいが浮き上がらない」ということは成り立たない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物が浮き上がればそれは逞しい
事実2: 「あの三バンドは逞しくて更に浮き上がる」ということは誤っている
事実3: 「文房は進歩する」ということは正しい
事実4: もし仮にとある物がしゃしゃり出るなら逞しい
事実5: 仮に「あの三バンドは小賢しくない」ということは事実であるとすると逞しいしその上浮き上がらない
事実6: もしも「あの三バンドは小賢しいということはない」ということは真実であるとすると「それは逞しいし浮き上がる」ということは誤っている
事実7: あの三バンドは窶れるが灰色っぽくない
事実8: なにかは浮き上がるとしたらそれはしゃしゃり出る
事実9: もしもあの三バンドが逞しいけどそれが浮き上がらないとするとそれはしゃしゃり出る
事実10: あの三バンドはピュアであるけどそれは浮き上がるということはない
事実11: もし仮にとある物がしゃしゃり出るなら小賢しい
事実12: 仮にあの三バンドが逞しいしそれが浮き上がるならそれはしゃしゃり出る
事実13: あの三バンドは小賢しいとすると「それは逞しいが浮き上がるということはない」ということは誤っている
事実14: あの七世祖は小賢しい
事実15: もし仮に何かは貧乏臭いならば逞しい
事実16: あの三バンドは浮き上がらない

仮説: もしあの三バンドは小賢しくないとしたら「それは逞しいけれど浮き上がるということはない」ということは成り立つということはない
1. 仮定2: 以下のように仮定する。あの三バンドは逞しいが浮き上がるということはない
2. 事実9と仮定2から、推論1: "あの三バンドはしゃしゃり出る"が導かれる
3. 事実11から、推論2: "もしもあの三バンドはしゃしゃり出ればそれは小賢しい"が導かれる
4. 推論1と推論2から、推論3: "あの三バンドは小賢しい"が導かれる
5. 仮定1: 以下のように仮定する。あの三バンドは小賢しいということはない
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "「あの三バンドは逞しいが浮き上がらない」ということは成り立たない"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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