その受託者等は甲斐甲斐しいということはない一方で意図する
fact1: その受託者等は躊躇するということはない fact2: あらゆる物は軽ーいしそれに争える fact3: もしも「その受託者等は躊躇しない」ということは確かだとすればそれは甲斐甲斐しかないしおまけにそれは意図する fact4: その受託者等が躊躇しないならば甲斐甲斐しかない fact5: あの延滞金は質量数であるということはないがしかし甲斐甲斐しい
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
あの短期譲渡所得は恥ずかしくないけれど意図する
fact6 -> int1: あの共同施設は軽ーいしさらに争える; int1 -> int2: あの共同施設は争える; int2 -> int3: 何もかもは争える; int3 -> int4: その受託者等は争える; int4 -> int5: なにがしかの物は争える;
$facts$ = fact1: その受託者等は躊躇するということはない fact2: あらゆる物は軽ーいしそれに争える fact3: もしも「その受託者等は躊躇しない」ということは確かだとすればそれは甲斐甲斐しかないしおまけにそれは意図する fact4: その受託者等が躊躇しないならば甲斐甲斐しかない fact5: あの延滞金は質量数であるということはないがしかし甲斐甲斐しい ; $hypothesis$ = その受託者等は甲斐甲斐しいということはない一方で意図する ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: その受託者等は躊躇するということはない
事実2: あらゆる物は軽ーいしそれに争える
事実3: もしも「その受託者等は躊躇しない」ということは確かだとすればそれは甲斐甲斐しかないしおまけにそれは意図する
事実4: その受託者等が躊躇しないならば甲斐甲斐しかない
事実5: あの延滞金は質量数であるということはないがしかし甲斐甲斐しい

仮説: その受託者等は甲斐甲斐しいということはない一方で意図する
1. 事実3と事実1から、仮説が導かれる

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