あの氷砂糖は飛ばし過ぎる
fact1: 仮に「あのＺ軸方向は沈下だ」ということは本当ならばあの氷砂糖は挽回する fact2: 「あの氷砂糖は挽回する」ということは成り立つとすると飛ばし過ぎる fact3: 仮にとあるものが沈下でないとすればブレークダウンするかあるいは飛ばし過ぎないか両方ともである fact4: 「なにがしかの物は挽回するということはなくてブレークダウンするということはない」ということは嘘であるならば「それは挽回する」ということは成り立つ fact5: あのＺ軸方向はブレークダウンするし沈下である fact6: もし仮にあのＺ軸方向がブレークダウンするとすればそれは飛ばし過ぎる fact7: 「あのＺ軸方向はブレークダウンする」ということは間違いでない fact8: 何かは挽回するしまた金刀比羅宮であるならばそれは沈下でない
fact5 -> int1: あのＺ軸方向は沈下だ; int1 & fact1 -> int2: あの氷砂糖は挽回する; int2 & fact2 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
「その泥岩中は挽回する」ということは成り立つ
fact9 -> int3: 仮に「その泥岩中は挽回しなくてブレークダウンするということはない」ということは成り立たないとすると挽回する;
$facts$ = fact1: 仮に「あのＺ軸方向は沈下だ」ということは本当ならばあの氷砂糖は挽回する fact2: 「あの氷砂糖は挽回する」ということは成り立つとすると飛ばし過ぎる fact3: 仮にとあるものが沈下でないとすればブレークダウンするかあるいは飛ばし過ぎないか両方ともである fact4: 「なにがしかの物は挽回するということはなくてブレークダウンするということはない」ということは嘘であるならば「それは挽回する」ということは成り立つ fact5: あのＺ軸方向はブレークダウンするし沈下である fact6: もし仮にあのＺ軸方向がブレークダウンするとすればそれは飛ばし過ぎる fact7: 「あのＺ軸方向はブレークダウンする」ということは間違いでない fact8: 何かは挽回するしまた金刀比羅宮であるならばそれは沈下でない ; $hypothesis$ = あの氷砂糖は飛ばし過ぎる ; $proof$ = 
fact5 -> int1: あのＺ軸方向は沈下だ; int1 & fact1 -> int2: あの氷砂糖は挽回する; int2 & fact2 -> hypothesis; __PROVED__
事実1: 仮に「あのＺ軸方向は沈下だ」ということは本当ならばあの氷砂糖は挽回する
事実2: 「あの氷砂糖は挽回する」ということは成り立つとすると飛ばし過ぎる
事実3: 仮にとあるものが沈下でないとすればブレークダウンするかあるいは飛ばし過ぎないか両方ともである
事実4: 「なにがしかの物は挽回するということはなくてブレークダウンするということはない」ということは嘘であるならば「それは挽回する」ということは成り立つ
事実5: あのＺ軸方向はブレークダウンするし沈下である
事実6: もし仮にあのＺ軸方向がブレークダウンするとすればそれは飛ばし過ぎる
事実7: 「あのＺ軸方向はブレークダウンする」ということは間違いでない
事実8: 何かは挽回するしまた金刀比羅宮であるならばそれは沈下でない

仮説: あの氷砂糖は飛ばし過ぎる
1. 事実5から、推論1: "あのＺ軸方向は沈下だ"が導かれる
2. 推論1と事実1から、推論2: "あの氷砂糖は挽回する"が導かれる
3. 推論2と事実2から、仮説が導かれる

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