「「算定し難いしその上感慨無量である」ものはある」ということは誤っている
fact1: 「算定し難い」ものはある fact2: あの万能葱は感慨無量だ fact3: この律令は感慨無量である fact4: あの万能葱は算定し難い
fact4 & fact2 -> int1: あの万能葱は算定し難いしおまけに感慨無量だ; int1 -> hypothesis;
fact4 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> hypothesis;
$facts$ = fact1: 「算定し難い」ものはある fact2: あの万能葱は感慨無量だ fact3: この律令は感慨無量である fact4: あの万能葱は算定し難い ; $hypothesis$ = 「「算定し難いしその上感慨無量である」ものはある」ということは誤っている ; $proof$ = 
fact4 & fact2 -> int1: あの万能葱は算定し難いしおまけに感慨無量だ; int1 -> hypothesis; __DISPROVED__
事実1: 「算定し難い」ものはある
事実2: あの万能葱は感慨無量だ
事実3: この律令は感慨無量である
事実4: あの万能葱は算定し難い

仮説: 「「算定し難いしその上感慨無量である」ものはある」ということは誤っている
1. 事実4と事実2から、推論1: "あの万能葱は算定し難いしおまけに感慨無量だ"が導かれる
2. 推論1から、仮説が否定される

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