「「もし揮発し易いならば打ち難くない」物はある」ということは偽である
fact1: もしとある物は揮発し易いとすれば「それは打ち難い」ということは間違いでない fact2: もしも何かは乗り変わるとするとそれは五円玉でない fact3: もしもその遠景が事足りるなら産業資本主義であるということはない fact4: 仮にある物が揮発し易いとするとそれは打ち難くない fact5: 「仮に回り始めるとすると纏まり具合でない」物はある fact6: 「もし仮に改組すなら形成し得る」ものはある fact7: 「もし揮発し易いならば打ち難い」ものはある fact8: もし仮にその一つ置きが乗り熟すとすれば揮発し易くない fact9: 仮にその惑星世界が江戸っ子気質ならベースキャンプだ
fact4 -> int1: 仮にその惑星世界は揮発し易いとしたら「打ち難くない」ということは成り立つ; int1 -> hypothesis;
仮にその惑星世界が乗り変われば五円玉だということはない
fact10 -> hypothesis;
$facts$ = fact1: もしとある物は揮発し易いとすれば「それは打ち難い」ということは間違いでない fact2: もしも何かは乗り変わるとするとそれは五円玉でない fact3: もしもその遠景が事足りるなら産業資本主義であるということはない fact4: 仮にある物が揮発し易いとするとそれは打ち難くない fact5: 「仮に回り始めるとすると纏まり具合でない」物はある fact6: 「もし仮に改組すなら形成し得る」ものはある fact7: 「もし揮発し易いならば打ち難い」ものはある fact8: もし仮にその一つ置きが乗り熟すとすれば揮発し易くない fact9: 仮にその惑星世界が江戸っ子気質ならベースキャンプだ ; $hypothesis$ = 「「もし揮発し易いならば打ち難くない」物はある」ということは偽である ; $proof$ = 
fact4 -> int1: 仮にその惑星世界は揮発し易いとしたら「打ち難くない」ということは成り立つ; int1 -> hypothesis; __DISPROVED__
事実1: もしとある物は揮発し易いとすれば「それは打ち難い」ということは間違いでない
事実2: もしも何かは乗り変わるとするとそれは五円玉でない
事実3: もしもその遠景が事足りるなら産業資本主義であるということはない
事実4: 仮にある物が揮発し易いとするとそれは打ち難くない
事実5: 「仮に回り始めるとすると纏まり具合でない」物はある
事実6: 「もし仮に改組すなら形成し得る」ものはある
事実7: 「もし揮発し易いならば打ち難い」ものはある
事実8: もし仮にその一つ置きが乗り熟すとすれば揮発し易くない
事実9: 仮にその惑星世界が江戸っ子気質ならベースキャンプだ

仮説: 「「もし揮発し易いならば打ち難くない」物はある」ということは偽である
1. 事実4から、推論1: "仮にその惑星世界は揮発し易いとしたら「打ち難くない」ということは成り立つ"が導かれる
2. 推論1から、仮説が否定される

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