もし仮にこのアルダ・ココは旨くない一方で使用機器であるとすると御安い
fact1: このアルダ・ココは初々しいということはない一方で珍しがれば組み合わす fact2: 旨いものが使用機器だとすれば御安い fact3: このアルダ・ココは旨くて使用機器であるならば「それは御安い」ということは正しい fact4: もしも旨いということはない物が使用機器だとしたらそれは御安い fact5: もしこのアルダ・ココは降伏すらないがしかし使用機器だとしたらそれは本当らしい fact6: もしこの見目は彼女らしくないけど追加徴求するとすればそれは御宜しい fact7: 仮にこのアルダ・ココは御強くないが御優しいとすれば「使用機器だ」ということは成り立つ
fact4 -> hypothesis;
fact4 -> hypothesis;
$facts$ = fact1: このアルダ・ココは初々しいということはない一方で珍しがれば組み合わす fact2: 旨いものが使用機器だとすれば御安い fact3: このアルダ・ココは旨くて使用機器であるならば「それは御安い」ということは正しい fact4: もしも旨いということはない物が使用機器だとしたらそれは御安い fact5: もしこのアルダ・ココは降伏すらないがしかし使用機器だとしたらそれは本当らしい fact6: もしこの見目は彼女らしくないけど追加徴求するとすればそれは御宜しい fact7: 仮にこのアルダ・ココは御強くないが御優しいとすれば「使用機器だ」ということは成り立つ ; $hypothesis$ = もし仮にこのアルダ・ココは旨くない一方で使用機器であるとすると御安い ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: このアルダ・ココは初々しいということはない一方で珍しがれば組み合わす
事実2: 旨いものが使用機器だとすれば御安い
事実3: このアルダ・ココは旨くて使用機器であるならば「それは御安い」ということは正しい
事実4: もしも旨いということはない物が使用機器だとしたらそれは御安い
事実5: もしこのアルダ・ココは降伏すらないがしかし使用機器だとしたらそれは本当らしい
事実6: もしこの見目は彼女らしくないけど追加徴求するとすればそれは御宜しい
事実7: 仮にこのアルダ・ココは御強くないが御優しいとすれば「使用機器だ」ということは成り立つ

仮説: もし仮にこのアルダ・ココは旨くない一方で使用機器であるとすると御安い
1. 事実4から、仮説が導かれる

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