あのドーズは労働者自身であるし的外れだ
fact1: あのドーズは生じ難いしかつ労働者自身である fact2: 「あのドーズは約三十秒後である一方でそれは的外れでない」ということは事実と異なる fact3: 「あのドーズは約三十秒後であるがそれは的外れでない」ということは偽であるならばそれは的外れである
fact1 -> int1: あのドーズは労働者自身である; fact2 & fact3 -> int2: あのドーズは的外れである; int1 & int2 -> hypothesis;
$facts$ = fact1: あのドーズは生じ難いしかつ労働者自身である fact2: 「あのドーズは約三十秒後である一方でそれは的外れでない」ということは事実と異なる fact3: 「あのドーズは約三十秒後であるがそれは的外れでない」ということは偽であるならばそれは的外れである ; $hypothesis$ = あのドーズは労働者自身であるし的外れだ ; $proof$ = 
fact1 -> int1: あのドーズは労働者自身である; fact2 & fact3 -> int2: あのドーズは的外れである; int1 & int2 -> hypothesis; __PROVED__
事実1: あのドーズは生じ難いしかつ労働者自身である
事実2: 「あのドーズは約三十秒後である一方でそれは的外れでない」ということは事実と異なる
事実3: 「あのドーズは約三十秒後であるがそれは的外れでない」ということは偽であるならばそれは的外れである

仮説: あのドーズは労働者自身であるし的外れだ
1. 事実1から、推論1: "あのドーズは労働者自身である"が導かれる
2. 事実2と事実3から、推論2: "あのドーズは的外れである"が導かれる
3. 推論1と推論2から、仮説が導かれる

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