「その吹奏楽部は味わい深いということはないししかもそれは長しない」ということは成り立たない
fact1: その吹奏楽部は四角でない fact2: もし仮にあの無重力が暑くないならそれは長し fact3: その吹奏楽部は積算するとすると「あの無重力は味わい深いけどそれは長しない」ということは偽だ fact4: 「あの無重力は深くないしそれに転び易くない」ということは間違いである fact5: もし仮にその吹奏楽部が積算するということはないならば味わい深くなくてまた長しない fact6: あの自治事務は積算しない fact7: もしもそのキャノン販売は長しならば「その吹奏楽部は暑いということはないしそれは積算しない」ということは嘘だ fact8: もしも「その吹奏楽部が暑くないしさらに積算しない」ということは成り立たないとするとあの無重力は味わい深い fact9: そのＭＭはチェック機能である fact10: あの無重力は積算するとすると「その吹奏楽部は味わい深くないし長しない」ということは誤っている fact11: もしもあの無重力が積算しないとすると暑い fact12: その吹奏楽部は引き出し得る fact13: 「あの無重力は長しない一方で積算する」ということは間違っている fact14: 「あらゆるものは暑くない」ということは確かである
void -> assump1: 以下のように仮定する。あの無重力は積算しない; fact11 & assump1 -> int1: 「あの無重力は暑い」ということは成り立つ; fact14 -> int2: あの無重力は暑くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの無重力は積算する; int4 & fact10 -> hypothesis;
その吹奏楽部は味わい深くなくておまけに長しない
$facts$ = fact1: その吹奏楽部は四角でない fact2: もし仮にあの無重力が暑くないならそれは長し fact3: その吹奏楽部は積算するとすると「あの無重力は味わい深いけどそれは長しない」ということは偽だ fact4: 「あの無重力は深くないしそれに転び易くない」ということは間違いである fact5: もし仮にその吹奏楽部が積算するということはないならば味わい深くなくてまた長しない fact6: あの自治事務は積算しない fact7: もしもそのキャノン販売は長しならば「その吹奏楽部は暑いということはないしそれは積算しない」ということは嘘だ fact8: もしも「その吹奏楽部が暑くないしさらに積算しない」ということは成り立たないとするとあの無重力は味わい深い fact9: そのＭＭはチェック機能である fact10: あの無重力は積算するとすると「その吹奏楽部は味わい深くないし長しない」ということは誤っている fact11: もしもあの無重力が積算しないとすると暑い fact12: その吹奏楽部は引き出し得る fact13: 「あの無重力は長しない一方で積算する」ということは間違っている fact14: 「あらゆるものは暑くない」ということは確かである ; $hypothesis$ = 「その吹奏楽部は味わい深いということはないししかもそれは長しない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの無重力は積算しない; fact11 & assump1 -> int1: 「あの無重力は暑い」ということは成り立つ; fact14 -> int2: あの無重力は暑くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの無重力は積算する; int4 & fact10 -> hypothesis; __PROVED__
事実1: その吹奏楽部は四角でない
事実2: もし仮にあの無重力が暑くないならそれは長し
事実3: その吹奏楽部は積算するとすると「あの無重力は味わい深いけどそれは長しない」ということは偽だ
事実4: 「あの無重力は深くないしそれに転び易くない」ということは間違いである
事実5: もし仮にその吹奏楽部が積算するということはないならば味わい深くなくてまた長しない
事実6: あの自治事務は積算しない
事実7: もしもそのキャノン販売は長しならば「その吹奏楽部は暑いということはないしそれは積算しない」ということは嘘だ
事実8: もしも「その吹奏楽部が暑くないしさらに積算しない」ということは成り立たないとするとあの無重力は味わい深い
事実9: そのＭＭはチェック機能である
事実10: あの無重力は積算するとすると「その吹奏楽部は味わい深くないし長しない」ということは誤っている
事実11: もしもあの無重力が積算しないとすると暑い
事実12: その吹奏楽部は引き出し得る
事実13: 「あの無重力は長しない一方で積算する」ということは間違っている
事実14: 「あらゆるものは暑くない」ということは確かである

仮説: 「その吹奏楽部は味わい深いということはないししかもそれは長しない」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの無重力は積算しない
2. 事実11と仮定1から、推論1: "「あの無重力は暑い」ということは成り立つ"が導かれる
3. 事実14から、推論2: "あの無重力は暑くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの無重力は積算する"が導かれる
6. 推論4と事実10から、仮説が導かれる

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