「この魔法は長いということはないしさらに驚き呆れない」ということは誤りである
fact1: もし仮に「なにかは葡有す一方で浮かばない」ということは成り立たないなら驚き呆れない fact2: 仮にあのアナーキストは採石しないなら「この魔法は長くないしそれは驚き呆れるということはない」ということは正しい fact3: 「あのＳＴ‐Ｔ変化は驚き呆れない」ということは成り立てば「この魔法は長くないし驚き呆れない」ということは正しくない fact4: もしとあるものが採石する一方でそれが通信事業者でないならあのアナーキストは秦・漢時代だということはない fact5: この箱形は浮かぶということはないとすると「あのＳＴ‐Ｔ変化は葡有すけれどそれは浮かばない」ということは事実と異なる fact6: 「採石するが通信事業者でない」物はある fact7: もし仮に「あのアナーキストは秦・漢時代でない」ということは確かだとするとその茂山家は忠実忠実しかないしその上秦・漢時代でない fact8: もしあのアナーキストが秦・漢時代でないならばあの茂山家は忠実忠実しいということはない fact9: 仮にその茂山家が忠実忠実しかなくてそれに秦・漢時代でないならばこの箱形は浮かばない
fact6 & fact4 -> int1: あのアナーキストは秦・漢時代でない; int1 & fact7 -> int2: その茂山家は忠実忠実しかないし秦・漢時代でない; int2 & fact9 -> int3: この箱形は浮かぶということはない; int3 & fact5 -> int4: 「あのＳＴ‐Ｔ変化は葡有す一方でそれは浮かばない」ということは偽だ; fact1 -> int5: もし「あのＳＴ‐Ｔ変化は葡有す一方で浮かばない」ということは誤っているとするとそれは驚き呆れるということはない; int4 & int5 -> int6: あのＳＴ‐Ｔ変化は驚き呆れない; int6 & fact3 -> hypothesis;
この魔法は長いということはなくてかつ驚き呆れない
$facts$ = fact1: もし仮に「なにかは葡有す一方で浮かばない」ということは成り立たないなら驚き呆れない fact2: 仮にあのアナーキストは採石しないなら「この魔法は長くないしそれは驚き呆れるということはない」ということは正しい fact3: 「あのＳＴ‐Ｔ変化は驚き呆れない」ということは成り立てば「この魔法は長くないし驚き呆れない」ということは正しくない fact4: もしとあるものが採石する一方でそれが通信事業者でないならあのアナーキストは秦・漢時代だということはない fact5: この箱形は浮かぶということはないとすると「あのＳＴ‐Ｔ変化は葡有すけれどそれは浮かばない」ということは事実と異なる fact6: 「採石するが通信事業者でない」物はある fact7: もし仮に「あのアナーキストは秦・漢時代でない」ということは確かだとするとその茂山家は忠実忠実しかないしその上秦・漢時代でない fact8: もしあのアナーキストが秦・漢時代でないならばあの茂山家は忠実忠実しいということはない fact9: 仮にその茂山家が忠実忠実しかなくてそれに秦・漢時代でないならばこの箱形は浮かばない ; $hypothesis$ = 「この魔法は長いということはないしさらに驚き呆れない」ということは誤りである ; $proof$ = 
fact6 & fact4 -> int1: あのアナーキストは秦・漢時代でない; int1 & fact7 -> int2: その茂山家は忠実忠実しかないし秦・漢時代でない; int2 & fact9 -> int3: この箱形は浮かぶということはない; int3 & fact5 -> int4: 「あのＳＴ‐Ｔ変化は葡有す一方でそれは浮かばない」ということは偽だ; fact1 -> int5: もし「あのＳＴ‐Ｔ変化は葡有す一方で浮かばない」ということは誤っているとするとそれは驚き呆れるということはない; int4 & int5 -> int6: あのＳＴ‐Ｔ変化は驚き呆れない; int6 & fact3 -> hypothesis; __PROVED__
事実1: もし仮に「なにかは葡有す一方で浮かばない」ということは成り立たないなら驚き呆れない
事実2: 仮にあのアナーキストは採石しないなら「この魔法は長くないしそれは驚き呆れるということはない」ということは正しい
事実3: 「あのＳＴ‐Ｔ変化は驚き呆れない」ということは成り立てば「この魔法は長くないし驚き呆れない」ということは正しくない
事実4: もしとあるものが採石する一方でそれが通信事業者でないならあのアナーキストは秦・漢時代だということはない
事実5: この箱形は浮かぶということはないとすると「あのＳＴ‐Ｔ変化は葡有すけれどそれは浮かばない」ということは事実と異なる
事実6: 「採石するが通信事業者でない」物はある
事実7: もし仮に「あのアナーキストは秦・漢時代でない」ということは確かだとするとその茂山家は忠実忠実しかないしその上秦・漢時代でない
事実8: もしあのアナーキストが秦・漢時代でないならばあの茂山家は忠実忠実しいということはない
事実9: 仮にその茂山家が忠実忠実しかなくてそれに秦・漢時代でないならばこの箱形は浮かばない

仮説: 「この魔法は長いということはないしさらに驚き呆れない」ということは誤りである
1. 事実6と事実4から、推論1: "あのアナーキストは秦・漢時代でない"が導かれる
2. 推論1と事実7から、推論2: "その茂山家は忠実忠実しかないし秦・漢時代でない"が導かれる
3. 推論2と事実9から、推論3: "この箱形は浮かぶということはない"が導かれる
4. 推論3と事実5から、推論4: "「あのＳＴ‐Ｔ変化は葡有す一方でそれは浮かばない」ということは偽だ"が導かれる
5. 事実1から、推論5: "もし「あのＳＴ‐Ｔ変化は葡有す一方で浮かばない」ということは誤っているとするとそれは驚き呆れるということはない"が導かれる
6. 推論4と推論5から、推論6: "あのＳＴ‐Ｔ変化は驚き呆れない"が導かれる
7. 推論6と事実3から、仮説が導かれる

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