この引き出物は写し取るということはないかまたは見落とすかまたは両方だ
fact1: もし仮にこの引き出物が減刑しないなら写し取らないかまたは見落とすか両方である fact2: 源泉別区分は凍結解除する fact3: もし仮に何らかのものは愚か者でないならばそれは減刑するということはない fact4: この引き出物は減刑しない fact5: この引き出物は源泉別区分だ
fact1 & fact4 -> hypothesis;
fact1 & fact4 -> hypothesis;
この一連続作業時間は減刑しない
fact6 -> int1: 仮にこの一連続作業時間は愚か者でないとしたら減刑するということはない; fact8 -> int2: もし「この引き出物は源泉別区分だ」ということは成り立つとしたら凍結解除する; int2 & fact7 -> int3: 「この引き出物は凍結解除する」ということは誤っていない;
$facts$ = fact1: もし仮にこの引き出物が減刑しないなら写し取らないかまたは見落とすか両方である fact2: 源泉別区分は凍結解除する fact3: もし仮に何らかのものは愚か者でないならばそれは減刑するということはない fact4: この引き出物は減刑しない fact5: この引き出物は源泉別区分だ ; $hypothesis$ = この引き出物は写し取るということはないかまたは見落とすかまたは両方だ ; $proof$ = 
fact1 & fact4 -> hypothesis; __PROVED__
事実1: もし仮にこの引き出物が減刑しないなら写し取らないかまたは見落とすか両方である
事実2: 源泉別区分は凍結解除する
事実3: もし仮に何らかのものは愚か者でないならばそれは減刑するということはない
事実4: この引き出物は減刑しない
事実5: この引き出物は源泉別区分だ

仮説: この引き出物は写し取るということはないかまたは見落とすかまたは両方だ
1. 事実1と事実4から、仮説が導かれる

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