その各種施策は防声具であるがしかし入党しない
fact1: その各種施策は固くない fact2: もしもあるものが見当たるけど滑り難いということはないとすればそれは防声具である fact3: もし「「あの車中は幼いけれど入党しない」ということは誤りだ」ということは成り立つなら「その各種施策は入党しない」ということは真実である fact4: もしもなんらかのものが解消出来るとすれば幼くないかもしくは固い fact5: 「幼くない」ものはある fact6: もしもなにかは固いとしたら「それは防声具だけれど入党しない」ということは事実と異なる fact7: 「定め給わない」ものはある fact8: 何らかの物は幼いということはないか固いかあるいは両方ならば固い fact9: もしもその各種施策が固くないならばそれは見当たるしさらにそれは滑り難くない fact10: もしも「幼くない」ものはあるとしたら「あの車中は幼い一方で入党しない」ということは正しくない fact11: もしも「あの車中は入党する」ということは成り立てばその各種施策は入党しない fact12: 人間臭いものは解消出来る
fact9 & fact1 -> int1: その各種施策は見当たる一方で滑り難くない; fact2 -> int2: 仮にその各種施策は見当たるがしかし滑り難くないなら防声具である; int1 & int2 -> int3: 「その各種施策は防声具である」ということは確かである; fact10 & fact5 -> int4: 「あの車中は幼いけど入党しない」ということは成り立たない; fact3 & int4 -> int5: その各種施策は入党しない; int3 & int5 -> hypothesis;
「その各種施策は防声具だ一方で入党しない」ということは成り立たない
fact15 -> int6: 仮にその各種施策は固いとすれば「それが防声具だし入党するということはない」ということは間違いである; fact14 -> int7: もし仮にその各種施策が幼くないかあるいは固いかまたは両方ともだとすると固い; fact13 -> int8: 仮にその各種施策が解消出来るとすると幼くないかあるいはそれは固いかもしくは両方ともだ; fact17 -> int9: 仮にその各種施策が人間臭いならそれは解消出来る;
$facts$ = fact1: その各種施策は固くない fact2: もしもあるものが見当たるけど滑り難いということはないとすればそれは防声具である fact3: もし「「あの車中は幼いけれど入党しない」ということは誤りだ」ということは成り立つなら「その各種施策は入党しない」ということは真実である fact4: もしもなんらかのものが解消出来るとすれば幼くないかもしくは固い fact5: 「幼くない」ものはある fact6: もしもなにかは固いとしたら「それは防声具だけれど入党しない」ということは事実と異なる fact7: 「定め給わない」ものはある fact8: 何らかの物は幼いということはないか固いかあるいは両方ならば固い fact9: もしもその各種施策が固くないならばそれは見当たるしさらにそれは滑り難くない fact10: もしも「幼くない」ものはあるとしたら「あの車中は幼い一方で入党しない」ということは正しくない fact11: もしも「あの車中は入党する」ということは成り立てばその各種施策は入党しない fact12: 人間臭いものは解消出来る ; $hypothesis$ = その各種施策は防声具であるがしかし入党しない ; $proof$ = 
fact9 & fact1 -> int1: その各種施策は見当たる一方で滑り難くない; fact2 -> int2: 仮にその各種施策は見当たるがしかし滑り難くないなら防声具である; int1 & int2 -> int3: 「その各種施策は防声具である」ということは確かである; fact10 & fact5 -> int4: 「あの車中は幼いけど入党しない」ということは成り立たない; fact3 & int4 -> int5: その各種施策は入党しない; int3 & int5 -> hypothesis; __PROVED__
事実1: その各種施策は固くない
事実2: もしもあるものが見当たるけど滑り難いということはないとすればそれは防声具である
事実3: もし「「あの車中は幼いけれど入党しない」ということは誤りだ」ということは成り立つなら「その各種施策は入党しない」ということは真実である
事実4: もしもなんらかのものが解消出来るとすれば幼くないかもしくは固い
事実5: 「幼くない」ものはある
事実6: もしもなにかは固いとしたら「それは防声具だけれど入党しない」ということは事実と異なる
事実7: 「定め給わない」ものはある
事実8: 何らかの物は幼いということはないか固いかあるいは両方ならば固い
事実9: もしもその各種施策が固くないならばそれは見当たるしさらにそれは滑り難くない
事実10: もしも「幼くない」ものはあるとしたら「あの車中は幼い一方で入党しない」ということは正しくない
事実11: もしも「あの車中は入党する」ということは成り立てばその各種施策は入党しない
事実12: 人間臭いものは解消出来る

仮説: その各種施策は防声具であるがしかし入党しない
1. 事実9と事実1から、推論1: "その各種施策は見当たる一方で滑り難くない"が導かれる
2. 事実2から、推論2: "仮にその各種施策は見当たるがしかし滑り難くないなら防声具である"が導かれる
3. 推論1と推論2から、推論3: "「その各種施策は防声具である」ということは確かである"が導かれる
4. 事実10と事実5から、推論4: "「あの車中は幼いけど入党しない」ということは成り立たない"が導かれる
5. 事実3と推論4から、推論5: "その各種施策は入党しない"が導かれる
6. 推論3と推論5から、仮説が導かれる

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