その支援対策は改善すらないけど課す
fact1: 仮に何らかの物はだらし無いとすれば「若くないしおまけに入校する」ということは成り立たない fact2: もしその襦袢が照れ臭いということはないとするとその事件単位は一世代であるしさらに執行吏だ fact3: もし「なにかは脳梁でないかあるいは照れ臭くないかあるいは両方だ」ということは成り立たないならばそれは執行吏でない fact4: 「その襦袢は照れ臭くない」ということは確かだ fact5: 執行吏は脳梁である fact6: 仮に「何かは領邦台帳でなくてかわゆいということはない」ということは事実と異なるならそれは通い慣れる fact7: 何かは少なしとすれば「事らしくないしそれに局地である」ということは偽だ fact8: もし仮にその事件単位が通い慣れるならその支援対策は引き払う fact9: 仮になんらかの物が引き払うとするとそれは改善すらないし課す fact10: 仮になにがしかの物は脳梁であるとすると「それは領邦台帳でないしおまけにかわゆくない」ということは成り立たない
fact2 & fact4 -> int1: 「その事件単位は一世代であるし執行吏だ」ということは成り立つ; int1 -> int2: 「その事件単位は執行吏だ」ということは正しい; fact5 -> int3: もしもその事件単位が執行吏だとすれば脳梁である; int2 & int3 -> int4: その事件単位は脳梁である; fact10 -> int5: 仮にその事件単位は脳梁であるとすれば「それは領邦台帳でないしそれにかわゆくない」ということは嘘である; int4 & int5 -> int6: 「その事件単位は領邦台帳でなくてそれにかわゆくない」ということは嘘である; fact6 -> int7: もし「その事件単位は領邦台帳でなくてしかもそれはかわゆくない」ということは成り立たないとしたらそれは通い慣れる; int6 & int7 -> int8: その事件単位は通い慣れる; int8 & fact8 -> int9: その支援対策は引き払う; fact9 -> int10: 「その支援対策は引き払う」ということは本当だとしたら「改善すらないしさらに課す」ということは正しい; int9 & int10 -> hypothesis;
その襦袢は執行吏でない
fact11 -> int11: 仮に「その襦袢は脳梁でないかもしくは照れ臭くない」ということは成り立たないならばそれは執行吏でない;
$facts$ = fact1: 仮に何らかの物はだらし無いとすれば「若くないしおまけに入校する」ということは成り立たない fact2: もしその襦袢が照れ臭いということはないとするとその事件単位は一世代であるしさらに執行吏だ fact3: もし「なにかは脳梁でないかあるいは照れ臭くないかあるいは両方だ」ということは成り立たないならばそれは執行吏でない fact4: 「その襦袢は照れ臭くない」ということは確かだ fact5: 執行吏は脳梁である fact6: 仮に「何かは領邦台帳でなくてかわゆいということはない」ということは事実と異なるならそれは通い慣れる fact7: 何かは少なしとすれば「事らしくないしそれに局地である」ということは偽だ fact8: もし仮にその事件単位が通い慣れるならその支援対策は引き払う fact9: 仮になんらかの物が引き払うとするとそれは改善すらないし課す fact10: 仮になにがしかの物は脳梁であるとすると「それは領邦台帳でないしおまけにかわゆくない」ということは成り立たない ; $hypothesis$ = その支援対策は改善すらないけど課す ; $proof$ = 
fact2 & fact4 -> int1: 「その事件単位は一世代であるし執行吏だ」ということは成り立つ; int1 -> int2: 「その事件単位は執行吏だ」ということは正しい; fact5 -> int3: もしもその事件単位が執行吏だとすれば脳梁である; int2 & int3 -> int4: その事件単位は脳梁である; fact10 -> int5: 仮にその事件単位は脳梁であるとすれば「それは領邦台帳でないしそれにかわゆくない」ということは嘘である; int4 & int5 -> int6: 「その事件単位は領邦台帳でなくてそれにかわゆくない」ということは嘘である; fact6 -> int7: もし「その事件単位は領邦台帳でなくてしかもそれはかわゆくない」ということは成り立たないとしたらそれは通い慣れる; int6 & int7 -> int8: その事件単位は通い慣れる; int8 & fact8 -> int9: その支援対策は引き払う; fact9 -> int10: 「その支援対策は引き払う」ということは本当だとしたら「改善すらないしさらに課す」ということは正しい; int9 & int10 -> hypothesis; __PROVED__
事実1: 仮に何らかの物はだらし無いとすれば「若くないしおまけに入校する」ということは成り立たない
事実2: もしその襦袢が照れ臭いということはないとするとその事件単位は一世代であるしさらに執行吏だ
事実3: もし「なにかは脳梁でないかあるいは照れ臭くないかあるいは両方だ」ということは成り立たないならばそれは執行吏でない
事実4: 「その襦袢は照れ臭くない」ということは確かだ
事実5: 執行吏は脳梁である
事実6: 仮に「何かは領邦台帳でなくてかわゆいということはない」ということは事実と異なるならそれは通い慣れる
事実7: 何かは少なしとすれば「事らしくないしそれに局地である」ということは偽だ
事実8: もし仮にその事件単位が通い慣れるならその支援対策は引き払う
事実9: 仮になんらかの物が引き払うとするとそれは改善すらないし課す
事実10: 仮になにがしかの物は脳梁であるとすると「それは領邦台帳でないしおまけにかわゆくない」ということは成り立たない

仮説: その支援対策は改善すらないけど課す
1. 事実2と事実4から、推論1: "「その事件単位は一世代であるし執行吏だ」ということは成り立つ"が導かれる
2. 推論1から、推論2: "「その事件単位は執行吏だ」ということは正しい"が導かれる
3. 事実5から、推論3: "もしもその事件単位が執行吏だとすれば脳梁である"が導かれる
4. 推論2と推論3から、推論4: "その事件単位は脳梁である"が導かれる
5. 事実10から、推論5: "仮にその事件単位は脳梁であるとすれば「それは領邦台帳でないしそれにかわゆくない」ということは嘘である"が導かれる
6. 推論4と推論5から、推論6: "「その事件単位は領邦台帳でなくてそれにかわゆくない」ということは嘘である"が導かれる
7. 事実6から、推論7: "もし「その事件単位は領邦台帳でなくてしかもそれはかわゆくない」ということは成り立たないとしたらそれは通い慣れる"が導かれる
8. 推論6と推論7から、推論8: "その事件単位は通い慣れる"が導かれる
9. 推論8と事実8から、推論9: "その支援対策は引き払う"が導かれる
10. 事実9から、推論10: "「その支援対策は引き払う」ということは本当だとしたら「改善すらないしさらに課す」ということは正しい"が導かれる
11. 推論9と推論10から、仮説が導かれる

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