「この高速回転は各政党でそれに茶色っぽい」ということは偽である
fact1: 奏楽は成立期である fact2: もしこの十万以上が楽しないとすればあのコースは動員出来るしそれに入り難い fact3: もしも何らかの物が心細いとしたらそれは固辞する fact4: この高速回転は神経変性疾患である fact5: 仮にこの高速回転が楽ししかつそれが動員出来るとしたらあのコースは捕らえ易くない fact6: もしもこの十万以上が転用しないとするとあのコースは浸透するかあるいは心細いかまたは両方ともだ fact7: この高速回転は楽し fact8: 仮に何かは成立期であるとしたらそれは聡い fact9: もしもなにがしかのものは固辞すれば「それは捕らえ易くないが各政党である」ということは成り立たない fact10: 「あのコースは浸透する」ということは本当だとすればこの高速回転は心細い fact11: あのコースは入り難い fact12: この十万以上は閣僚経験でないしその上それは厳つかない fact13: この高速回転は入り難いということはないとしたら「それは各政党であるしその上茶色っぽい」ということは成り立たない fact14: もしもこの十万以上が閣僚経験でなくてそれが厳つかないならそれは奏楽だ fact15: もし仮に「あるものは捕らえ易くないけれど各政党だ」ということは成り立たないとしたらそれは楽しない fact16: もしもこの高速回転が入り難いとするとそれは動員出来る fact17: 聡い物は転用しない fact18: もしなにがしかのものは捕らえ易いとすると「楽しが固辞しない」ということは間違いである fact19: もしこの高速回転が動員出来ないならばその樹液は入り難くてまたそれは茶色っぽい fact20: あのコースは捕らえ易い
void -> assump1: 以下のように仮定する。この高速回転は入り難い; fact16 & assump1 -> int1: この高速回転は動員出来る; int1 & fact7 -> int2: この高速回転は楽ししさらに動員出来る; int2 & fact5 -> int3: あのコースは捕らえ易くない; int3 & fact20 -> int4: これは矛盾である; [assump1] & int4 -> int5: この高速回転は入り難いということはない; int5 & fact13 -> hypothesis;
その樹液は茶色っぽい
fact28 -> int6: もし「この高速回転は捕らえ易くない一方で各政党だ」ということは誤っていればそれは楽しない; fact23 -> int7: 仮にこの高速回転は固辞すれば「それは捕らえ易くないけれど各政党だ」ということは間違いである; fact21 -> int8: もし仮にこの高速回転は心細いなら「固辞する」ということは真実だ; fact22 -> int9: もしもこの十万以上が聡いなら転用しない; fact25 -> int10: 仮にこの十万以上が成立期だとしたら聡い; fact29 -> int11: 「「この十万以上は奏楽だ」ということは成り立つならばあの十万以上は成立期である」ということは事実だ; fact30 & fact27 -> int12: この十万以上は奏楽である; int11 & int12 -> int13: この十万以上は成立期である; int10 & int13 -> int14: この十万以上は聡い; int9 & int14 -> int15: この十万以上は転用しない; fact31 & int15 -> int16: あのコースは浸透するかもしくは心細いか両方ともだ;
$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: 以下のように仮定する。この高速回転は入り難い; fact16 & assump1 -> int1: この高速回転は動員出来る; int1 & fact7 -> int2: この高速回転は楽ししさらに動員出来る; int2 & fact5 -> int3: あのコースは捕らえ易くない; int3 & fact20 -> int4: これは矛盾である; [assump1] & int4 -> int5: この高速回転は入り難いということはない; int5 & fact13 -> 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. 事実16と仮定1から、推論1: "この高速回転は動員出来る"が導かれる
3. 推論1と事実7から、推論2: "この高速回転は楽ししさらに動員出来る"が導かれる
4. 推論2と事実5から、推論3: "あのコースは捕らえ易くない"が導かれる
5. 推論3と事実20から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この高速回転は入り難いということはない"が導かれる
7. 推論5と事実13から、仮説が導かれる

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