「あの型抜きは白し」ということは嘘でない
fact1: あの型抜きが連想し易くないとすればその自我拡大は白しし更にそれは私法体系だ fact2: もしもあの特典が白しないとするとあの型抜きは賢しくてそれは連想し易い fact3: あの特典は水無しでそれは助ける fact4: あの特典は倦む fact5: あの特典は私法体系だ fact6: その自我拡大は賢しいということはない fact7: もし仮にあの特典が白しならばあの型抜きは賢しくない fact8: その自我拡大が私法体系でないとするとあの型抜きは連想し易い fact9: もしも「その自我拡大は私法体系でない」ということは本当ならあの型抜きは白しし更に連想し易い fact10: もしその自我拡大が連想し易くないとすればあの型抜きは私法体系であるしその上白し fact11: あの特典は連想し易いということはない fact12: 「その自我拡大は連想し易い」ということは成り立つ fact13: あの型抜きは賢しい fact14: もし仮にある物が私法体系でないけれど賢しいなら白しない fact15: あの特典は賢しい fact16: あの特典は賢しいとしたら「その自我拡大は私法体系でない」ということは偽でない fact17: 「あの型抜きは連想し易い」ということは誤りでない fact18: もし仮に「その自我拡大は連想し易くない」ということは本当であるとしたらあの特典は私法体系であるしさらに賢しい
fact16 & fact15 -> int1: その自我拡大は私法体系でない; int1 & fact9 -> int2: あの型抜きは白ししその上連想し易い; int2 -> hypothesis;
「あの型抜きは白しない」ということは本当である
fact19 -> int3: 仮にあの型抜きは私法体系でないが賢しいならそれは白しない;
$facts$ = fact1: あの型抜きが連想し易くないとすればその自我拡大は白しし更にそれは私法体系だ fact2: もしもあの特典が白しないとするとあの型抜きは賢しくてそれは連想し易い fact3: あの特典は水無しでそれは助ける fact4: あの特典は倦む fact5: あの特典は私法体系だ fact6: その自我拡大は賢しいということはない fact7: もし仮にあの特典が白しならばあの型抜きは賢しくない fact8: その自我拡大が私法体系でないとするとあの型抜きは連想し易い fact9: もしも「その自我拡大は私法体系でない」ということは本当ならあの型抜きは白しし更に連想し易い fact10: もしその自我拡大が連想し易くないとすればあの型抜きは私法体系であるしその上白し fact11: あの特典は連想し易いということはない fact12: 「その自我拡大は連想し易い」ということは成り立つ fact13: あの型抜きは賢しい fact14: もし仮にある物が私法体系でないけれど賢しいなら白しない fact15: あの特典は賢しい fact16: あの特典は賢しいとしたら「その自我拡大は私法体系でない」ということは偽でない fact17: 「あの型抜きは連想し易い」ということは誤りでない fact18: もし仮に「その自我拡大は連想し易くない」ということは本当であるとしたらあの特典は私法体系であるしさらに賢しい ; $hypothesis$ = 「あの型抜きは白し」ということは嘘でない ; $proof$ = 
fact16 & fact15 -> int1: その自我拡大は私法体系でない; int1 & fact9 -> int2: あの型抜きは白ししその上連想し易い; int2 -> hypothesis; __PROVED__
事実1: あの型抜きが連想し易くないとすればその自我拡大は白しし更にそれは私法体系だ
事実2: もしもあの特典が白しないとするとあの型抜きは賢しくてそれは連想し易い
事実3: あの特典は水無しでそれは助ける
事実4: あの特典は倦む
事実5: あの特典は私法体系だ
事実6: その自我拡大は賢しいということはない
事実7: もし仮にあの特典が白しならばあの型抜きは賢しくない
事実8: その自我拡大が私法体系でないとするとあの型抜きは連想し易い
事実9: もしも「その自我拡大は私法体系でない」ということは本当ならあの型抜きは白しし更に連想し易い
事実10: もしその自我拡大が連想し易くないとすればあの型抜きは私法体系であるしその上白し
事実11: あの特典は連想し易いということはない
事実12: 「その自我拡大は連想し易い」ということは成り立つ
事実13: あの型抜きは賢しい
事実14: もし仮にある物が私法体系でないけれど賢しいなら白しない
事実15: あの特典は賢しい
事実16: あの特典は賢しいとしたら「その自我拡大は私法体系でない」ということは偽でない
事実17: 「あの型抜きは連想し易い」ということは誤りでない
事実18: もし仮に「その自我拡大は連想し易くない」ということは本当であるとしたらあの特典は私法体系であるしさらに賢しい

仮説: 「あの型抜きは白し」ということは嘘でない
1. 事実16と事実15から、推論1: "その自我拡大は私法体系でない"が導かれる
2. 推論1と事実9から、推論2: "あの型抜きは白ししその上連想し易い"が導かれる
3. 推論2から、仮説が導かれる

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