あの監督権限は対人社会サービスである一方でそれは付着し易くない
fact1: あの監督権限は対人社会サービスである fact2: もし仮に「何かは対人社会サービスだ一方で付着し易くない」ということは偽であるならばそれは捨て難い fact3: もしも「あの監督権限は支給するということはないかあるいは信心深い」ということは事実と異なれば捨て難くない fact4: それは支給しないかそれは信心深くないかまたは両方ともだという物はない fact5: もしなにがしかの物は対人社会サービスでないとすると捨て難い fact6: もし仮に「ある物は支給しないかもしくは信心深いかまたは両方ともだ」ということは成り立つということはないなら捨て難くない fact7: もし「あの監督権限は支給するかそれは信心深くない」ということは成り立たないとすれば捨て難くない fact8: もし仮にあの監督権限が対人社会サービスだということはないとするとそれは捨て難い fact9: あの監督権限は与し易い fact10: もし仮にある物が薬臭くないとすると懐かしい fact11: もし仮に「何かは支給しないかもしくは信心深くないかもしくは両方ともだ」ということは偽であるとしたら捨て難くない fact12: もし仮にそのならず者達は支給しないならば「あの監督権限は対人社会サービスである一方で付着し易くない」ということは正しくない fact13: もし「なにかは支給するかあるいは信心深くないかまたはどちらもだ」ということは事実と異なるとしたらそれは捨て難いということはない
fact2 -> int1: もし「あの監督権限は対人社会サービスであるけど付着し易くない」ということは間違っているなら「捨て難い」ということは本当だ; void -> assump1: 以下のように仮定する。「あの監督権限は対人社会サービスである一方で付着し易くない」ということは成り立つということはない; int1 & assump1 -> int2: あの監督権限は捨て難い; fact11 -> int3: 「あの監督権限は支給しないかもしくはそれは信心深くない」ということは誤りだとするとそれは捨て難くない; fact4 -> int4: 「あの監督権限は支給しないかまたは信心深くないか両方ともだ」ということは成り立たない; int3 & int4 -> int5: あの監督権限は捨て難くない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「あの監督権限は対人社会サービスだ一方で付着し易くない」ということは成り立たない
$facts$ = fact1: あの監督権限は対人社会サービスである fact2: もし仮に「何かは対人社会サービスだ一方で付着し易くない」ということは偽であるならばそれは捨て難い fact3: もしも「あの監督権限は支給するということはないかあるいは信心深い」ということは事実と異なれば捨て難くない fact4: それは支給しないかそれは信心深くないかまたは両方ともだという物はない fact5: もしなにがしかの物は対人社会サービスでないとすると捨て難い fact6: もし仮に「ある物は支給しないかもしくは信心深いかまたは両方ともだ」ということは成り立つということはないなら捨て難くない fact7: もし「あの監督権限は支給するかそれは信心深くない」ということは成り立たないとすれば捨て難くない fact8: もし仮にあの監督権限が対人社会サービスだということはないとするとそれは捨て難い fact9: あの監督権限は与し易い fact10: もし仮にある物が薬臭くないとすると懐かしい fact11: もし仮に「何かは支給しないかもしくは信心深くないかもしくは両方ともだ」ということは偽であるとしたら捨て難くない fact12: もし仮にそのならず者達は支給しないならば「あの監督権限は対人社会サービスである一方で付着し易くない」ということは正しくない fact13: もし「なにかは支給するかあるいは信心深くないかまたはどちらもだ」ということは事実と異なるとしたらそれは捨て難いということはない ; $hypothesis$ = あの監督権限は対人社会サービスである一方でそれは付着し易くない ; $proof$ = 
fact2 -> int1: もし「あの監督権限は対人社会サービスであるけど付着し易くない」ということは間違っているなら「捨て難い」ということは本当だ; void -> assump1: 以下のように仮定する。「あの監督権限は対人社会サービスである一方で付着し易くない」ということは成り立つということはない; int1 & assump1 -> int2: あの監督権限は捨て難い; fact11 -> int3: 「あの監督権限は支給しないかもしくはそれは信心深くない」ということは誤りだとするとそれは捨て難くない; fact4 -> int4: 「あの監督権限は支給しないかまたは信心深くないか両方ともだ」ということは成り立たない; int3 & int4 -> int5: あの監督権限は捨て難くない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: あの監督権限は対人社会サービスである
事実2: もし仮に「何かは対人社会サービスだ一方で付着し易くない」ということは偽であるならばそれは捨て難い
事実3: もしも「あの監督権限は支給するということはないかあるいは信心深い」ということは事実と異なれば捨て難くない
事実4: それは支給しないかそれは信心深くないかまたは両方ともだという物はない
事実5: もしなにがしかの物は対人社会サービスでないとすると捨て難い
事実6: もし仮に「ある物は支給しないかもしくは信心深いかまたは両方ともだ」ということは成り立つということはないなら捨て難くない
事実7: もし「あの監督権限は支給するかそれは信心深くない」ということは成り立たないとすれば捨て難くない
事実8: もし仮にあの監督権限が対人社会サービスだということはないとするとそれは捨て難い
事実9: あの監督権限は与し易い
事実10: もし仮にある物が薬臭くないとすると懐かしい
事実11: もし仮に「何かは支給しないかもしくは信心深くないかもしくは両方ともだ」ということは偽であるとしたら捨て難くない
事実12: もし仮にそのならず者達は支給しないならば「あの監督権限は対人社会サービスである一方で付着し易くない」ということは正しくない
事実13: もし「なにかは支給するかあるいは信心深くないかまたはどちらもだ」ということは事実と異なるとしたらそれは捨て難いということはない

仮説: あの監督権限は対人社会サービスである一方でそれは付着し易くない
1. 事実2から、推論1: "もし「あの監督権限は対人社会サービスであるけど付着し易くない」ということは間違っているなら「捨て難い」ということは本当だ"が導かれる
2. 仮定1: 以下のように仮定する。「あの監督権限は対人社会サービスである一方で付着し易くない」ということは成り立つということはない
3. 推論1と仮定1から、推論2: "あの監督権限は捨て難い"が導かれる
4. 事実11から、推論3: "「あの監督権限は支給しないかもしくはそれは信心深くない」ということは誤りだとするとそれは捨て難くない"が導かれる
5. 事実4から、推論4: "「あの監督権限は支給しないかまたは信心深くないか両方ともだ」ということは成り立たない"が導かれる
6. 推論3と推論4から、推論5: "あの監督権限は捨て難くない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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