その電源オプションは賢しかあるいは極まり悪くない
fact1: もしこの包晶組織は登録会社であるけど果てし無いということはないならば「それは私らしい」ということは正しい fact2: もしこの包晶組織は私らしいとしたら「この魔方陣は小賢しくないかあるいは私らしくないかまたは両方ともである」ということは誤っている fact3: この包晶組織が預けないしそれが私らしくないとすれば極まり悪い fact4: 「この包晶組織は極まり悪い」ということは成り立つ fact5: 仮にあのマトリクスが断定し難い一方で一万八千人でないならこの包晶組織は預けない fact6: 仮にこの包晶組織が私らしくないし加えてそれが極まり悪くないならそれは預ける fact7: 仮にこの包晶組織は私らしくないとすれば「その電源オプションは賢しかまたは極まり悪くない」ということは誤りである fact8: 「その電源オプションは私らしくないしそれは賢しということはない」ということは嘘だ fact9: この包晶組織は大人びる fact10: その高校時代は預けないし省けない fact11: その電源オプションは断定し難くない fact12: 仮にこの包晶組織は私らしいならば「この魔方陣は果てし無いということはないかまたは私らしくないかあるいはどちらもだ」ということは成り立たない fact13: もしも「あのマトリクスは果てし無いかもしくは極まり悪くないか両方ともだ」ということは成り立たないならばこの包晶組織は断定し難くない fact14: 「あの常備菜は移動し易くないかまたはそれは極まり悪いということはない」ということは誤りである fact15: 「あのマトリクスは一万八千人でないしかつ登録会社でない」ということは嘘である fact16: なんらかの物が登録会社でなくてそれが果てし無くないとするとそれは私らしい fact17: 仮に何らかのものが預けるけど極まり悪くないとすると小賢しい fact18: あのビッチは私らしい fact19: あのマトリクスは断定し難い一方で一万八千人でない fact20: 「もし仮に賢し物が私らしくないとしたら果てし無い」ということは成り立つ fact21: 仮に「この包晶組織は登録会社でないしそれに果てし無くない」ということは嘘ならば預ける fact22: この包晶組織は一万八千人である fact23: もし仮に「この魔方陣は小賢しくないか私らしくないか両方ともだ」ということは成り立つということはないとすればその電源オプションは極まり悪くない fact24: 「その電源オプションは果てし無くない」ということは本当である
void -> assump1: 以下のように仮定する。「この包晶組織は登録会社でなくて果てし無くない」ということは偽だ; fact21 & assump1 -> int1: この包晶組織は預ける; fact19 & fact5 -> int2: この包晶組織は預けない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この包晶組織は登録会社でなくて果てし無いということはない; fact16 -> int5: もし仮にこの包晶組織は登録会社でないしそれに果てし無くないとすれば私らしい; int4 & int5 -> int6: 「この包晶組織は私らしい」ということは成り立つ; int6 & fact2 -> int7: 「この魔方陣は小賢しくないか私らしくない」ということは成り立つということはない; int7 & fact23 -> int8: その電源オプションは極まり悪いということはない; int8 -> hypothesis;
「その電源オプションは賢しかそれは極まり悪くない」ということは嘘である
$facts$ = fact1: もしこの包晶組織は登録会社であるけど果てし無いということはないならば「それは私らしい」ということは正しい fact2: もしこの包晶組織は私らしいとしたら「この魔方陣は小賢しくないかあるいは私らしくないかまたは両方ともである」ということは誤っている fact3: この包晶組織が預けないしそれが私らしくないとすれば極まり悪い fact4: 「この包晶組織は極まり悪い」ということは成り立つ fact5: 仮にあのマトリクスが断定し難い一方で一万八千人でないならこの包晶組織は預けない fact6: 仮にこの包晶組織が私らしくないし加えてそれが極まり悪くないならそれは預ける fact7: 仮にこの包晶組織は私らしくないとすれば「その電源オプションは賢しかまたは極まり悪くない」ということは誤りである fact8: 「その電源オプションは私らしくないしそれは賢しということはない」ということは嘘だ fact9: この包晶組織は大人びる fact10: その高校時代は預けないし省けない fact11: その電源オプションは断定し難くない fact12: 仮にこの包晶組織は私らしいならば「この魔方陣は果てし無いということはないかまたは私らしくないかあるいはどちらもだ」ということは成り立たない fact13: もしも「あのマトリクスは果てし無いかもしくは極まり悪くないか両方ともだ」ということは成り立たないならばこの包晶組織は断定し難くない fact14: 「あの常備菜は移動し易くないかまたはそれは極まり悪いということはない」ということは誤りである fact15: 「あのマトリクスは一万八千人でないしかつ登録会社でない」ということは嘘である fact16: なんらかの物が登録会社でなくてそれが果てし無くないとするとそれは私らしい fact17: 仮に何らかのものが預けるけど極まり悪くないとすると小賢しい fact18: あのビッチは私らしい fact19: あのマトリクスは断定し難い一方で一万八千人でない fact20: 「もし仮に賢し物が私らしくないとしたら果てし無い」ということは成り立つ fact21: 仮に「この包晶組織は登録会社でないしそれに果てし無くない」ということは嘘ならば預ける fact22: この包晶組織は一万八千人である fact23: もし仮に「この魔方陣は小賢しくないか私らしくないか両方ともだ」ということは成り立つということはないとすればその電源オプションは極まり悪くない fact24: 「その電源オプションは果てし無くない」ということは本当である ; $hypothesis$ = その電源オプションは賢しかあるいは極まり悪くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この包晶組織は登録会社でなくて果てし無くない」ということは偽だ; fact21 & assump1 -> int1: この包晶組織は預ける; fact19 & fact5 -> int2: この包晶組織は預けない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この包晶組織は登録会社でなくて果てし無いということはない; fact16 -> int5: もし仮にこの包晶組織は登録会社でないしそれに果てし無くないとすれば私らしい; int4 & int5 -> int6: 「この包晶組織は私らしい」ということは成り立つ; int6 & fact2 -> int7: 「この魔方陣は小賢しくないか私らしくない」ということは成り立つということはない; int7 & fact23 -> int8: その電源オプションは極まり悪いということはない; int8 -> hypothesis; __PROVED__
事実1: もしこの包晶組織は登録会社であるけど果てし無いということはないならば「それは私らしい」ということは正しい
事実2: もしこの包晶組織は私らしいとしたら「この魔方陣は小賢しくないかあるいは私らしくないかまたは両方ともである」ということは誤っている
事実3: この包晶組織が預けないしそれが私らしくないとすれば極まり悪い
事実4: 「この包晶組織は極まり悪い」ということは成り立つ
事実5: 仮にあのマトリクスが断定し難い一方で一万八千人でないならこの包晶組織は預けない
事実6: 仮にこの包晶組織が私らしくないし加えてそれが極まり悪くないならそれは預ける
事実7: 仮にこの包晶組織は私らしくないとすれば「その電源オプションは賢しかまたは極まり悪くない」ということは誤りである
事実8: 「その電源オプションは私らしくないしそれは賢しということはない」ということは嘘だ
事実9: この包晶組織は大人びる
事実10: その高校時代は預けないし省けない
事実11: その電源オプションは断定し難くない
事実12: 仮にこの包晶組織は私らしいならば「この魔方陣は果てし無いということはないかまたは私らしくないかあるいはどちらもだ」ということは成り立たない
事実13: もしも「あのマトリクスは果てし無いかもしくは極まり悪くないか両方ともだ」ということは成り立たないならばこの包晶組織は断定し難くない
事実14: 「あの常備菜は移動し易くないかまたはそれは極まり悪いということはない」ということは誤りである
事実15: 「あのマトリクスは一万八千人でないしかつ登録会社でない」ということは嘘である
事実16: なんらかの物が登録会社でなくてそれが果てし無くないとするとそれは私らしい
事実17: 仮に何らかのものが預けるけど極まり悪くないとすると小賢しい
事実18: あのビッチは私らしい
事実19: あのマトリクスは断定し難い一方で一万八千人でない
事実20: 「もし仮に賢し物が私らしくないとしたら果てし無い」ということは成り立つ
事実21: 仮に「この包晶組織は登録会社でないしそれに果てし無くない」ということは嘘ならば預ける
事実22: この包晶組織は一万八千人である
事実23: もし仮に「この魔方陣は小賢しくないか私らしくないか両方ともだ」ということは成り立つということはないとすればその電源オプションは極まり悪くない
事実24: 「その電源オプションは果てし無くない」ということは本当である

仮説: その電源オプションは賢しかあるいは極まり悪くない
1. 仮定1: 以下のように仮定する。「この包晶組織は登録会社でなくて果てし無くない」ということは偽だ
2. 事実21と仮定1から、推論1: "この包晶組織は預ける"が導かれる
3. 事実19と事実5から、推論2: "この包晶組織は預けない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この包晶組織は登録会社でなくて果てし無いということはない"が導かれる
6. 事実16から、推論5: "もし仮にこの包晶組織は登録会社でないしそれに果てし無くないとすれば私らしい"が導かれる
7. 推論4と推論5から、推論6: "「この包晶組織は私らしい」ということは成り立つ"が導かれる
8. 推論6と事実2から、推論7: "「この魔方陣は小賢しくないか私らしくない」ということは成り立つということはない"が導かれる
9. 推論7と事実23から、推論8: "その電源オプションは極まり悪いということはない"が導かれる
10. 推論8から、仮説が導かれる

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