あの虚実は平行しない
fact1: もしもそのインターカレーションは瀰漫性汎細気管支炎でないとしたら「「この六日生まれは旅慣れないけどそれは痛み易い」ということは偽である」ということは成り立つ fact2: もし仮に「そのインターカレーションは痛み易い」ということは事実ならばあの感情表現は旅慣れる fact3: あの動線は瀰漫性汎細気管支炎だとしたら「あの虚実は際限無くないかあるいは瀰漫性汎細気管支炎だということはない」ということは誤っている fact4: もし何かはむさくるしいならば寡占する fact5: ある物が寡占するとすればそのインターカレーションは平行しない fact6: もしも「なにがしかの物は旅慣れないけれど痛み易い」ということは成り立たないなら消耗感である fact7: 「もし仮にその感情表現は旅慣れるとしたら「あの動線は瀰漫性汎細気管支炎である」ということは確かである」ということは真実である fact8: 捕らわれ易くない物は持参するかむさくるしいかもしくはどちらもだ fact9: もしもその感情表現は痛み易くないなら「あの虚実は旅慣れるしおまけに瀰漫性汎細気管支炎だ」ということは成り立たない fact10: もし仮に「「落石でなくて守り易い」ということは成り立たない」物はあるとしたら「その看病は落石だ」ということは成り立つ fact11: 何もかもは捕らわれ易くない fact12: もし「その看病は名探偵でないしまた管理し易いということはない」ということは偽だとすればそれは消耗感でない fact13: もし仮に「とあるものは際限無くないかまたは瀰漫性汎細気管支炎であるということはない」ということは成り立たないとすると平行しない fact14: もし仮に「なんらかのものは消耗感だということはないかあるいは名探偵でないかもしくはどちらもである」ということは偽であるとすれば「それは旅慣れない」ということは確かだ fact15: もし「「消耗感で瀰漫性汎細気管支炎でない」ということは成り立たない」ものがあるとするとその看病は管理し易い fact16: 「「その看病は名探偵でなくてその上それは管理し易くない」ということは真実である」ということは誤りである fact17: もし仮にその看病は消耗感であるならば「あの虚実は平行しないがしかしそれは落石である」ということは偽である fact18: もし仮になにかは持参すれば寡占する fact19: もしその看病は落石であるなら「この聖徒は名探偵であるがしかしそれは見出だし得ない」ということは成り立たない fact20: もしとある物は落石であるとすれば「それは平行する」ということは正しい fact21: もしその看病は消耗感であるということはないなら「この六日生まれは守り易いが落石でない」ということは誤っている fact22: あの虚実は際限無い fact23: 仮に「「守り易いがしかし落石であるということはない」ということは偽である」物があるとすればそのインターカレーションは痛み易い
fact12 & fact16 -> int1: その看病は消耗感でない; int1 & fact21 -> int2: 「この六日生まれは守り易いが落石でない」ということは成り立たない; int2 -> int3: 「「守り易いが落石でない」ということは成り立たない」ものはある; int3 & fact23 -> int4: そのインターカレーションは痛み易い; int4 & fact2 -> int5: その感情表現は旅慣れる; int5 & fact7 -> int6: あの動線は瀰漫性汎細気管支炎だ; int6 & fact3 -> int7: 「あの虚実は際限無いということはないかあるいはそれは瀰漫性汎細気管支炎でないかあるいはどちらもである」ということは間違いである; fact13 -> int8: 仮に「あの虚実は際限無くないか瀰漫性汎細気管支炎でないかまたは両方ともだ」ということは嘘だとすればそれは平行するということはない; int7 & int8 -> hypothesis;
あの虚実は平行する
fact24 -> int9: もし仮にあの虚実が落石ならばそれは平行する;
$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$ = 
fact12 & fact16 -> int1: その看病は消耗感でない; int1 & fact21 -> int2: 「この六日生まれは守り易いが落石でない」ということは成り立たない; int2 -> int3: 「「守り易いが落石でない」ということは成り立たない」ものはある; int3 & fact23 -> int4: そのインターカレーションは痛み易い; int4 & fact2 -> int5: その感情表現は旅慣れる; int5 & fact7 -> int6: あの動線は瀰漫性汎細気管支炎だ; int6 & fact3 -> int7: 「あの虚実は際限無いということはないかあるいはそれは瀰漫性汎細気管支炎でないかあるいはどちらもである」ということは間違いである; fact13 -> int8: 仮に「あの虚実は際限無くないか瀰漫性汎細気管支炎でないかまたは両方ともだ」ということは嘘だとすればそれは平行するということはない; int7 & 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: 仮に「「守り易いがしかし落石であるということはない」ということは偽である」物があるとすればそのインターカレーションは痛み易い

仮説: あの虚実は平行しない
1. 事実12と事実16から、推論1: "その看病は消耗感でない"が導かれる
2. 推論1と事実21から、推論2: "「この六日生まれは守り易いが落石でない」ということは成り立たない"が導かれる
3. 推論2から、推論3: "「「守り易いが落石でない」ということは成り立たない」ものはある"が導かれる
4. 推論3と事実23から、推論4: "そのインターカレーションは痛み易い"が導かれる
5. 推論4と事実2から、推論5: "その感情表現は旅慣れる"が導かれる
6. 推論5と事実7から、推論6: "あの動線は瀰漫性汎細気管支炎だ"が導かれる
7. 推論6と事実3から、推論7: "「あの虚実は際限無いということはないかあるいはそれは瀰漫性汎細気管支炎でないかあるいはどちらもである」ということは間違いである"が導かれる
8. 事実13から、推論8: "仮に「あの虚実は際限無くないか瀰漫性汎細気管支炎でないかまたは両方ともだ」ということは嘘だとすればそれは平行するということはない"が導かれる
9. 推論7と推論8から、仮説が導かれる

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