あの徴収金は照らし出す
fact1: もしもあの徴収金が合い難くないとすればこのキリスト教的価値観は照らし出す fact2: あの電池ボックスはセットバックするということはない fact3: 「あの電池ボックスは静めないし加えてセットバックしない」ということは偽である fact4: もし仮にこのキリスト教的価値観が抜け易いならあの徴収金は辛抱強いが照らし出さない fact5: あの電池ボックスは分かり過ぎるとしたら「合い難くないしそれは白しない」ということは間違いである fact6: あの精神的自由は競合するかもしくは大女優であるかもしくは両方ともである fact7: もし「何かは合い難くないしその上白しない」ということは誤っているとするとセットバックする fact8: もし「苛立たしかないけれど拝領する」物があるならあのαＴは分かり過ぎない fact9: もし仮に「「あのαＴは答え難いということはなくて登城でない」ということは偽だ」ということは正しいなら「重しない」ということは本当である fact10: 「あの精神的自由は競合する」ということは確かであるとするとあのαＴは未年生まれだ fact11: もしもこのキリスト教的価値観が白しないとするとあの徴収金は照らし出す fact12: 仮に「とあるものは静めないがしかし抜け易い」ということは誤りであるとするとそれは辛抱強くない fact13: 仮にあのαＴは未年生まれだとすれば「「答え難くないしさらに登城だということはない」ということは成り立つ」ということは間違いだ fact14: 辛抱強くない物はＣＴ検査であるかディコードしない fact15: このキリスト教的価値観が合い難いとするとあの徴収金は照らし出す fact16: もしもなにがしかの物は静めるなら「抜け易い」ということは成り立つ fact17: もし仮にこのキリスト教的価値観が辛抱強くないならばそれは合い難いかもしくは白しないかあるいは両方である fact18: あるものは苛立たしかないけれどそれは拝領する fact19: その事象間はセットバックするということはない fact20: もし仮にこのキリスト教的価値観が辛抱強いかまたはそれが抜け易いならあの電池ボックスは静めない fact21: もし仮にあのαＴが分かり過ぎないしそれに重しということはないとしたらあの電池ボックスは分かり過ぎる fact22: 仮にこのキリスト教的価値観はセットバックするとすると「あの電池ボックスは静めないけれど抜け易い」ということは成り立たない
void -> assump1: 以下のように仮定する。このキリスト教的価値観は辛抱強い; assump1 -> int1: このキリスト教的価値観は辛抱強いかまたは抜け易いかどちらもである; int1 & fact20 -> int2: あの電池ボックスは静めない; int2 & fact2 -> int3: あの電池ボックスが静めないしさらにそれはセットバックしない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: このキリスト教的価値観は辛抱強くない; int5 & fact17 -> int6: このキリスト教的価値観は合い難いか白しない; int6 & fact15 & fact11 -> hypothesis;
あの徴収金は照らし出さない
fact28 -> int7: 仮にこのキリスト教的価値観が静めれば抜け易い; fact31 -> int8: もしも「あの電池ボックスは合い難くないし白しない」ということは成り立たないとするとそれはセットバックする; fact25 & fact29 -> int9: あのαＴは分かり過ぎない;
$facts$ = fact1: もしもあの徴収金が合い難くないとすればこのキリスト教的価値観は照らし出す fact2: あの電池ボックスはセットバックするということはない fact3: 「あの電池ボックスは静めないし加えてセットバックしない」ということは偽である fact4: もし仮にこのキリスト教的価値観が抜け易いならあの徴収金は辛抱強いが照らし出さない fact5: あの電池ボックスは分かり過ぎるとしたら「合い難くないしそれは白しない」ということは間違いである fact6: あの精神的自由は競合するかもしくは大女優であるかもしくは両方ともである fact7: もし「何かは合い難くないしその上白しない」ということは誤っているとするとセットバックする fact8: もし「苛立たしかないけれど拝領する」物があるならあのαＴは分かり過ぎない fact9: もし仮に「「あのαＴは答え難いということはなくて登城でない」ということは偽だ」ということは正しいなら「重しない」ということは本当である fact10: 「あの精神的自由は競合する」ということは確かであるとするとあのαＴは未年生まれだ fact11: もしもこのキリスト教的価値観が白しないとするとあの徴収金は照らし出す fact12: 仮に「とあるものは静めないがしかし抜け易い」ということは誤りであるとするとそれは辛抱強くない fact13: 仮にあのαＴは未年生まれだとすれば「「答え難くないしさらに登城だということはない」ということは成り立つ」ということは間違いだ fact14: 辛抱強くない物はＣＴ検査であるかディコードしない fact15: このキリスト教的価値観が合い難いとするとあの徴収金は照らし出す fact16: もしもなにがしかの物は静めるなら「抜け易い」ということは成り立つ fact17: もし仮にこのキリスト教的価値観が辛抱強くないならばそれは合い難いかもしくは白しないかあるいは両方である fact18: あるものは苛立たしかないけれどそれは拝領する fact19: その事象間はセットバックするということはない fact20: もし仮にこのキリスト教的価値観が辛抱強いかまたはそれが抜け易いならあの電池ボックスは静めない fact21: もし仮にあのαＴが分かり過ぎないしそれに重しということはないとしたらあの電池ボックスは分かり過ぎる fact22: 仮にこのキリスト教的価値観はセットバックするとすると「あの電池ボックスは静めないけれど抜け易い」ということは成り立たない ; $hypothesis$ = あの徴収金は照らし出す ; $proof$ = 
void -> assump1: 以下のように仮定する。このキリスト教的価値観は辛抱強い; assump1 -> int1: このキリスト教的価値観は辛抱強いかまたは抜け易いかどちらもである; int1 & fact20 -> int2: あの電池ボックスは静めない; int2 & fact2 -> int3: あの電池ボックスが静めないしさらにそれはセットバックしない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: このキリスト教的価値観は辛抱強くない; int5 & fact17 -> int6: このキリスト教的価値観は合い難いか白しない; int6 & fact15 & fact11 -> hypothesis; __PROVED__
事実1: もしもあの徴収金が合い難くないとすればこのキリスト教的価値観は照らし出す
事実2: あの電池ボックスはセットバックするということはない
事実3: 「あの電池ボックスは静めないし加えてセットバックしない」ということは偽である
事実4: もし仮にこのキリスト教的価値観が抜け易いならあの徴収金は辛抱強いが照らし出さない
事実5: あの電池ボックスは分かり過ぎるとしたら「合い難くないしそれは白しない」ということは間違いである
事実6: あの精神的自由は競合するかもしくは大女優であるかもしくは両方ともである
事実7: もし「何かは合い難くないしその上白しない」ということは誤っているとするとセットバックする
事実8: もし「苛立たしかないけれど拝領する」物があるならあのαＴは分かり過ぎない
事実9: もし仮に「「あのαＴは答え難いということはなくて登城でない」ということは偽だ」ということは正しいなら「重しない」ということは本当である
事実10: 「あの精神的自由は競合する」ということは確かであるとするとあのαＴは未年生まれだ
事実11: もしもこのキリスト教的価値観が白しないとするとあの徴収金は照らし出す
事実12: 仮に「とあるものは静めないがしかし抜け易い」ということは誤りであるとするとそれは辛抱強くない
事実13: 仮にあのαＴは未年生まれだとすれば「「答え難くないしさらに登城だということはない」ということは成り立つ」ということは間違いだ
事実14: 辛抱強くない物はＣＴ検査であるかディコードしない
事実15: このキリスト教的価値観が合い難いとするとあの徴収金は照らし出す
事実16: もしもなにがしかの物は静めるなら「抜け易い」ということは成り立つ
事実17: もし仮にこのキリスト教的価値観が辛抱強くないならばそれは合い難いかもしくは白しないかあるいは両方である
事実18: あるものは苛立たしかないけれどそれは拝領する
事実19: その事象間はセットバックするということはない
事実20: もし仮にこのキリスト教的価値観が辛抱強いかまたはそれが抜け易いならあの電池ボックスは静めない
事実21: もし仮にあのαＴが分かり過ぎないしそれに重しということはないとしたらあの電池ボックスは分かり過ぎる
事実22: 仮にこのキリスト教的価値観はセットバックするとすると「あの電池ボックスは静めないけれど抜け易い」ということは成り立たない

仮説: あの徴収金は照らし出す
1. 仮定1: 以下のように仮定する。このキリスト教的価値観は辛抱強い
2. 仮定1から、推論1: "このキリスト教的価値観は辛抱強いかまたは抜け易いかどちらもである"が導かれる
3. 推論1と事実20から、推論2: "あの電池ボックスは静めない"が導かれる
4. 推論2と事実2から、推論3: "あの電池ボックスが静めないしさらにそれはセットバックしない"が導かれる
5. 推論3と事実3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "このキリスト教的価値観は辛抱強くない"が導かれる
7. 推論5と事実17から、推論6: "このキリスト教的価値観は合い難いか白しない"が導かれる
8. 推論6と事実15と事実11から、仮説が導かれる

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