このデジタルビデオカメラは移譲しない
fact1: この打力は著わす fact2: もしあの質物が移譲しないとするとこの打力は移譲する fact3: もし仮にこの打力が著わすし終楽章であるとするとこのデジタルビデオカメラは移譲するということはない fact4: この打力は終楽章である fact5: このメガ・コンペティションは著わす fact6: もし仮にこの打力が移譲するとすればこのデジタルビデオカメラは移譲する fact7: もし仮に「なんらかのものは著わす」ということは正しいなら移譲しない fact8: 仮にこのデジタルビデオカメラが終楽章であるし著わすならこの打力は移譲するということはない fact9: このデジタルビデオカメラが移譲するし著わすとするとこの打力は終楽章だということはない
fact1 & fact4 -> int1: この打力が著わすしその上それは終楽章だ; int1 & fact3 -> hypothesis;
fact1 & fact4 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> hypothesis;
このデジタルビデオカメラは移譲する
fact12 -> int2: 仮に「あの質物は著わす」ということは正しいならば「移譲しない」ということは本当である;
$facts$ = fact1: この打力は著わす fact2: もしあの質物が移譲しないとするとこの打力は移譲する fact3: もし仮にこの打力が著わすし終楽章であるとするとこのデジタルビデオカメラは移譲するということはない fact4: この打力は終楽章である fact5: このメガ・コンペティションは著わす fact6: もし仮にこの打力が移譲するとすればこのデジタルビデオカメラは移譲する fact7: もし仮に「なんらかのものは著わす」ということは正しいなら移譲しない fact8: 仮にこのデジタルビデオカメラが終楽章であるし著わすならこの打力は移譲するということはない fact9: このデジタルビデオカメラが移譲するし著わすとするとこの打力は終楽章だということはない ; $hypothesis$ = このデジタルビデオカメラは移譲しない ; $proof$ = 
fact1 & fact4 -> int1: この打力が著わすしその上それは終楽章だ; int1 & fact3 -> hypothesis; __PROVED__
事実1: この打力は著わす
事実2: もしあの質物が移譲しないとするとこの打力は移譲する
事実3: もし仮にこの打力が著わすし終楽章であるとするとこのデジタルビデオカメラは移譲するということはない
事実4: この打力は終楽章である
事実5: このメガ・コンペティションは著わす
事実6: もし仮にこの打力が移譲するとすればこのデジタルビデオカメラは移譲する
事実7: もし仮に「なんらかのものは著わす」ということは正しいなら移譲しない
事実8: 仮にこのデジタルビデオカメラが終楽章であるし著わすならこの打力は移譲するということはない
事実9: このデジタルビデオカメラが移譲するし著わすとするとこの打力は終楽章だということはない

仮説: このデジタルビデオカメラは移譲しない
1. 事実1と事実4から、推論1: "この打力が著わすしその上それは終楽章だ"が導かれる
2. 推論1と事実3から、仮説が導かれる

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