この絵文字は環境正義でない
fact1: もしあの復員者が精神病者であるならこの絵文字は精神病者だ fact2: どれもこれもは再選するということはない fact3: あのハイパフォーマンスは小狡くなくてそれに掃除し易くない fact4: 仮にとある物は精神病者でないし更に再選しないとしたら撤去である fact5: すべては汚らしくなくてそれはスチームでない fact6: 仮に何らかの物が戦略立案だとすると少ないがしかし撤去でない fact7: 「なにかは数うないし後ろめたくない」ということは真実だとすると回し続ける fact8: 少ないものは妨害排除請求でないか戦略立案であるかまたはどちらもだ fact9: もし仮にとあるものが妨害排除請求でないかあるいはそれは戦略立案であるかあるいはどちらもであるならそれは環境正義でない fact10: 精神病者は環境正義だ fact11: 仮に何らかの物が戦略立案だとすればそれは環境正義でない fact12: もしもあの現金自動預け払い機が精神病者でないけど再選すれば撤去だ fact13: もしもこの絵文字は心置き無いということはないし風入れでないとしたらそれは妨害排除請求だ fact14: あの現金自動預け払い機が撤去であるとするとこの絵文字は少ない fact15: もし何らかの物が精神病者でないがしかし再選するとすれば撤去である fact16: 「この均衡は撤去だがしかし少なくない」ということは誤りだとすればそのステロイドホルモンは撤去でない fact17: あの現金自動預け払い機は再選しない fact18: この建設計画は大人っぽいということはないしおまけにレニンでない fact19: もしもこの絵文字は戦略立案であるとすると環境正義でない fact20: もしあの現金自動預け払い機が再選しないかまたはそれは精神病者であるかあるいは両方であるとしたら少なくない fact21: もしもそのステロイドホルモンが精神病者であるということはない一方で再選するならあの復員者は精神病者だ fact22: もし仮にこの絵文字は撤去であるということはないとしたら精神病者であるし再選する fact23: すべては精神病者でなくてその上再選するということはない
fact23 -> int1: あの現金自動預け払い機は精神病者でないし再選するということはない; fact4 -> int2: あの現金自動預け払い機は精神病者でなくておまけに再選しないとすると「撤去である」ということは確かだ; int1 & int2 -> int3: あの現金自動預け払い機は撤去である; int3 & fact14 -> int4: この絵文字は少ない; fact8 -> int5: もしこの絵文字が少ないとしたらそれは妨害排除請求でないかもしくは戦略立案であるか両方ともである; int4 & int5 -> int6: この絵文字は妨害排除請求でないかもしくはそれは戦略立案であるか両方だ; fact9 -> int7: この絵文字が妨害排除請求であるということはないか戦略立案であるとしたらそれは環境正義でない; int6 & int7 -> hypothesis;
もしもこのサディズムが数うということはなくてまた後ろめたいということはないとしたら回し続ける
fact24 -> 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: すべては精神病者でなくてその上再選するということはない ; $hypothesis$ = この絵文字は環境正義でない ; $proof$ = 
fact23 -> int1: あの現金自動預け払い機は精神病者でないし再選するということはない; fact4 -> int2: あの現金自動預け払い機は精神病者でなくておまけに再選しないとすると「撤去である」ということは確かだ; int1 & int2 -> int3: あの現金自動預け払い機は撤去である; int3 & fact14 -> int4: この絵文字は少ない; fact8 -> int5: もしこの絵文字が少ないとしたらそれは妨害排除請求でないかもしくは戦略立案であるか両方ともである; int4 & int5 -> int6: この絵文字は妨害排除請求でないかもしくはそれは戦略立案であるか両方だ; fact9 -> int7: この絵文字が妨害排除請求であるということはないか戦略立案であるとしたらそれは環境正義でない; int6 & 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. 事実23から、推論1: "あの現金自動預け払い機は精神病者でないし再選するということはない"が導かれる
2. 事実4から、推論2: "あの現金自動預け払い機は精神病者でなくておまけに再選しないとすると「撤去である」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "あの現金自動預け払い機は撤去である"が導かれる
4. 推論3と事実14から、推論4: "この絵文字は少ない"が導かれる
5. 事実8から、推論5: "もしこの絵文字が少ないとしたらそれは妨害排除請求でないかもしくは戦略立案であるか両方ともである"が導かれる
6. 推論4と推論5から、推論6: "この絵文字は妨害排除請求でないかもしくはそれは戦略立案であるか両方だ"が導かれる
7. 事実9から、推論7: "この絵文字が妨害排除請求であるということはないか戦略立案であるとしたらそれは環境正義でない"が導かれる
8. 推論6と推論7から、仮説が導かれる

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