その賃金形態はリモデリングである
fact1: もしも忙しい物が面白くないとするとリモデリングであるということはない fact2: 仮に「「旨いか小憎らしいかもしくは両方ともだ」ということは誤っている」ものがあるならこの些事はまさぐる fact3: この些事がまさぐればその賃金形態は忙しいけれど面白いということはない fact4: 「「旨いかもしくは小憎らしいかもしくはどちらもだ」ということは確かでない」物はある
fact4 & fact2 -> int1: 「「この些事はまさぐらない」ということは間違っている」ということは確かだ; int1 & fact3 -> int2: 「その賃金形態は忙しいが面白いということはない」ということは間違いでない; fact1 -> int3: もし仮にその賃金形態が忙しいけれどそれが面白いということはないならリモデリングでない; int2 & int3 -> hypothesis;
$facts$ = fact1: もしも忙しい物が面白くないとするとリモデリングであるということはない fact2: 仮に「「旨いか小憎らしいかもしくは両方ともだ」ということは誤っている」ものがあるならこの些事はまさぐる fact3: この些事がまさぐればその賃金形態は忙しいけれど面白いということはない fact4: 「「旨いかもしくは小憎らしいかもしくはどちらもだ」ということは確かでない」物はある ; $hypothesis$ = その賃金形態はリモデリングである ; $proof$ = 
fact4 & fact2 -> int1: 「「この些事はまさぐらない」ということは間違っている」ということは確かだ; int1 & fact3 -> int2: 「その賃金形態は忙しいが面白いということはない」ということは間違いでない; fact1 -> int3: もし仮にその賃金形態が忙しいけれどそれが面白いということはないならリモデリングでない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしも忙しい物が面白くないとするとリモデリングであるということはない
事実2: 仮に「「旨いか小憎らしいかもしくは両方ともだ」ということは誤っている」ものがあるならこの些事はまさぐる
事実3: この些事がまさぐればその賃金形態は忙しいけれど面白いということはない
事実4: 「「旨いかもしくは小憎らしいかもしくはどちらもだ」ということは確かでない」物はある

仮説: その賃金形態はリモデリングである
1. 事実4と事実2から、推論1: "「「この些事はまさぐらない」ということは間違っている」ということは確かだ"が導かれる
2. 推論1と事実3から、推論2: "「その賃金形態は忙しいが面白いということはない」ということは間違いでない"が導かれる
3. 事実1から、推論3: "もし仮にその賃金形態が忙しいけれどそれが面白いということはないならリモデリングでない"が導かれる
4. 推論2と推論3から、仮説が否定される

よって、仮説が否定されました。