その残存価額は勿体無くない
fact1: あの各店舗は回転し始めない fact2: この血行動態は悩ましくない fact3: もし「あの育児能力は回転し始めない」ということは正しいとしたら「ひん剥くしさらに一つピンだ」ということは誤っている fact4: もし不足し易くないものが例うということはないならそれは生温かいということはない fact5: もしあの育児能力が一つピンでないしかつ生温かいということはないとするとその残存価額は勿体無いということはない fact6: もし仮にこの血行動態が悩ましくないならあの育児能力は不足し易くないしかつ例うない fact7: もしも「何らかの物はひん剥くしさらに一つピンである」ということは成り立たないならばそれは一つピンでない fact8: あの育児能力は回転し始めない fact9: 仮になにがしかの物が悩ましくないとすれば耐性コロニーだということはなくて例うということはない
fact6 & fact2 -> int1: あの育児能力は不足し易くないしそれは例うということはない; fact4 -> int2: もしもあの育児能力は不足し易くないしおまけに例うないならばそれは生温かくない; int1 & int2 -> int3: あの育児能力は生温かくない; fact7 -> int4: もし「「あの育児能力はひん剥くし更にそれは一つピンだ」ということは正しい」ということは成り立たないならばそれは一つピンでない; fact8 & fact3 -> int5: 「あの育児能力はひん剥くししかも一つピンだ」ということは誤りである; int4 & int5 -> int6: あの育児能力は一つピンでない; int3 & int6 -> int7: あの育児能力は一つピンでないしおまけに生温かいということはない; int7 & fact5 -> hypothesis;
この熱蛍光線量計は耐性コロニーでなくておまけに例うない
fact10 -> int8: もし仮にこの熱蛍光線量計が悩ましくないとすると耐性コロニーであるということはなくてそれに例うない;
$facts$ = fact1: あの各店舗は回転し始めない fact2: この血行動態は悩ましくない fact3: もし「あの育児能力は回転し始めない」ということは正しいとしたら「ひん剥くしさらに一つピンだ」ということは誤っている fact4: もし不足し易くないものが例うということはないならそれは生温かいということはない fact5: もしあの育児能力が一つピンでないしかつ生温かいということはないとするとその残存価額は勿体無いということはない fact6: もし仮にこの血行動態が悩ましくないならあの育児能力は不足し易くないしかつ例うない fact7: もしも「何らかの物はひん剥くしさらに一つピンである」ということは成り立たないならばそれは一つピンでない fact8: あの育児能力は回転し始めない fact9: 仮になにがしかの物が悩ましくないとすれば耐性コロニーだということはなくて例うということはない ; $hypothesis$ = その残存価額は勿体無くない ; $proof$ = 
fact6 & fact2 -> int1: あの育児能力は不足し易くないしそれは例うということはない; fact4 -> int2: もしもあの育児能力は不足し易くないしおまけに例うないならばそれは生温かくない; int1 & int2 -> int3: あの育児能力は生温かくない; fact7 -> int4: もし「「あの育児能力はひん剥くし更にそれは一つピンだ」ということは正しい」ということは成り立たないならばそれは一つピンでない; fact8 & fact3 -> int5: 「あの育児能力はひん剥くししかも一つピンだ」ということは誤りである; int4 & int5 -> int6: あの育児能力は一つピンでない; int3 & int6 -> int7: あの育児能力は一つピンでないしおまけに生温かいということはない; int7 & fact5 -> hypothesis; __PROVED__
事実1: あの各店舗は回転し始めない
事実2: この血行動態は悩ましくない
事実3: もし「あの育児能力は回転し始めない」ということは正しいとしたら「ひん剥くしさらに一つピンだ」ということは誤っている
事実4: もし不足し易くないものが例うということはないならそれは生温かいということはない
事実5: もしあの育児能力が一つピンでないしかつ生温かいということはないとするとその残存価額は勿体無いということはない
事実6: もし仮にこの血行動態が悩ましくないならあの育児能力は不足し易くないしかつ例うない
事実7: もしも「何らかの物はひん剥くしさらに一つピンである」ということは成り立たないならばそれは一つピンでない
事実8: あの育児能力は回転し始めない
事実9: 仮になにがしかの物が悩ましくないとすれば耐性コロニーだということはなくて例うということはない

仮説: その残存価額は勿体無くない
1. 事実6と事実2から、推論1: "あの育児能力は不足し易くないしそれは例うということはない"が導かれる
2. 事実4から、推論2: "もしもあの育児能力は不足し易くないしおまけに例うないならばそれは生温かくない"が導かれる
3. 推論1と推論2から、推論3: "あの育児能力は生温かくない"が導かれる
4. 事実7から、推論4: "もし「「あの育児能力はひん剥くし更にそれは一つピンだ」ということは正しい」ということは成り立たないならばそれは一つピンでない"が導かれる
5. 事実8と事実3から、推論5: "「あの育児能力はひん剥くししかも一つピンだ」ということは誤りである"が導かれる
6. 推論4と推論5から、推論6: "あの育児能力は一つピンでない"が導かれる
7. 推論3と推論6から、推論7: "あの育児能力は一つピンでないしおまけに生温かいということはない"が導かれる
8. 推論7と事実5から、仮説が導かれる

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