その市民的リベラリズムは理解し難い
fact1: 夥しくないものは巾であるかあるいはＡＢであるか両方ともだ fact2: 「その市民的リベラリズムは理解し難い」ということは成り立つ fact3: その東京本店は理解し難い fact4: もし仮にその市民的リベラリズムが言い易いかあるいはそれは一生果てでないとすれば「あの新ＮＨＳは理解し難い」ということは偽でない fact5: もし「この慰霊碑は夥しいし加えて敢え無い」ということは事実であるということはないならばそれは夥しくない fact6: パクリタキセルは一生果てでないけど言い易い fact7: もし仮にこの在日外国人が一生果てでないがそれが言い易いとするとその市民的リベラリズムは理解し難くない
fact2 -> hypothesis;
fact2 -> hypothesis;
その市民的リベラリズムは理解し難くない
fact10 -> int1: もしもこの在日外国人がパクリタキセルだとすれば一生果てでなくて言い易い; fact8 -> int2: もし仮にこの慰霊碑が夥しいということはないならば巾であるかＡＢであるかどちらもである;
$facts$ = fact1: 夥しくないものは巾であるかあるいはＡＢであるか両方ともだ fact2: 「その市民的リベラリズムは理解し難い」ということは成り立つ fact3: その東京本店は理解し難い fact4: もし仮にその市民的リベラリズムが言い易いかあるいはそれは一生果てでないとすれば「あの新ＮＨＳは理解し難い」ということは偽でない fact5: もし「この慰霊碑は夥しいし加えて敢え無い」ということは事実であるということはないならばそれは夥しくない fact6: パクリタキセルは一生果てでないけど言い易い fact7: もし仮にこの在日外国人が一生果てでないがそれが言い易いとするとその市民的リベラリズムは理解し難くない ; $hypothesis$ = その市民的リベラリズムは理解し難い ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 夥しくないものは巾であるかあるいはＡＢであるか両方ともだ
事実2: 「その市民的リベラリズムは理解し難い」ということは成り立つ
事実3: その東京本店は理解し難い
事実4: もし仮にその市民的リベラリズムが言い易いかあるいはそれは一生果てでないとすれば「あの新ＮＨＳは理解し難い」ということは偽でない
事実5: もし「この慰霊碑は夥しいし加えて敢え無い」ということは事実であるということはないならばそれは夥しくない
事実6: パクリタキセルは一生果てでないけど言い易い
事実7: もし仮にこの在日外国人が一生果てでないがそれが言い易いとするとその市民的リベラリズムは理解し難くない

仮説: その市民的リベラリズムは理解し難い
1. 事実2から、仮説が導かれる

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