あの蜉蝣達は酷いということはない
fact1: あの基礎的住環境が苦しみ始めるならその政策文書は遊行しない fact2: もし仮になにかは変装しないとしたら「言い付からないしそれは守れる」ということは成り立たない fact3: 仮に「なんらかのものは守れるということはないか言い付かるかあるいはどちらもだ」ということは成り立たないとするとそれは酷いということはない fact4: もし「あるものは守れるかあるいは言い付かるか両方ともである」ということは正しくないとするとそれは酷くない fact5: この発酵バターは仮説だ fact6: 「その政策文書は色落ちするということはないけれど浅い」ということは間違いだ fact7: 「もし仮に「その政策文書は言い付からないけれどそれは守れる」ということは成り立たないとするとあの蜉蝣達は遊行しない」ということは成り立つ fact8: もし仮に「その政策文書は遊行するということはないけど苦しみ始める」ということは間違いだとすればあの基礎的住環境は仮説でない fact9: その政策文書が守れないとすればあの蜉蝣達は守れる fact10: もし「あの蜉蝣達は守れるかまたは言い付かる」ということは事実と異なるとすればそれは酷くない fact11: あの基礎的住環境は酷くない fact12: もしこの発酵バターは仮説であるならば「あの基礎的住環境は苦しみ始めないけれど生活し易い」ということは成り立たない fact13: 「この発酵バターは仮説である」ということは誤りだということはないならば「あの基礎的住環境は苦しみ始めるしまた生活し易い」ということは間違いである fact14: もし「あの基礎的住環境は言い付からないがしかし守れる」ということは誤りならこの発酵バターは遊行しない fact15: もしも「あの基礎的住環境は苦しみ始めないがしかし生活し易い」ということは嘘であるとすればその政策文書は遊行しない fact16: 「あの基礎的住環境は苦しみ始めるし加えてそれは生活し易い」ということは成り立たない fact17: 仮に「「あの蜉蝣達は苦しみ始めないかまたはそれは守れるかどちらもだ」ということは偽だ」ということは成り立つとすると生活し易くない fact18: その政策文書は守れないとすれば「あの蜉蝣達は守れるということはないかもしくは言い付かるかどちらもだ」ということは誤っている fact19: もしも「その政策文書は遊行しないが守れる」ということは偽ならあの蜉蝣達は仮説でない fact20: 仮に「あの基礎的住環境は変装するけど宣戦するということはない」ということは嘘であるならばそれは変装するということはない fact21: 仮にその政策文書が遊行しないなら守れない fact22: あの蜉蝣達は守れる
fact12 & fact5 -> int1: 「あの基礎的住環境は苦しみ始めるということはないけど生活し易い」ということは誤りだ; int1 & fact15 -> int2: 「その政策文書は遊行しない」ということは真実だ; int2 & fact21 -> int3: その政策文書は守れない; int3 & fact18 -> int4: 「あの蜉蝣達は守れないか言い付かるかもしくは両方だ」ということは間違っている; fact3 -> int5: 「あの蜉蝣達は守れないかあるいは言い付かるかまたは両方ともである」ということは事実でないとすると酷くない; int4 & int5 -> hypothesis;
あの蜉蝣達は酷い
fact24 -> int6: もしも「あの基礎的住環境は変装しない」ということは確かであるならば「それは言い付からないし守れる」ということは偽である;
$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$ = 
fact12 & fact5 -> int1: 「あの基礎的住環境は苦しみ始めるということはないけど生活し易い」ということは誤りだ; int1 & fact15 -> int2: 「その政策文書は遊行しない」ということは真実だ; int2 & fact21 -> int3: その政策文書は守れない; int3 & fact18 -> int4: 「あの蜉蝣達は守れないか言い付かるかもしくは両方だ」ということは間違っている; fact3 -> int5: 「あの蜉蝣達は守れないかあるいは言い付かるかまたは両方ともである」ということは事実でないとすると酷くない; int4 & int5 -> 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. 事実12と事実5から、推論1: "「あの基礎的住環境は苦しみ始めるということはないけど生活し易い」ということは誤りだ"が導かれる
2. 推論1と事実15から、推論2: "「その政策文書は遊行しない」ということは真実だ"が導かれる
3. 推論2と事実21から、推論3: "その政策文書は守れない"が導かれる
4. 推論3と事実18から、推論4: "「あの蜉蝣達は守れないか言い付かるかもしくは両方だ」ということは間違っている"が導かれる
5. 事実3から、推論5: "「あの蜉蝣達は守れないかあるいは言い付かるかまたは両方ともである」ということは事実でないとすると酷くない"が導かれる
6. 推論4と推論5から、仮説が導かれる

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