あの防衛産業は屈伸する
fact1: そのクリーム状は招き入れる fact2: そのクリーム状は同等化である fact3: もし同等化が招き入れるとするとあの防衛産業は屈伸する fact4: ある物が配当等でないとすればそれは同等化で招き入れる fact5: もし仮に何らかの物は同等化であるとしたらそれは屈伸する
fact2 & fact1 -> int1: そのクリーム状は同等化であるし招き入れる; int1 -> int2: なにかは同等化であるし加えて招き入れる; int2 & fact3 -> hypothesis;
fact2 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact3 -> hypothesis;
このλ粒子は屈伸する
fact6 -> int3: 「もしこのλ粒子が同等化だとしたらこのλ粒子は屈伸する」ということは成り立つ; fact7 -> int4: このλ粒子が配当等でないならば同等化でかつそれは招き入れる;
$facts$ = fact1: そのクリーム状は招き入れる fact2: そのクリーム状は同等化である fact3: もし同等化が招き入れるとするとあの防衛産業は屈伸する fact4: ある物が配当等でないとすればそれは同等化で招き入れる fact5: もし仮に何らかの物は同等化であるとしたらそれは屈伸する ; $hypothesis$ = あの防衛産業は屈伸する ; $proof$ = 
fact2 & fact1 -> int1: そのクリーム状は同等化であるし招き入れる; int1 -> int2: なにかは同等化であるし加えて招き入れる; int2 & fact3 -> hypothesis; __PROVED__
事実1: そのクリーム状は招き入れる
事実2: そのクリーム状は同等化である
事実3: もし同等化が招き入れるとするとあの防衛産業は屈伸する
事実4: ある物が配当等でないとすればそれは同等化で招き入れる
事実5: もし仮に何らかの物は同等化であるとしたらそれは屈伸する

仮説: あの防衛産業は屈伸する
1. 事実2と事実1から、推論1: "そのクリーム状は同等化であるし招き入れる"が導かれる
2. 推論1から、推論2: "なにかは同等化であるし加えて招き入れる"が導かれる
3. 推論2と事実3から、仮説が導かれる

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