そのＲＯＣはポイント間でない
fact1: もしそのアトリエが構成・文であるとすればそのＲＯＣはティーンエイジャー達でない fact2: 仮にそのアトリエがティーンエイジャー達であるとすればそのＲＯＣは構成・文でなくてポイント間でない fact3: 全ては来店客であるしそれは本児でない fact4: そのＲＯＣは構成・文でない fact5: そのＲＯＣは研究手法でない fact6: もし「そのアトリエはティーンエイジャー達だ」ということは誤りでないならばあのＲＯＣは構成・文でない fact7: そのアトリエはティーンエイジャー達である
fact2 & fact7 -> int1: そのＲＯＣは構成・文であるということはなくてかつポイント間でない; int1 -> hypothesis;
そのＲＯＣはポイント間である
fact8 -> int2: この撮影意図は来店客であるけど本児でない; int2 -> int3: 「この撮影意図は来店客である」ということは成り立つ; int3 -> int4: すべては来店客である; int4 -> int5: そのアトリエは来店客だ;
$facts$ = fact1: もしそのアトリエが構成・文であるとすればそのＲＯＣはティーンエイジャー達でない fact2: 仮にそのアトリエがティーンエイジャー達であるとすればそのＲＯＣは構成・文でなくてポイント間でない fact3: 全ては来店客であるしそれは本児でない fact4: そのＲＯＣは構成・文でない fact5: そのＲＯＣは研究手法でない fact6: もし「そのアトリエはティーンエイジャー達だ」ということは誤りでないならばあのＲＯＣは構成・文でない fact7: そのアトリエはティーンエイジャー達である ; $hypothesis$ = そのＲＯＣはポイント間でない ; $proof$ = 
fact2 & fact7 -> int1: そのＲＯＣは構成・文であるということはなくてかつポイント間でない; int1 -> hypothesis; __PROVED__
事実1: もしそのアトリエが構成・文であるとすればそのＲＯＣはティーンエイジャー達でない
事実2: 仮にそのアトリエがティーンエイジャー達であるとすればそのＲＯＣは構成・文でなくてポイント間でない
事実3: 全ては来店客であるしそれは本児でない
事実4: そのＲＯＣは構成・文でない
事実5: そのＲＯＣは研究手法でない
事実6: もし「そのアトリエはティーンエイジャー達だ」ということは誤りでないならばあのＲＯＣは構成・文でない
事実7: そのアトリエはティーンエイジャー達である

仮説: そのＲＯＣはポイント間でない
1. 事実2と事実7から、推論1: "そのＲＯＣは構成・文であるということはなくてかつポイント間でない"が導かれる
2. 推論1から、仮説が導かれる

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