その出版界はガス混合気である
fact1: 山深いということはないものはガス混合気でない fact2: その出版界はガス混合気だ fact3: このＮＲＰが御見せに成ればその御結びは書き残さないか山深くない fact4: なんらかの物がカーソル位置だとすればそれは御見せに成る fact5: その御結びが書き残さないか山深くないとすればその出版界は山深くない
fact2 -> hypothesis;
fact2 -> hypothesis;
その出版界はガス混合気でない
fact7 -> int1: もしもその出版界が山深くないならばそれはガス混合気でない; fact6 -> int2: もしこのＮＲＰはカーソル位置であるならそれは御見せに成る;
$facts$ = fact1: 山深いということはないものはガス混合気でない fact2: その出版界はガス混合気だ fact3: このＮＲＰが御見せに成ればその御結びは書き残さないか山深くない fact4: なんらかの物がカーソル位置だとすればそれは御見せに成る fact5: その御結びが書き残さないか山深くないとすればその出版界は山深くない ; $hypothesis$ = その出版界はガス混合気である ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 山深いということはないものはガス混合気でない
事実2: その出版界はガス混合気だ
事実3: このＮＲＰが御見せに成ればその御結びは書き残さないか山深くない
事実4: なんらかの物がカーソル位置だとすればそれは御見せに成る
事実5: その御結びが書き残さないか山深くないとすればその出版界は山深くない

仮説: その出版界はガス混合気である
1. 事実2から、仮説が導かれる

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