「この事箱は眩しくないかまたはそれはアパレルだ」ということは偽である
fact1: 仮にある物は実存しないなら「それは手広くなくてかつ考え深くない」ということは嘘である fact2: もしもなにかは路上生活でないなら眩しくないかあるいはアパレルであるか両方である fact3: もし仮にこの事箱がアパレルならそれは金融政策決定会合であるということはない fact4: そのキャッチャーは惜しいということはないかあるいはそれは其れらしいかもしくはどちらもである fact5: この事箱はアパレルでない fact6: 「その画像上は路上生活でないけど考え深い」ということは誤りである fact7: もし「あの来襲は手広い」ということは真実であるとすればそれは実存する fact8: 「そのキャッチャーはアパレルでないし其れらしいということはない」ということは間違っている fact9: もし仮にこの事箱は金融政策決定会合でないならば「その画像上は路上生活でなくてかつ考え深いということはない」ということは偽である fact10: そのキャッチャーは惜しくないかまたはそれは其れらしくないか両方である fact11: もしあの来襲が手広くないかもしくは考え深いとすると路上生活でない fact12: もしあの来襲が実存すればそのキャッチャーは其れらしい fact13: もしその画像上が金融政策決定会合でないとするとこの事箱はアパレルで路上生活だ fact14: もしもこの事箱は金融政策決定会合でないとすれば「その画像上は路上生活でないけれどそれは考え深い」ということは真実でない fact15: もしもその画像上が考え深いとするとあの来襲は手広い fact16: 仮に「その画像上は実存しない」ということは成り立つとすれば手広くてかつ考え深い fact17: もしこの事箱が眩しくないかもしくはアパレルであるかどちらもであるとすれば金融政策決定会合でない fact18: そのキャッチャーは惜しくないかまたは其れらしくないかあるいはどちらもならそれは其れらしくない fact19: 「「其れらしいし更に小型車でない」物はある」ということは事実である fact20: この事箱は其れらしいということはないかまたは金融政策決定会合であるかまたは両方である fact21: もし「「その画像上は路上生活でなくて考え深いということはない」ということは偽でない」ということは成り立たないとすれば「あの来襲は手広い」ということは確かだ fact22: この事箱は作り過ぎる fact23: 考え深い物は金融政策決定会合である
void -> assump1: 以下のように仮定する。この事箱は眩しくないかまたはアパレルであるかもしくは両方ともだ; fact17 & assump1 -> int1: この事箱は金融政策決定会合でない; int1 & fact9 -> int2: 「その画像上は路上生活でないし更にそれは考え深くない」ということは正しいということはない; int2 & fact21 -> int3: あの来襲は手広い; int3 & fact7 -> int4: あの来襲は実存する; int4 & fact12 -> int5: そのキャッチャーは其れらしい; fact10 & fact18 -> int6: そのキャッチャーは其れらしくない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
この事箱は眩しくないかまたはそれはアパレルだ
fact24 -> int8: もしもあの来襲は実存しないなら「それは手広くないしまた考え深いということはない」ということは事実と異なる;
$facts$ = fact1: 仮にある物は実存しないなら「それは手広くなくてかつ考え深くない」ということは嘘である fact2: もしもなにかは路上生活でないなら眩しくないかあるいはアパレルであるか両方である fact3: もし仮にこの事箱がアパレルならそれは金融政策決定会合であるということはない fact4: そのキャッチャーは惜しいということはないかあるいはそれは其れらしいかもしくはどちらもである fact5: この事箱はアパレルでない fact6: 「その画像上は路上生活でないけど考え深い」ということは誤りである fact7: もし「あの来襲は手広い」ということは真実であるとすればそれは実存する fact8: 「そのキャッチャーはアパレルでないし其れらしいということはない」ということは間違っている fact9: もし仮にこの事箱は金融政策決定会合でないならば「その画像上は路上生活でなくてかつ考え深いということはない」ということは偽である fact10: そのキャッチャーは惜しくないかまたはそれは其れらしくないか両方である fact11: もしあの来襲が手広くないかもしくは考え深いとすると路上生活でない fact12: もしあの来襲が実存すればそのキャッチャーは其れらしい fact13: もしその画像上が金融政策決定会合でないとするとこの事箱はアパレルで路上生活だ fact14: もしもこの事箱は金融政策決定会合でないとすれば「その画像上は路上生活でないけれどそれは考え深い」ということは真実でない fact15: もしもその画像上が考え深いとするとあの来襲は手広い fact16: 仮に「その画像上は実存しない」ということは成り立つとすれば手広くてかつ考え深い fact17: もしこの事箱が眩しくないかもしくはアパレルであるかどちらもであるとすれば金融政策決定会合でない fact18: そのキャッチャーは惜しくないかまたは其れらしくないかあるいはどちらもならそれは其れらしくない fact19: 「「其れらしいし更に小型車でない」物はある」ということは事実である fact20: この事箱は其れらしいということはないかまたは金融政策決定会合であるかまたは両方である fact21: もし「「その画像上は路上生活でなくて考え深いということはない」ということは偽でない」ということは成り立たないとすれば「あの来襲は手広い」ということは確かだ fact22: この事箱は作り過ぎる fact23: 考え深い物は金融政策決定会合である ; $hypothesis$ = 「この事箱は眩しくないかまたはそれはアパレルだ」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。この事箱は眩しくないかまたはアパレルであるかもしくは両方ともだ; fact17 & assump1 -> int1: この事箱は金融政策決定会合でない; int1 & fact9 -> int2: 「その画像上は路上生活でないし更にそれは考え深くない」ということは正しいということはない; int2 & fact21 -> int3: あの来襲は手広い; int3 & fact7 -> int4: あの来襲は実存する; int4 & fact12 -> int5: そのキャッチャーは其れらしい; fact10 & fact18 -> int6: そのキャッチャーは其れらしくない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> 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: 考え深い物は金融政策決定会合である

仮説: 「この事箱は眩しくないかまたはそれはアパレルだ」ということは偽である
1. 仮定1: 以下のように仮定する。この事箱は眩しくないかまたはアパレルであるかもしくは両方ともだ
2. 事実17と仮定1から、推論1: "この事箱は金融政策決定会合でない"が導かれる
3. 推論1と事実9から、推論2: "「その画像上は路上生活でないし更にそれは考え深くない」ということは正しいということはない"が導かれる
4. 推論2と事実21から、推論3: "あの来襲は手広い"が導かれる
5. 推論3と事実7から、推論4: "あの来襲は実存する"が導かれる
6. 推論4と事実12から、推論5: "そのキャッチャーは其れらしい"が導かれる
7. 事実10と事実18から、推論6: "そのキャッチャーは其れらしくない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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