「もし仮にＶＡＲで諜報成果であるならば物権的効力でない」物はある
fact1: もしもあのＬＰレコードがＶＡＲだしさらにそれが諜報成果だとすると物権的効力でない fact2: もし仮にあのＬＰレコードが物権的効力だしさらに体得するならそれは二時間後でない fact3: もしもなんらかの物が逼迫だし加えてコンサルタントであるなら「それは撤回等でない」ということは本当だ fact4: 「ＶＡＲで諜報成果だとすると物権的効力である」物はある fact5: もしもあのＬＰレコードがＶＡＲでそれは諜報成果であるならばそれは物権的効力だ
fact1 -> hypothesis;
「もし逼迫だしそれにコンサルタントならば撤回等でない」ものはある
fact6 -> int1: この不服が逼迫であるしおまけにそれはコンサルタントであるとすると撤回等であるということはない; int1 -> hypothesis;
$facts$ = fact1: もしもあのＬＰレコードがＶＡＲだしさらにそれが諜報成果だとすると物権的効力でない fact2: もし仮にあのＬＰレコードが物権的効力だしさらに体得するならそれは二時間後でない fact3: もしもなんらかの物が逼迫だし加えてコンサルタントであるなら「それは撤回等でない」ということは本当だ fact4: 「ＶＡＲで諜報成果だとすると物権的効力である」物はある fact5: もしもあのＬＰレコードがＶＡＲでそれは諜報成果であるならばそれは物権的効力だ ; $hypothesis$ = 「もし仮にＶＡＲで諜報成果であるならば物権的効力でない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしもあのＬＰレコードがＶＡＲだしさらにそれが諜報成果だとすると物権的効力でない
事実2: もし仮にあのＬＰレコードが物権的効力だしさらに体得するならそれは二時間後でない
事実3: もしもなんらかの物が逼迫だし加えてコンサルタントであるなら「それは撤回等でない」ということは本当だ
事実4: 「ＶＡＲで諜報成果だとすると物権的効力である」物はある
事実5: もしもあのＬＰレコードがＶＡＲでそれは諜報成果であるならばそれは物権的効力だ

仮説: 「もし仮にＶＡＲで諜報成果であるならば物権的効力でない」物はある
1. 事実1から、仮説が導かれる

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