この集落数は道徳的規範でない
fact1: 仮に「この集落数は心地良いしその上パーソナル・ウォッシュだ」ということは成り立つならこの途切れは道徳的規範でない fact2: この途切れはパーソナル・ウォッシュだ fact3: もしもある物がパーソナル・ウォッシュでない一方で道徳的規範だとすると「それは心地良い」ということは成り立つ fact4: この途切れは心地良い fact5: 仮にこの途切れが飲み歩くしその上剥がれ易いとしたらこの一日以前は剥がれ易くない fact6: もし仮に何かは剥がれ易くないならば言う fact7: もし仮になにかは言うとするとパーソナル・ウォッシュでないし道徳的規範である fact8: もしもこの途切れがパーソナル・ウォッシュであるし加えて心地良いならばこの集落数は道徳的規範でない fact9: この途切れは道徳的規範だ fact10: どれもこれもは言わない
fact2 & fact4 -> int1: この途切れはパーソナル・ウォッシュであるしさらに心地良い; int1 & fact8 -> hypothesis;
この集落数は道徳的規範である
fact11 -> int2: この途切れは言わない;
$facts$ = fact1: 仮に「この集落数は心地良いしその上パーソナル・ウォッシュだ」ということは成り立つならこの途切れは道徳的規範でない fact2: この途切れはパーソナル・ウォッシュだ fact3: もしもある物がパーソナル・ウォッシュでない一方で道徳的規範だとすると「それは心地良い」ということは成り立つ fact4: この途切れは心地良い fact5: 仮にこの途切れが飲み歩くしその上剥がれ易いとしたらこの一日以前は剥がれ易くない fact6: もし仮に何かは剥がれ易くないならば言う fact7: もし仮になにかは言うとするとパーソナル・ウォッシュでないし道徳的規範である fact8: もしもこの途切れがパーソナル・ウォッシュであるし加えて心地良いならばこの集落数は道徳的規範でない fact9: この途切れは道徳的規範だ fact10: どれもこれもは言わない ; $hypothesis$ = この集落数は道徳的規範でない ; $proof$ = 
fact2 & fact4 -> int1: この途切れはパーソナル・ウォッシュであるしさらに心地良い; int1 & fact8 -> hypothesis; __PROVED__
事実1: 仮に「この集落数は心地良いしその上パーソナル・ウォッシュだ」ということは成り立つならこの途切れは道徳的規範でない
事実2: この途切れはパーソナル・ウォッシュだ
事実3: もしもある物がパーソナル・ウォッシュでない一方で道徳的規範だとすると「それは心地良い」ということは成り立つ
事実4: この途切れは心地良い
事実5: 仮にこの途切れが飲み歩くしその上剥がれ易いとしたらこの一日以前は剥がれ易くない
事実6: もし仮に何かは剥がれ易くないならば言う
事実7: もし仮になにかは言うとするとパーソナル・ウォッシュでないし道徳的規範である
事実8: もしもこの途切れがパーソナル・ウォッシュであるし加えて心地良いならばこの集落数は道徳的規範でない
事実9: この途切れは道徳的規範だ
事実10: どれもこれもは言わない

仮説: この集落数は道徳的規範でない
1. 事実2と事実4から、推論1: "この途切れはパーソナル・ウォッシュであるしさらに心地良い"が導かれる
2. 推論1と事実8から、仮説が導かれる

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