この記録方式は用い得るがしかし左翼運動でない
fact1: もしも「あのシステムキッチンは用い得る」ということは成り立つとするとこの記録方式は用い得るがしかし左翼運動でない fact2: この各領域毎が深しとしたらあのシステムキッチンは用い得る fact3: この各領域毎は深し fact4: あのシステムキッチンは口惜しいがリサイクル出来ない fact5: あのシステムキッチンは左翼運動であるならば「この記録方式は左翼運動である」ということは確かだ fact6: もしこの記録方式は左翼運動であるとすると「「この各領域毎は左翼運動でない」ということは真実である」ということは誤っている fact7: この投資有価証券は深し fact8: 仮にこの各領域毎が用い得るとするとあのシステムキッチンは用い得るがしかしそれは深しということはない fact9: もし仮にあのシステムキッチンが深しとするとこの各領域毎は用い得る
fact2 & fact3 -> int1: あのシステムキッチンは用い得る; int1 & fact1 -> hypothesis;
fact2 & fact3 -> int1: {B}{b}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしも「あのシステムキッチンは用い得る」ということは成り立つとするとこの記録方式は用い得るがしかし左翼運動でない fact2: この各領域毎が深しとしたらあのシステムキッチンは用い得る fact3: この各領域毎は深し fact4: あのシステムキッチンは口惜しいがリサイクル出来ない fact5: あのシステムキッチンは左翼運動であるならば「この記録方式は左翼運動である」ということは確かだ fact6: もしこの記録方式は左翼運動であるとすると「「この各領域毎は左翼運動でない」ということは真実である」ということは誤っている fact7: この投資有価証券は深し fact8: 仮にこの各領域毎が用い得るとするとあのシステムキッチンは用い得るがしかしそれは深しということはない fact9: もし仮にあのシステムキッチンが深しとするとこの各領域毎は用い得る ; $hypothesis$ = この記録方式は用い得るがしかし左翼運動でない ; $proof$ = 
fact2 & fact3 -> int1: あのシステムキッチンは用い得る; int1 & fact1 -> hypothesis; __PROVED__
事実1: もしも「あのシステムキッチンは用い得る」ということは成り立つとするとこの記録方式は用い得るがしかし左翼運動でない
事実2: この各領域毎が深しとしたらあのシステムキッチンは用い得る
事実3: この各領域毎は深し
事実4: あのシステムキッチンは口惜しいがリサイクル出来ない
事実5: あのシステムキッチンは左翼運動であるならば「この記録方式は左翼運動である」ということは確かだ
事実6: もしこの記録方式は左翼運動であるとすると「「この各領域毎は左翼運動でない」ということは真実である」ということは誤っている
事実7: この投資有価証券は深し
事実8: 仮にこの各領域毎が用い得るとするとあのシステムキッチンは用い得るがしかしそれは深しということはない
事実9: もし仮にあのシステムキッチンが深しとするとこの各領域毎は用い得る

仮説: この記録方式は用い得るがしかし左翼運動でない
1. 事実2と事実3から、推論1: "あのシステムキッチンは用い得る"が導かれる
2. 推論1と事実1から、仮説が導かれる

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