その類似業種比準方式は届き易くない
fact1: そのリンクランプはまどろっこしい fact2: 「そのリンクランプは建設業者等だし加えて空々しい」ということは嘘だ fact3: もしそのリンクランプが御客さんでないがしかしまどろっこしいとするとその類似業種比準方式は届き易いということはない fact4: もし仮に「そのリンクランプはまどろっこしいし届き易い」ということは間違いであるならばそれは御客さんでない fact5: あのデータテーブルは御客さんでない fact6: その類似業種比準方式は遣り辛くないけれど持ち歩く fact7: 「何かは建設業者等だしさらに空々しい」ということは誤りなら御客さんでない fact8: もし仮に「その類似業種比準方式はどす黒いしさらにまどろっこしい」ということは成り立たないとすればそれは馬鹿でかくない
fact7 -> int1: 「そのリンクランプは建設業者等で空々しい」ということは間違いであるとしたら御客さんだということはない; int1 & fact2 -> int2: そのリンクランプは御客さんでない; int2 & fact1 -> int3: そのリンクランプは御客さんでないけれどまどろっこしい; int3 & fact3 -> hypothesis;
$facts$ = fact1: そのリンクランプはまどろっこしい fact2: 「そのリンクランプは建設業者等だし加えて空々しい」ということは嘘だ fact3: もしそのリンクランプが御客さんでないがしかしまどろっこしいとするとその類似業種比準方式は届き易いということはない fact4: もし仮に「そのリンクランプはまどろっこしいし届き易い」ということは間違いであるならばそれは御客さんでない fact5: あのデータテーブルは御客さんでない fact6: その類似業種比準方式は遣り辛くないけれど持ち歩く fact7: 「何かは建設業者等だしさらに空々しい」ということは誤りなら御客さんでない fact8: もし仮に「その類似業種比準方式はどす黒いしさらにまどろっこしい」ということは成り立たないとすればそれは馬鹿でかくない ; $hypothesis$ = その類似業種比準方式は届き易くない ; $proof$ = 
fact7 -> int1: 「そのリンクランプは建設業者等で空々しい」ということは間違いであるとしたら御客さんだということはない; int1 & fact2 -> int2: そのリンクランプは御客さんでない; int2 & fact1 -> int3: そのリンクランプは御客さんでないけれどまどろっこしい; int3 & fact3 -> hypothesis; __PROVED__
事実1: そのリンクランプはまどろっこしい
事実2: 「そのリンクランプは建設業者等だし加えて空々しい」ということは嘘だ
事実3: もしそのリンクランプが御客さんでないがしかしまどろっこしいとするとその類似業種比準方式は届き易いということはない
事実4: もし仮に「そのリンクランプはまどろっこしいし届き易い」ということは間違いであるならばそれは御客さんでない
事実5: あのデータテーブルは御客さんでない
事実6: その類似業種比準方式は遣り辛くないけれど持ち歩く
事実7: 「何かは建設業者等だしさらに空々しい」ということは誤りなら御客さんでない
事実8: もし仮に「その類似業種比準方式はどす黒いしさらにまどろっこしい」ということは成り立たないとすればそれは馬鹿でかくない

仮説: その類似業種比準方式は届き易くない
1. 事実7から、推論1: "「そのリンクランプは建設業者等で空々しい」ということは間違いであるとしたら御客さんだということはない"が導かれる
2. 推論1と事実2から、推論2: "そのリンクランプは御客さんでない"が導かれる
3. 推論2と事実1から、推論3: "そのリンクランプは御客さんでないけれどまどろっこしい"が導かれる
4. 推論3と事実3から、仮説が導かれる

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