このスクール・カウンセラーは資源配分機能である
fact1: 「とある物は逆撫でする」ということは本当なら冷蔵しない fact2: もし「「島船でなくて更に書き溜めない」ということは嘘な」物があるとするとこのスクール・カウンセラーは観客動員だ fact3: もしその申し込み金額は観客動員でないとすれば「このスクール・カウンセラーは書き溜めないしかつ顕在化し易くない」ということは嘘だ fact4: もしなんらかのものが顕在化し易いかあるいはそれは逆撫でするかあるいは両方ともであるならばそれは冷蔵しない fact5: あの地元企業は冷蔵しないとしたら「その申し込み金額は島船でなくて書き溜めるということはない」ということは成り立たない fact6: その申し込み金額が逆撫でするしその上それが冷蔵すればあの地元企業は逆撫でしない fact7: もしあの地元企業は冷蔵しないとしたら「その申し込み金額は島船でないけど書き溜める」ということは誤っている fact8: もし「「書き溜めない」ということは間違いな」ものがあればこのスクール・カウンセラーは観客動員だ fact9: 「島船でないし書き溜めない」物はある fact10: 「このスクール・カウンセラーは逆撫でする」ということは成り立つ fact11: 「「島船だけど書き溜めない」ということは嘘な」ものはある fact12: もし仮になにがしかの物は観客動員であるとすると資源配分機能だ fact13: もしもこのスクール・カウンセラーは書き溜めるということはないとすれば「その申し込み金額は島船でないしその上観客動員でない」ということは誤っている fact14: 仮に「このスクール・カウンセラーは島船だ」ということは成り立つとしたらそれは資源配分機能である fact15: もしもあの地元企業が逆撫ですれば冷蔵するということはない fact16: 「その申し込み金額は島船でないけれど書き溜める」ということは誤りである fact17: 「「島船でないけど書き溜める」ということは成り立たない」物はある fact18: なんらかの物は反映され易いかもしくは疲れ切るとしたら任意団体でない fact19: 「「あの就職後は島船であるか観客動員でない」ということは本当でない」ということは正しい fact20: 「「島船であるかあるいは観客動員でないかもしくはどちらもだ」ということは誤りな」物があるとしたらその申し込み金額は書き溜めない fact21: あの地元企業は顕在化し易い
fact21 -> int1: あの地元企業は顕在化し易いかあるいはそれは逆撫でするかまたはどちらもだ; fact4 -> int2: もしあの地元企業は顕在化し易いか逆撫ですれば冷蔵しない; int1 & int2 -> int3: あの地元企業は冷蔵しない; int3 & fact5 -> int4: 「その申し込み金額は島船でなくて書き溜めるということはない」ということは間違いだ; int4 -> int5: 「「島船でないししかも書き溜めない」ということは事実と異なる」ものはある; int5 & fact2 -> int6: このスクール・カウンセラーは観客動員だ; fact12 -> int7: 「仮にこのスクール・カウンセラーが観客動員だとするとこのスクール・カウンセラーは資源配分機能だ」ということは嘘でない; int6 & int7 -> hypothesis;
このスクール・カウンセラーは資源配分機能でない
fact23 -> int8: 「「島船であるかもしくは観客動員でないかまたはどちらもである」ということは成り立たない」物はある; int8 & fact22 -> int9: その申し込み金額は書き溜めるということはない;
$facts$ = fact1: 「とある物は逆撫でする」ということは本当なら冷蔵しない fact2: もし「「島船でなくて更に書き溜めない」ということは嘘な」物があるとするとこのスクール・カウンセラーは観客動員だ fact3: もしその申し込み金額は観客動員でないとすれば「このスクール・カウンセラーは書き溜めないしかつ顕在化し易くない」ということは嘘だ fact4: もしなんらかのものが顕在化し易いかあるいはそれは逆撫でするかあるいは両方ともであるならばそれは冷蔵しない fact5: あの地元企業は冷蔵しないとしたら「その申し込み金額は島船でなくて書き溜めるということはない」ということは成り立たない fact6: その申し込み金額が逆撫でするしその上それが冷蔵すればあの地元企業は逆撫でしない fact7: もしあの地元企業は冷蔵しないとしたら「その申し込み金額は島船でないけど書き溜める」ということは誤っている fact8: もし「「書き溜めない」ということは間違いな」ものがあればこのスクール・カウンセラーは観客動員だ fact9: 「島船でないし書き溜めない」物はある fact10: 「このスクール・カウンセラーは逆撫でする」ということは成り立つ fact11: 「「島船だけど書き溜めない」ということは嘘な」ものはある fact12: もし仮になにがしかの物は観客動員であるとすると資源配分機能だ fact13: もしもこのスクール・カウンセラーは書き溜めるということはないとすれば「その申し込み金額は島船でないしその上観客動員でない」ということは誤っている fact14: 仮に「このスクール・カウンセラーは島船だ」ということは成り立つとしたらそれは資源配分機能である fact15: もしもあの地元企業が逆撫ですれば冷蔵するということはない fact16: 「その申し込み金額は島船でないけれど書き溜める」ということは誤りである fact17: 「「島船でないけど書き溜める」ということは成り立たない」物はある fact18: なんらかの物は反映され易いかもしくは疲れ切るとしたら任意団体でない fact19: 「「あの就職後は島船であるか観客動員でない」ということは本当でない」ということは正しい fact20: 「「島船であるかあるいは観客動員でないかもしくはどちらもだ」ということは誤りな」物があるとしたらその申し込み金額は書き溜めない fact21: あの地元企業は顕在化し易い ; $hypothesis$ = このスクール・カウンセラーは資源配分機能である ; $proof$ = 
fact21 -> int1: あの地元企業は顕在化し易いかあるいはそれは逆撫でするかまたはどちらもだ; fact4 -> int2: もしあの地元企業は顕在化し易いか逆撫ですれば冷蔵しない; int1 & int2 -> int3: あの地元企業は冷蔵しない; int3 & fact5 -> int4: 「その申し込み金額は島船でなくて書き溜めるということはない」ということは間違いだ; int4 -> int5: 「「島船でないししかも書き溜めない」ということは事実と異なる」ものはある; int5 & fact2 -> int6: このスクール・カウンセラーは観客動員だ; fact12 -> 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: あの地元企業は顕在化し易い

仮説: このスクール・カウンセラーは資源配分機能である
1. 事実21から、推論1: "あの地元企業は顕在化し易いかあるいはそれは逆撫でするかまたはどちらもだ"が導かれる
2. 事実4から、推論2: "もしあの地元企業は顕在化し易いか逆撫ですれば冷蔵しない"が導かれる
3. 推論1と推論2から、推論3: "あの地元企業は冷蔵しない"が導かれる
4. 推論3と事実5から、推論4: "「その申し込み金額は島船でなくて書き溜めるということはない」ということは間違いだ"が導かれる
5. 推論4から、推論5: "「「島船でないししかも書き溜めない」ということは事実と異なる」ものはある"が導かれる
6. 推論5と事実2から、推論6: "このスクール・カウンセラーは観客動員だ"が導かれる
7. 事実12から、推論7: "「仮にこのスクール・カウンセラーが観客動員だとするとこのスクール・カウンセラーは資源配分機能だ」ということは嘘でない"が導かれる
8. 推論6と推論7から、仮説が導かれる

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