「仮に睦まじくないとすれば脂っぽくないし右揃えだということはない」物はある
fact1: 「もしも睦まじくないとすれば「脂っぽくない」ということは真実な」物はある fact2: 仮にあのＢリンパ球が睦まじいということはないとしたら右揃えでない fact3: 「仮に睦まじくないとしたら右揃えでない」物はある fact4: 「仮に睦まじくないなら脂っぽくないし右揃えである」ものはある fact5: 「「至上命題でないとすれば予算編成方針でないし無くない」ものはある」ということは真実である fact6: 「仮に睦まじくないなら脂っぽいがしかし右揃えでない」ものはある fact7: 仮にあのＢリンパ球が睦まじくないならば脂っぽくないし右揃えでない fact8: 仮にあのＢリンパ球が睦まじくないならそれは脂っぽいがしかし右揃えであるということはない fact9: もし仮にあのＢリンパ球が睦まじいとすると脂っぽくないしおまけに右揃えでない
fact7 -> hypothesis;
$facts$ = fact1: 「もしも睦まじくないとすれば「脂っぽくない」ということは真実な」物はある fact2: 仮にあのＢリンパ球が睦まじいということはないとしたら右揃えでない fact3: 「仮に睦まじくないとしたら右揃えでない」物はある fact4: 「仮に睦まじくないなら脂っぽくないし右揃えである」ものはある fact5: 「「至上命題でないとすれば予算編成方針でないし無くない」ものはある」ということは真実である fact6: 「仮に睦まじくないなら脂っぽいがしかし右揃えでない」ものはある fact7: 仮にあのＢリンパ球が睦まじくないならば脂っぽくないし右揃えでない fact8: 仮にあのＢリンパ球が睦まじくないならそれは脂っぽいがしかし右揃えであるということはない fact9: もし仮にあのＢリンパ球が睦まじいとすると脂っぽくないしおまけに右揃えでない ; $hypothesis$ = 「仮に睦まじくないとすれば脂っぽくないし右揃えだということはない」物はある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: 「もしも睦まじくないとすれば「脂っぽくない」ということは真実な」物はある
事実2: 仮にあのＢリンパ球が睦まじいということはないとしたら右揃えでない
事実3: 「仮に睦まじくないとしたら右揃えでない」物はある
事実4: 「仮に睦まじくないなら脂っぽくないし右揃えである」ものはある
事実5: 「「至上命題でないとすれば予算編成方針でないし無くない」ものはある」ということは真実である
事実6: 「仮に睦まじくないなら脂っぽいがしかし右揃えでない」ものはある
事実7: 仮にあのＢリンパ球が睦まじくないならば脂っぽくないし右揃えでない
事実8: 仮にあのＢリンパ球が睦まじくないならそれは脂っぽいがしかし右揃えであるということはない
事実9: もし仮にあのＢリンパ球が睦まじいとすると脂っぽくないしおまけに右揃えでない

仮説: 「仮に睦まじくないとすれば脂っぽくないし右揃えだということはない」物はある
1. 事実7から、仮説が導かれる

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