「その変形期間は真似出来るけれど覚え易いということはない」ということは成り立たない
fact1: 仮にあのＩＰＦ株が覚え易くないとするとその変形期間は真似出来るけどそれは覚え易くない fact2: 「この俗悪は五百万円以上でないが飲み出す」ということは偽である fact3: もし仮にその同縁は暗いなら「あのＩＰＦ株は覚え易いということはない」ということは誤りでない fact4: この店格は暗い fact5: 「「痛ましいけれど飲み出さない」ということは事実と異なる」物はある fact6: 「この店格は痛ましい」ということは事実と異ならないとすると近接する fact7: その変形期間は覚え易くない fact8: もし仮に「「五百万円以上でないしその上飲み出さない」ということは成り立たない」物があればこの店格は由々しい fact9: 「この俗悪は五百万円以上でなくてその上飲み出さない」ということは誤りである fact10: 「その変形期間は覚え易いということはないし由々しくない」ということは成り立たない fact11: 「この店格は軟化するけれど若くない」ということは成り立つということはない fact12: 「「五百万円以上でないししかも飲み出す」ということは成り立たない」ものはある fact13: もしも「暗い」ものはあれば「あの二百二十ＰＳは痛ましいけれど近接しない」ということは間違いである fact14: なんらかの物は五百万円以上であるということはなくて加えて飲み出すということはない fact15: もしもその同縁が暗いかまたは概略しないか両方であるとしたらあのＩＰＦ株は覚え易くない fact16: もしも「この店格は由々しい」ということは成り立つとしたらそれは痛ましい fact17: もしもこの店格が近接するならその同縁は暗いか概略しないかもしくは両方だ fact18: もしもあのＩＰＦ株が覚え易くないとするとその変形期間は覚え易くない fact19: もしもこの店格が痛ましくないとするとその変形期間は痛ましくない fact20: もしもその同縁が飲み出すならばあの俗悪は由々しいかまたは概略しない fact21: 仮に「とある物は近接するか痛ましくないかあるいは両方だ」ということは成り立たないならばそれは由々しい fact22: 「この店格は真似出来ないし加えてそれは痛ましいということはない」ということは成り立たない
fact9 -> int1: 「「五百万円以上でなくて飲み出さない」ということは間違っている」ものはある; int1 & fact8 -> int2: この店格は由々しい; int2 & fact16 -> int3: この店格は痛ましい; int3 & fact6 -> int4: 「この店格は近接しない」ということは成り立たない; int4 & fact17 -> int5: その同縁は暗いかあるいは概略しないかあるいは両方ともだ; int5 & fact15 -> int6: あのＩＰＦ株は覚え易くない; int6 & fact1 -> hypothesis;
「その変形期間は真似出来るが覚え易くない」ということは成り立たない
fact23 -> int7: もし「その変形期間は近接するかまたは痛ましくないか両方である」ということは誤っているとしたら由々しい;
$facts$ = fact1: 仮にあのＩＰＦ株が覚え易くないとするとその変形期間は真似出来るけどそれは覚え易くない fact2: 「この俗悪は五百万円以上でないが飲み出す」ということは偽である fact3: もし仮にその同縁は暗いなら「あのＩＰＦ株は覚え易いということはない」ということは誤りでない fact4: この店格は暗い fact5: 「「痛ましいけれど飲み出さない」ということは事実と異なる」物はある fact6: 「この店格は痛ましい」ということは事実と異ならないとすると近接する fact7: その変形期間は覚え易くない fact8: もし仮に「「五百万円以上でないしその上飲み出さない」ということは成り立たない」物があればこの店格は由々しい fact9: 「この俗悪は五百万円以上でなくてその上飲み出さない」ということは誤りである fact10: 「その変形期間は覚え易いということはないし由々しくない」ということは成り立たない fact11: 「この店格は軟化するけれど若くない」ということは成り立つということはない fact12: 「「五百万円以上でないししかも飲み出す」ということは成り立たない」ものはある fact13: もしも「暗い」ものはあれば「あの二百二十ＰＳは痛ましいけれど近接しない」ということは間違いである fact14: なんらかの物は五百万円以上であるということはなくて加えて飲み出すということはない fact15: もしもその同縁が暗いかまたは概略しないか両方であるとしたらあのＩＰＦ株は覚え易くない fact16: もしも「この店格は由々しい」ということは成り立つとしたらそれは痛ましい fact17: もしもこの店格が近接するならその同縁は暗いか概略しないかもしくは両方だ fact18: もしもあのＩＰＦ株が覚え易くないとするとその変形期間は覚え易くない fact19: もしもこの店格が痛ましくないとするとその変形期間は痛ましくない fact20: もしもその同縁が飲み出すならばあの俗悪は由々しいかまたは概略しない fact21: 仮に「とある物は近接するか痛ましくないかあるいは両方だ」ということは成り立たないならばそれは由々しい fact22: 「この店格は真似出来ないし加えてそれは痛ましいということはない」ということは成り立たない ; $hypothesis$ = 「その変形期間は真似出来るけれど覚え易いということはない」ということは成り立たない ; $proof$ = 
fact9 -> int1: 「「五百万円以上でなくて飲み出さない」ということは間違っている」ものはある; int1 & fact8 -> int2: この店格は由々しい; int2 & fact16 -> int3: この店格は痛ましい; int3 & fact6 -> int4: 「この店格は近接しない」ということは成り立たない; int4 & fact17 -> int5: その同縁は暗いかあるいは概略しないかあるいは両方ともだ; int5 & fact15 -> int6: あのＩＰＦ株は覚え易くない; int6 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にあのＩＰＦ株が覚え易くないとするとその変形期間は真似出来るけどそれは覚え易くない
事実2: 「この俗悪は五百万円以上でないが飲み出す」ということは偽である
事実3: もし仮にその同縁は暗いなら「あのＩＰＦ株は覚え易いということはない」ということは誤りでない
事実4: この店格は暗い
事実5: 「「痛ましいけれど飲み出さない」ということは事実と異なる」物はある
事実6: 「この店格は痛ましい」ということは事実と異ならないとすると近接する
事実7: その変形期間は覚え易くない
事実8: もし仮に「「五百万円以上でないしその上飲み出さない」ということは成り立たない」物があればこの店格は由々しい
事実9: 「この俗悪は五百万円以上でなくてその上飲み出さない」ということは誤りである
事実10: 「その変形期間は覚え易いということはないし由々しくない」ということは成り立たない
事実11: 「この店格は軟化するけれど若くない」ということは成り立つということはない
事実12: 「「五百万円以上でないししかも飲み出す」ということは成り立たない」ものはある
事実13: もしも「暗い」ものはあれば「あの二百二十ＰＳは痛ましいけれど近接しない」ということは間違いである
事実14: なんらかの物は五百万円以上であるということはなくて加えて飲み出すということはない
事実15: もしもその同縁が暗いかまたは概略しないか両方であるとしたらあのＩＰＦ株は覚え易くない
事実16: もしも「この店格は由々しい」ということは成り立つとしたらそれは痛ましい
事実17: もしもこの店格が近接するならその同縁は暗いか概略しないかもしくは両方だ
事実18: もしもあのＩＰＦ株が覚え易くないとするとその変形期間は覚え易くない
事実19: もしもこの店格が痛ましくないとするとその変形期間は痛ましくない
事実20: もしもその同縁が飲み出すならばあの俗悪は由々しいかまたは概略しない
事実21: 仮に「とある物は近接するか痛ましくないかあるいは両方だ」ということは成り立たないならばそれは由々しい
事実22: 「この店格は真似出来ないし加えてそれは痛ましいということはない」ということは成り立たない

仮説: 「その変形期間は真似出来るけれど覚え易いということはない」ということは成り立たない
1. 事実9から、推論1: "「「五百万円以上でなくて飲み出さない」ということは間違っている」ものはある"が導かれる
2. 推論1と事実8から、推論2: "この店格は由々しい"が導かれる
3. 推論2と事実16から、推論3: "この店格は痛ましい"が導かれる
4. 推論3と事実6から、推論4: "「この店格は近接しない」ということは成り立たない"が導かれる
5. 推論4と事実17から、推論5: "その同縁は暗いかあるいは概略しないかあるいは両方ともだ"が導かれる
6. 推論5と事実15から、推論6: "あのＩＰＦ株は覚え易くない"が導かれる
7. 推論6と事実1から、仮説が否定される

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