「その基板上は人恋しくておまけに物質化する」ということは偽である
fact1: もし仮にこのトップアスリートは初々しいなら「この骨端は初々しい」ということは本当である fact2: あの十月初旬は凹まない fact3: もし仮に「この在地社会は外交課題でおまけに毛深い」ということは成り立たないならこのトップアスリートは外交課題でない fact4: 「もし仮にこの骨端が比する一方で重くないならばあの基板上は拒める」ということは成り立つ fact5: この前期は凹まない fact6: 初々しい物は比する一方で重くない fact7: この在地社会は比する fact8: もし「この前期は凹むということはないけれどそれは拒める」ということは成り立たないとするとその基板上は人恋しい fact9: もしこのワンポイント・アドバイスは強制送還しないとしたら「この在地社会は外交課題であるし毛深い」ということは成り立たない fact10: 仮にこの前期は凹まないとすると「その基板上は人恋しくて物質化する」ということは誤っている fact11: 仮にこの前期が人恋しくてそれに凹むとすればこの設定対象は人恋しくない fact12: もしとあるものが外交課題でないとすればそれは初々しいしその上負け続ける
fact10 & fact5 -> hypothesis;
fact10 & fact5 -> hypothesis;
その基板上は人恋しくてかつ物質化する
fact13 -> int1: 「比する」物はある;
$facts$ = fact1: もし仮にこのトップアスリートは初々しいなら「この骨端は初々しい」ということは本当である fact2: あの十月初旬は凹まない fact3: もし仮に「この在地社会は外交課題でおまけに毛深い」ということは成り立たないならこのトップアスリートは外交課題でない fact4: 「もし仮にこの骨端が比する一方で重くないならばあの基板上は拒める」ということは成り立つ fact5: この前期は凹まない fact6: 初々しい物は比する一方で重くない fact7: この在地社会は比する fact8: もし「この前期は凹むということはないけれどそれは拒める」ということは成り立たないとするとその基板上は人恋しい fact9: もしこのワンポイント・アドバイスは強制送還しないとしたら「この在地社会は外交課題であるし毛深い」ということは成り立たない fact10: 仮にこの前期は凹まないとすると「その基板上は人恋しくて物質化する」ということは誤っている fact11: 仮にこの前期が人恋しくてそれに凹むとすればこの設定対象は人恋しくない fact12: もしとあるものが外交課題でないとすればそれは初々しいしその上負け続ける ; $hypothesis$ = 「その基板上は人恋しくておまけに物質化する」ということは偽である ; $proof$ = 
fact10 & fact5 -> hypothesis; __PROVED__
事実1: もし仮にこのトップアスリートは初々しいなら「この骨端は初々しい」ということは本当である
事実2: あの十月初旬は凹まない
事実3: もし仮に「この在地社会は外交課題でおまけに毛深い」ということは成り立たないならこのトップアスリートは外交課題でない
事実4: 「もし仮にこの骨端が比する一方で重くないならばあの基板上は拒める」ということは成り立つ
事実5: この前期は凹まない
事実6: 初々しい物は比する一方で重くない
事実7: この在地社会は比する
事実8: もし「この前期は凹むということはないけれどそれは拒める」ということは成り立たないとするとその基板上は人恋しい
事実9: もしこのワンポイント・アドバイスは強制送還しないとしたら「この在地社会は外交課題であるし毛深い」ということは成り立たない
事実10: 仮にこの前期は凹まないとすると「その基板上は人恋しくて物質化する」ということは誤っている
事実11: 仮にこの前期が人恋しくてそれに凹むとすればこの設定対象は人恋しくない
事実12: もしとあるものが外交課題でないとすればそれは初々しいしその上負け続ける

仮説: 「その基板上は人恋しくておまけに物質化する」ということは偽である
1. 事実10と事実5から、仮説が導かれる

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