その通所授産施設制度はメンツでない
fact1: その砂浜は移り始める fact2: もしもなんらかのものが移り始めるとするとそれはメンツである fact3: 「この小学生以上は人間っぽくないかまたは悪しいか両方である」ということは真実でない fact4: この小学生以上は人間っぽいかまたは滞り易い fact5: もしもこの小学生以上が人間っぽくないかもしくはそれが滞り易いか両方だとすればその通所授産施設制度は悪しいということはない fact6: 「人間っぽくないか滞り易いかもしくは両方ともである」物はある fact7: あるものは人間っぽい fact8: もし仮にその通所授産施設制度は悪しくないけど二日付けだとすればメンツであるということはない fact9: 「その砂浜は移り始めないかもしくは一枠であるか両方ともだ」ということは成り立つということはない fact10: 何もかもは奴等で軟らかい fact11: もしも「その砂浜は移り始めないかそれは一枠だ」ということは成り立たないならばこの左右差は移り始める fact12: あらゆる物は二日付けだし薄い fact13: もしも「「人間っぽくないか滞り易いかもしくは両方だ」ということは成り立つということはない」ものがあるならばあの左右差は移り始めない fact14: この小学生以上は人間っぽい fact15: 仮にこの小学生以上が人間っぽくないならその通所授産施設制度は悪しくない fact16: 「「人間っぽいかもしくは滞り易いかあるいは両方である」ということは偽な」ものはある
void -> assump1: 以下のように仮定する。「この小学生以上は人間っぽくないかまたはそれは滞り易いかあるいは両方である」ということは誤りである; assump1 -> int1: 「「人間っぽくないかもしくは滞り易いかどちらもだ」ということは間違いな」ものはある; int1 & fact13 -> int2: この左右差は移り始めない; fact11 & fact9 -> int3: この左右差は移り始める; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この小学生以上は人間っぽいということはないか滞り易いかまたはどちらもだ; int5 & fact5 -> int6: その通所授産施設制度は悪しくない; fact12 -> int7: その通所授産施設制度が二日付けだしその上それは薄い; int7 -> int8: その通所授産施設制度は二日付けだ; int6 & int8 -> int9: その通所授産施設制度は悪しくないけど二日付けである; int9 & fact8 -> hypothesis;
その通所授産施設制度はメンツである
fact17 -> int10: もし仮にその通所授産施設制度が移り始めればそれはメンツだ;
$facts$ = fact1: その砂浜は移り始める fact2: もしもなんらかのものが移り始めるとするとそれはメンツである fact3: 「この小学生以上は人間っぽくないかまたは悪しいか両方である」ということは真実でない fact4: この小学生以上は人間っぽいかまたは滞り易い fact5: もしもこの小学生以上が人間っぽくないかもしくはそれが滞り易いか両方だとすればその通所授産施設制度は悪しいということはない fact6: 「人間っぽくないか滞り易いかもしくは両方ともである」物はある fact7: あるものは人間っぽい fact8: もし仮にその通所授産施設制度は悪しくないけど二日付けだとすればメンツであるということはない fact9: 「その砂浜は移り始めないかもしくは一枠であるか両方ともだ」ということは成り立つということはない fact10: 何もかもは奴等で軟らかい fact11: もしも「その砂浜は移り始めないかそれは一枠だ」ということは成り立たないならばこの左右差は移り始める fact12: あらゆる物は二日付けだし薄い fact13: もしも「「人間っぽくないか滞り易いかもしくは両方だ」ということは成り立つということはない」ものがあるならばあの左右差は移り始めない fact14: この小学生以上は人間っぽい fact15: 仮にこの小学生以上が人間っぽくないならその通所授産施設制度は悪しくない fact16: 「「人間っぽいかもしくは滞り易いかあるいは両方である」ということは偽な」ものはある ; $hypothesis$ = その通所授産施設制度はメンツでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この小学生以上は人間っぽくないかまたはそれは滞り易いかあるいは両方である」ということは誤りである; assump1 -> int1: 「「人間っぽくないかもしくは滞り易いかどちらもだ」ということは間違いな」ものはある; int1 & fact13 -> int2: この左右差は移り始めない; fact11 & fact9 -> int3: この左右差は移り始める; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この小学生以上は人間っぽいということはないか滞り易いかまたはどちらもだ; int5 & fact5 -> int6: その通所授産施設制度は悪しくない; fact12 -> int7: その通所授産施設制度が二日付けだしその上それは薄い; int7 -> int8: その通所授産施設制度は二日付けだ; int6 & int8 -> int9: その通所授産施設制度は悪しくないけど二日付けである; int9 & fact8 -> hypothesis; __PROVED__
事実1: その砂浜は移り始める
事実2: もしもなんらかのものが移り始めるとするとそれはメンツである
事実3: 「この小学生以上は人間っぽくないかまたは悪しいか両方である」ということは真実でない
事実4: この小学生以上は人間っぽいかまたは滞り易い
事実5: もしもこの小学生以上が人間っぽくないかもしくはそれが滞り易いか両方だとすればその通所授産施設制度は悪しいということはない
事実6: 「人間っぽくないか滞り易いかもしくは両方ともである」物はある
事実7: あるものは人間っぽい
事実8: もし仮にその通所授産施設制度は悪しくないけど二日付けだとすればメンツであるということはない
事実9: 「その砂浜は移り始めないかもしくは一枠であるか両方ともだ」ということは成り立つということはない
事実10: 何もかもは奴等で軟らかい
事実11: もしも「その砂浜は移り始めないかそれは一枠だ」ということは成り立たないならばこの左右差は移り始める
事実12: あらゆる物は二日付けだし薄い
事実13: もしも「「人間っぽくないか滞り易いかもしくは両方だ」ということは成り立つということはない」ものがあるならばあの左右差は移り始めない
事実14: この小学生以上は人間っぽい
事実15: 仮にこの小学生以上が人間っぽくないならその通所授産施設制度は悪しくない
事実16: 「「人間っぽいかもしくは滞り易いかあるいは両方である」ということは偽な」ものはある

仮説: その通所授産施設制度はメンツでない
1. 仮定1: 以下のように仮定する。「この小学生以上は人間っぽくないかまたはそれは滞り易いかあるいは両方である」ということは誤りである
2. 仮定1から、推論1: "「「人間っぽくないかもしくは滞り易いかどちらもだ」ということは間違いな」ものはある"が導かれる
3. 推論1と事実13から、推論2: "この左右差は移り始めない"が導かれる
4. 事実11と事実9から、推論3: "この左右差は移り始める"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この小学生以上は人間っぽいということはないか滞り易いかまたはどちらもだ"が導かれる
7. 推論5と事実5から、推論6: "その通所授産施設制度は悪しくない"が導かれる
8. 事実12から、推論7: "その通所授産施設制度が二日付けだしその上それは薄い"が導かれる
9. 推論7から、推論8: "その通所授産施設制度は二日付けだ"が導かれる
10. 推論6と推論8から、推論9: "その通所授産施設制度は悪しくないけど二日付けである"が導かれる
11. 推論9と事実8から、仮説が導かれる

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