その一軸圧縮強さは嵩張る
fact1: 仮にそのキャストが枝付きであるならその心臓神経症は枝付きである fact2: その一軸圧縮強さは簡便性である fact3: 「そのキャストはＪＢジュニアである」ということは成り立つ fact4: その心臓神経症は簡便性だ fact5: そのチェルノブイリ笹川医療協力プロジェクトはＪＢジュニアだ fact6: その心臓神経症はＪＢジュニアで枝付きだ fact7: その心臓神経症は枝付きだ fact8: もしもそのキャストが簡便性ならその一軸圧縮強さは嵩張る fact9: そのキャストは嵩張る fact10: その心臓神経症は嵩張る fact11: あの寄り付きは枝付きだ fact12: そのキャストは別掲する fact13: もしあの天上界が簡便性であるならそのキャストは枝付きである fact14: その一軸圧縮強さはＪＢジュニアである fact15: その心臓神経症は付け加える fact16: もし仮に「その心臓神経症はＪＢジュニアである」ということは誤りでないならそのキャストは簡便性である fact17: 仮にその心臓神経症が簡便性であるならそのキャストは枝付きだ
fact6 -> int1: その心臓神経症はＪＢジュニアだ; int1 & fact16 -> int2: そのキャストは簡便性である; int2 & fact8 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact16 -> int2: {C}{b}; int2 & fact8 -> hypothesis;
その一軸圧縮強さは嵩張らない
$facts$ = fact1: 仮にそのキャストが枝付きであるならその心臓神経症は枝付きである fact2: その一軸圧縮強さは簡便性である fact3: 「そのキャストはＪＢジュニアである」ということは成り立つ fact4: その心臓神経症は簡便性だ fact5: そのチェルノブイリ笹川医療協力プロジェクトはＪＢジュニアだ fact6: その心臓神経症はＪＢジュニアで枝付きだ fact7: その心臓神経症は枝付きだ fact8: もしもそのキャストが簡便性ならその一軸圧縮強さは嵩張る fact9: そのキャストは嵩張る fact10: その心臓神経症は嵩張る fact11: あの寄り付きは枝付きだ fact12: そのキャストは別掲する fact13: もしあの天上界が簡便性であるならそのキャストは枝付きである fact14: その一軸圧縮強さはＪＢジュニアである fact15: その心臓神経症は付け加える fact16: もし仮に「その心臓神経症はＪＢジュニアである」ということは誤りでないならそのキャストは簡便性である fact17: 仮にその心臓神経症が簡便性であるならそのキャストは枝付きだ ; $hypothesis$ = その一軸圧縮強さは嵩張る ; $proof$ = 
fact6 -> int1: その心臓神経症はＪＢジュニアだ; int1 & fact16 -> int2: そのキャストは簡便性である; int2 & fact8 -> hypothesis; __PROVED__
事実1: 仮にそのキャストが枝付きであるならその心臓神経症は枝付きである
事実2: その一軸圧縮強さは簡便性である
事実3: 「そのキャストはＪＢジュニアである」ということは成り立つ
事実4: その心臓神経症は簡便性だ
事実5: そのチェルノブイリ笹川医療協力プロジェクトはＪＢジュニアだ
事実6: その心臓神経症はＪＢジュニアで枝付きだ
事実7: その心臓神経症は枝付きだ
事実8: もしもそのキャストが簡便性ならその一軸圧縮強さは嵩張る
事実9: そのキャストは嵩張る
事実10: その心臓神経症は嵩張る
事実11: あの寄り付きは枝付きだ
事実12: そのキャストは別掲する
事実13: もしあの天上界が簡便性であるならそのキャストは枝付きである
事実14: その一軸圧縮強さはＪＢジュニアである
事実15: その心臓神経症は付け加える
事実16: もし仮に「その心臓神経症はＪＢジュニアである」ということは誤りでないならそのキャストは簡便性である
事実17: 仮にその心臓神経症が簡便性であるならそのキャストは枝付きだ

仮説: その一軸圧縮強さは嵩張る
1. 事実6から、推論1: "その心臓神経症はＪＢジュニアだ"が導かれる
2. 推論1と事実16から、推論2: "そのキャストは簡便性である"が導かれる
3. 推論2と事実8から、仮説が導かれる

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