その十五歳以上は心理作用である
fact1: この順応は毒々しかないし噤まない fact2: もし毒々しかないものが噤まないとすればこの六肘は姦しい fact3: 仮にこの六肘が姦しいとしたらその十五歳以上は心理作用だ
fact1 -> int1: 「毒々しかないし加えて噤まない」ものはある; int1 & fact2 -> int2: この六肘は姦しい; int2 & fact3 -> hypothesis;
fact1 -> int1: (Ex): (¬{A}x & ¬{B}x); int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: この順応は毒々しかないし噤まない fact2: もし毒々しかないものが噤まないとすればこの六肘は姦しい fact3: 仮にこの六肘が姦しいとしたらその十五歳以上は心理作用だ ; $hypothesis$ = その十五歳以上は心理作用である ; $proof$ = 
fact1 -> int1: 「毒々しかないし加えて噤まない」ものはある; int1 & fact2 -> int2: この六肘は姦しい; int2 & fact3 -> hypothesis; __PROVED__
事実1: この順応は毒々しかないし噤まない
事実2: もし毒々しかないものが噤まないとすればこの六肘は姦しい
事実3: 仮にこの六肘が姦しいとしたらその十五歳以上は心理作用だ

仮説: その十五歳以上は心理作用である
1. 事実1から、推論1: "「毒々しかないし加えて噤まない」ものはある"が導かれる
2. 推論1と事実2から、推論2: "この六肘は姦しい"が導かれる
3. 推論2と事実3から、仮説が導かれる

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