そのＤＶＤプレーヤーは慎み深い
fact1: 仮にその本社工場が起き直れば子形でなくて憎らしくない fact2: もし仮に何かはレンタカー屋でないならそれは子形でまた起き直る fact3: もしも「そのＤＶＤプレーヤーは御し易くないがしかしそれは三ＤＳである」ということは成り立たないなら慎み深い fact4: この参考人は起き直る fact5: そのＤＶＤプレーヤーは御し易いということはないが三ＤＳであるとしたらそれは憎らしくない fact6: もしもそのＤＶＤプレーヤーは憎らしくないとしたら「その本社工場は子形でないしまた憎らしくない」ということは本当でない fact7: その本社工場は起き直る
void -> assump1: 以下のように仮定する。そのＤＶＤプレーヤーは御し易いということはないがそれは三ＤＳである; fact5 & assump1 -> int1: そのＤＶＤプレーヤーは憎らしくない; int1 & fact6 -> int2: 「その本社工場は子形でなくてそれに憎らしくない」ということは成り立つということはない; fact7 & fact1 -> int3: その本社工場は子形でないしその上憎らしいということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「そのＤＶＤプレーヤーは御し易くないがしかしそれは三ＤＳである」ということは誤りである; int5 & fact3 -> hypothesis;
そのＤＶＤプレーヤーは慎み深くない
fact8 -> int6: あの情動反応がレンタカー屋でないとしたら子形であるしそれは起き直る;
$facts$ = fact1: 仮にその本社工場が起き直れば子形でなくて憎らしくない fact2: もし仮に何かはレンタカー屋でないならそれは子形でまた起き直る fact3: もしも「そのＤＶＤプレーヤーは御し易くないがしかしそれは三ＤＳである」ということは成り立たないなら慎み深い fact4: この参考人は起き直る fact5: そのＤＶＤプレーヤーは御し易いということはないが三ＤＳであるとしたらそれは憎らしくない fact6: もしもそのＤＶＤプレーヤーは憎らしくないとしたら「その本社工場は子形でないしまた憎らしくない」ということは本当でない fact7: その本社工場は起き直る ; $hypothesis$ = そのＤＶＤプレーヤーは慎み深い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＤＶＤプレーヤーは御し易いということはないがそれは三ＤＳである; fact5 & assump1 -> int1: そのＤＶＤプレーヤーは憎らしくない; int1 & fact6 -> int2: 「その本社工場は子形でなくてそれに憎らしくない」ということは成り立つということはない; fact7 & fact1 -> int3: その本社工場は子形でないしその上憎らしいということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「そのＤＶＤプレーヤーは御し易くないがしかしそれは三ＤＳである」ということは誤りである; int5 & fact3 -> hypothesis; __PROVED__
事実1: 仮にその本社工場が起き直れば子形でなくて憎らしくない
事実2: もし仮に何かはレンタカー屋でないならそれは子形でまた起き直る
事実3: もしも「そのＤＶＤプレーヤーは御し易くないがしかしそれは三ＤＳである」ということは成り立たないなら慎み深い
事実4: この参考人は起き直る
事実5: そのＤＶＤプレーヤーは御し易いということはないが三ＤＳであるとしたらそれは憎らしくない
事実6: もしもそのＤＶＤプレーヤーは憎らしくないとしたら「その本社工場は子形でないしまた憎らしくない」ということは本当でない
事実7: その本社工場は起き直る

仮説: そのＤＶＤプレーヤーは慎み深い
1. 仮定1: 以下のように仮定する。そのＤＶＤプレーヤーは御し易いということはないがそれは三ＤＳである
2. 事実5と仮定1から、推論1: "そのＤＶＤプレーヤーは憎らしくない"が導かれる
3. 推論1と事実6から、推論2: "「その本社工場は子形でなくてそれに憎らしくない」ということは成り立つということはない"が導かれる
4. 事実7と事実1から、推論3: "その本社工場は子形でないしその上憎らしいということはない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「そのＤＶＤプレーヤーは御し易くないがしかしそれは三ＤＳである」ということは誤りである"が導かれる
7. 推論5と事実3から、仮説が導かれる

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