あの但し書きは疲労し易いがそれは疲れ果てない
fact1: もしあの非正規雇用者が慈愛深くないならばそれは疲労し易いということはない fact2: 「あの非正規雇用者は慈愛深くない」ということは事実だ fact3: もし仮にあの非正規雇用者は疲労し易くないとすると「あの但し書きは疲労し易いけれど疲れ果てるということはない」ということは成り立つ fact4: 仮にあの非正規雇用者が疲労し易くないとするとあの但し書きは疲れ果てない
fact1 & fact2 -> int1: あの非正規雇用者は疲労し易くない; int1 & fact3 -> hypothesis;
$facts$ = fact1: もしあの非正規雇用者が慈愛深くないならばそれは疲労し易いということはない fact2: 「あの非正規雇用者は慈愛深くない」ということは事実だ fact3: もし仮にあの非正規雇用者は疲労し易くないとすると「あの但し書きは疲労し易いけれど疲れ果てるということはない」ということは成り立つ fact4: 仮にあの非正規雇用者が疲労し易くないとするとあの但し書きは疲れ果てない ; $hypothesis$ = あの但し書きは疲労し易いがそれは疲れ果てない ; $proof$ = 
fact1 & fact2 -> int1: あの非正規雇用者は疲労し易くない; int1 & fact3 -> hypothesis; __PROVED__
事実1: もしあの非正規雇用者が慈愛深くないならばそれは疲労し易いということはない
事実2: 「あの非正規雇用者は慈愛深くない」ということは事実だ
事実3: もし仮にあの非正規雇用者は疲労し易くないとすると「あの但し書きは疲労し易いけれど疲れ果てるということはない」ということは成り立つ
事実4: 仮にあの非正規雇用者が疲労し易くないとするとあの但し書きは疲れ果てない

仮説: あの但し書きは疲労し易いがそれは疲れ果てない
1. 事実1と事実2から、推論1: "あの非正規雇用者は疲労し易くない"が導かれる
2. 推論1と事実3から、仮説が導かれる

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