この非共有電子対はおっかなくない
fact1: 「「決め難いかまたは換金する」ということは誤っている」物はある fact2: もしあるものはおっかないなら「自分らしいかあるいは配慮するということはないか両方である」ということは成り立たない fact3: 「あの続ホビットはおっかないかまたはそれは換金しないかあるいは両方ともである」ということは事実でない fact4: もしも「「おっかないか決め難くないかあるいはどちらもである」ということは成り立たない」物があるならこの非共有電子対は換金する fact5: なにかは決め難いかそれは換金しない fact6: 「あの続ホビットは決め難いか換金しない」ということは嘘だ fact7: もし「「決め難いかまたはおっかなくないか両方ともだ」ということは偽な」ものがあるならこの非共有電子対は換金する fact8: 「決め難くない」物はある fact9: 仮に「「決め難いかあるいはおっかなくないかもしくは両方ともだ」ということは成り立たない」物があるとすればあの続ホビットは換金する fact10: 何かは結び合わせないとすればそれはおっかないしかつ町村内だ fact11: ある物はおっかない fact12: あの続ホビットは換金する fact13: もし仮に「「決め難いかまたは換金しない」ということは成り立たない」ものがあるとするとこの非共有電子対はおっかない fact14: 「換金する」ものはある
fact6 -> int1: 「「決め難いかあるいは換金しないか両方ともである」ということは成り立たない」ものはある; int1 & fact13 -> hypothesis;
「「自分らしいかまたは配慮しないかもしくは両方ともである」ということは成り立たない」ものはある
fact15 -> int2: この皆さん自身はおっかないなら「自分らしいかあるいは配慮しない」ということは誤りだ; fact16 -> int3: もしもこの皆さん自身が結び合わせないならおっかないししかも町村内だ;
$facts$ = fact1: 「「決め難いかまたは換金する」ということは誤っている」物はある fact2: もしあるものはおっかないなら「自分らしいかあるいは配慮するということはないか両方である」ということは成り立たない fact3: 「あの続ホビットはおっかないかまたはそれは換金しないかあるいは両方ともである」ということは事実でない fact4: もしも「「おっかないか決め難くないかあるいはどちらもである」ということは成り立たない」物があるならこの非共有電子対は換金する fact5: なにかは決め難いかそれは換金しない fact6: 「あの続ホビットは決め難いか換金しない」ということは嘘だ fact7: もし「「決め難いかまたはおっかなくないか両方ともだ」ということは偽な」ものがあるならこの非共有電子対は換金する fact8: 「決め難くない」物はある fact9: 仮に「「決め難いかあるいはおっかなくないかもしくは両方ともだ」ということは成り立たない」物があるとすればあの続ホビットは換金する fact10: 何かは結び合わせないとすればそれはおっかないしかつ町村内だ fact11: ある物はおっかない fact12: あの続ホビットは換金する fact13: もし仮に「「決め難いかまたは換金しない」ということは成り立たない」ものがあるとするとこの非共有電子対はおっかない fact14: 「換金する」ものはある ; $hypothesis$ = この非共有電子対はおっかなくない ; $proof$ = 
fact6 -> int1: 「「決め難いかあるいは換金しないか両方ともである」ということは成り立たない」ものはある; int1 & fact13 -> hypothesis; __DISPROVED__
事実1: 「「決め難いかまたは換金する」ということは誤っている」物はある
事実2: もしあるものはおっかないなら「自分らしいかあるいは配慮するということはないか両方である」ということは成り立たない
事実3: 「あの続ホビットはおっかないかまたはそれは換金しないかあるいは両方ともである」ということは事実でない
事実4: もしも「「おっかないか決め難くないかあるいはどちらもである」ということは成り立たない」物があるならこの非共有電子対は換金する
事実5: なにかは決め難いかそれは換金しない
事実6: 「あの続ホビットは決め難いか換金しない」ということは嘘だ
事実7: もし「「決め難いかまたはおっかなくないか両方ともだ」ということは偽な」ものがあるならこの非共有電子対は換金する
事実8: 「決め難くない」物はある
事実9: 仮に「「決め難いかあるいはおっかなくないかもしくは両方ともだ」ということは成り立たない」物があるとすればあの続ホビットは換金する
事実10: 何かは結び合わせないとすればそれはおっかないしかつ町村内だ
事実11: ある物はおっかない
事実12: あの続ホビットは換金する
事実13: もし仮に「「決め難いかまたは換金しない」ということは成り立たない」ものがあるとするとこの非共有電子対はおっかない
事実14: 「換金する」ものはある

仮説: この非共有電子対はおっかなくない
1. 事実6から、推論1: "「「決め難いかあるいは換金しないか両方ともである」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実13から、仮説が否定される

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