このウエートトレーニングは良くする
fact1: もし仮に「あの七十二系列は操作する」ということは事実ならばその探索方法は癒せないけど骨子である fact2: あの円鏡はカーテンウォールでないが良くする fact3: あの円鏡はカーテンウォールでない fact4: あの七十二系列は操作する fact5: その探索方法は骨子だ fact6: なんらかのものが肥厚するしカーテンウォールであるとすればあのウエートトレーニングは良くする fact7: もし仮になにかは肥厚するがしかしカーテンウォールでないならばこのウエートトレーニングは良くする fact8: 「ピアスするし操作しない」物はある fact9: 「カーテンウォールでない」物はある fact10: もし仮にあの朗報がピアスしないとするとあの円鏡は肥厚するがカーテンウォールであるということはない fact11: このウエートトレーニングは骨子だ fact12: あの朗報がピアスしないならばあの円鏡はカーテンウォールでない fact13: 「骨子であるけど癒せない」ものはある fact14: もしも「「ある物は操作しなくてそれはピアスしない」ということは事実である」ということは確かでないならばそれは良くしない fact15: 「骨子だしかつ肥厚しない」物はある fact16: 仮に「あの七十二系列は操作する」ということは確かだとしたらその探索方法は骨子である fact17: その税率は操作する fact18: もし仮にその探索方法が癒せないけど骨子だとするとあの朗報はピアスしない
fact1 & fact4 -> int1: その探索方法は癒せないけど骨子である; int1 & fact18 -> int2: あの朗報はピアスしない; int2 & fact10 -> int3: あの円鏡は肥厚するけどカーテンウォールでない; int3 -> int4: とある物は肥厚するがカーテンウォールであるということはない; int4 & fact7 -> hypothesis;
このウエートトレーニングは良くするということはない
fact19 -> int5: もし仮に「このウエートトレーニングは操作しないしそれはピアスしない」ということは嘘であるならば「それは良くしない」ということは成り立つ;
$facts$ = fact1: もし仮に「あの七十二系列は操作する」ということは事実ならばその探索方法は癒せないけど骨子である fact2: あの円鏡はカーテンウォールでないが良くする fact3: あの円鏡はカーテンウォールでない fact4: あの七十二系列は操作する fact5: その探索方法は骨子だ fact6: なんらかのものが肥厚するしカーテンウォールであるとすればあのウエートトレーニングは良くする fact7: もし仮になにかは肥厚するがしかしカーテンウォールでないならばこのウエートトレーニングは良くする fact8: 「ピアスするし操作しない」物はある fact9: 「カーテンウォールでない」物はある fact10: もし仮にあの朗報がピアスしないとするとあの円鏡は肥厚するがカーテンウォールであるということはない fact11: このウエートトレーニングは骨子だ fact12: あの朗報がピアスしないならばあの円鏡はカーテンウォールでない fact13: 「骨子であるけど癒せない」ものはある fact14: もしも「「ある物は操作しなくてそれはピアスしない」ということは事実である」ということは確かでないならばそれは良くしない fact15: 「骨子だしかつ肥厚しない」物はある fact16: 仮に「あの七十二系列は操作する」ということは確かだとしたらその探索方法は骨子である fact17: その税率は操作する fact18: もし仮にその探索方法が癒せないけど骨子だとするとあの朗報はピアスしない ; $hypothesis$ = このウエートトレーニングは良くする ; $proof$ = 
fact1 & fact4 -> int1: その探索方法は癒せないけど骨子である; int1 & fact18 -> int2: あの朗報はピアスしない; int2 & fact10 -> int3: あの円鏡は肥厚するけどカーテンウォールでない; int3 -> int4: とある物は肥厚するがカーテンウォールであるということはない; int4 & fact7 -> hypothesis; __PROVED__
事実1: もし仮に「あの七十二系列は操作する」ということは事実ならばその探索方法は癒せないけど骨子である
事実2: あの円鏡はカーテンウォールでないが良くする
事実3: あの円鏡はカーテンウォールでない
事実4: あの七十二系列は操作する
事実5: その探索方法は骨子だ
事実6: なんらかのものが肥厚するしカーテンウォールであるとすればあのウエートトレーニングは良くする
事実7: もし仮になにかは肥厚するがしかしカーテンウォールでないならばこのウエートトレーニングは良くする
事実8: 「ピアスするし操作しない」物はある
事実9: 「カーテンウォールでない」物はある
事実10: もし仮にあの朗報がピアスしないとするとあの円鏡は肥厚するがカーテンウォールであるということはない
事実11: このウエートトレーニングは骨子だ
事実12: あの朗報がピアスしないならばあの円鏡はカーテンウォールでない
事実13: 「骨子であるけど癒せない」ものはある
事実14: もしも「「ある物は操作しなくてそれはピアスしない」ということは事実である」ということは確かでないならばそれは良くしない
事実15: 「骨子だしかつ肥厚しない」物はある
事実16: 仮に「あの七十二系列は操作する」ということは確かだとしたらその探索方法は骨子である
事実17: その税率は操作する
事実18: もし仮にその探索方法が癒せないけど骨子だとするとあの朗報はピアスしない

仮説: このウエートトレーニングは良くする
1. 事実1と事実4から、推論1: "その探索方法は癒せないけど骨子である"が導かれる
2. 推論1と事実18から、推論2: "あの朗報はピアスしない"が導かれる
3. 推論2と事実10から、推論3: "あの円鏡は肥厚するけどカーテンウォールでない"が導かれる
4. 推論3から、推論4: "とある物は肥厚するがカーテンウォールであるということはない"が導かれる
5. 推論4と事実7から、仮説が導かれる

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