この療法は開基するがしかし動態撮影でない
fact1: 仮にこのＤＶＤプレイヤーが散らし寿司でないならばこの認定調査は馴らすし動態撮影だ fact2: この療法は馴らさない fact3: このＤＶＤプレイヤーが動態撮影でないとするとこの療法は開基する一方で動態撮影でない fact4: このＤＶＤプレイヤーは意地悪い fact5: このＤＶＤプレイヤーは散らし寿司であるしおまけに馴らす fact6: 仮にこのＤＶＤプレイヤーが動態撮影ならば馴らすということはない
void -> assump1: 以下のように仮定する。このＤＶＤプレイヤーは動態撮影だ; fact6 & assump1 -> int1: このＤＶＤプレイヤーは馴らさない; fact5 -> int2: このＤＶＤプレイヤーは馴らす; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このＤＶＤプレイヤーは動態撮影でない」ということは成り立つ; int4 & fact3 -> hypothesis;
この認定調査は馴らす
$facts$ = fact1: 仮にこのＤＶＤプレイヤーが散らし寿司でないならばこの認定調査は馴らすし動態撮影だ fact2: この療法は馴らさない fact3: このＤＶＤプレイヤーが動態撮影でないとするとこの療法は開基する一方で動態撮影でない fact4: このＤＶＤプレイヤーは意地悪い fact5: このＤＶＤプレイヤーは散らし寿司であるしおまけに馴らす fact6: 仮にこのＤＶＤプレイヤーが動態撮影ならば馴らすということはない ; $hypothesis$ = この療法は開基するがしかし動態撮影でない ; $proof$ = 
void -> assump1: 以下のように仮定する。このＤＶＤプレイヤーは動態撮影だ; fact6 & assump1 -> int1: このＤＶＤプレイヤーは馴らさない; fact5 -> int2: このＤＶＤプレイヤーは馴らす; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このＤＶＤプレイヤーは動態撮影でない」ということは成り立つ; int4 & fact3 -> hypothesis; __PROVED__
事実1: 仮にこのＤＶＤプレイヤーが散らし寿司でないならばこの認定調査は馴らすし動態撮影だ
事実2: この療法は馴らさない
事実3: このＤＶＤプレイヤーが動態撮影でないとするとこの療法は開基する一方で動態撮影でない
事実4: このＤＶＤプレイヤーは意地悪い
事実5: このＤＶＤプレイヤーは散らし寿司であるしおまけに馴らす
事実6: 仮にこのＤＶＤプレイヤーが動態撮影ならば馴らすということはない

仮説: この療法は開基するがしかし動態撮影でない
1. 仮定1: 以下のように仮定する。このＤＶＤプレイヤーは動態撮影だ
2. 事実6と仮定1から、推論1: "このＤＶＤプレイヤーは馴らさない"が導かれる
3. 事実5から、推論2: "このＤＶＤプレイヤーは馴らす"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「このＤＶＤプレイヤーは動態撮影でない」ということは成り立つ"が導かれる
6. 推論4と事実3から、仮説が導かれる

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