その先天性は汚らしくないかあるいはドロップするかあるいは両方だ
fact1: もし「その先天性は汚らしくないかあるいはそれはドロップする」ということは成り立たないならあの各レコードは御愛敬だ fact2: 「その先天性はドロップするか扱い易くないかあるいは両方だ」ということは誤りでない fact3: もし仮に「あの各レコードは着替える」ということは成り立つとすればこの古今未曾有は歩き回り始める fact4: この紫蘭はドロップしない fact5: もし仮にある物は着替えるとすれば「ドロップする」ということは確かである fact6: 仮にとあるものは御愛敬であるとしたら着替える fact7: あのレシートは多端でないか扱い易いということはないかあるいは両方である fact8: あのレシートが多端でないかそれが扱い易くないかどちらもだとすればあの古今未曾有は歩き回り始めない fact9: もし仮にあのレシートが扱い易くないとするとこの古今未曾有は歩き回り始めない
void -> assump1: 以下のように仮定する。「その先天性は汚らしくないかそれはドロップするか両方だ」ということは事実と異なる; fact1 & assump1 -> int1: あの各レコードは御愛敬だ; fact6 -> int2: もし「あの各レコードは御愛敬だ」ということは成り立つとすれば着替える; int1 & int2 -> int3: あの各レコードは着替える; int3 & fact3 -> int4: この古今未曾有は歩き回り始める; fact7 & fact8 -> int5: この古今未曾有は歩き回り始めない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
$facts$ = fact1: もし「その先天性は汚らしくないかあるいはそれはドロップする」ということは成り立たないならあの各レコードは御愛敬だ fact2: 「その先天性はドロップするか扱い易くないかあるいは両方だ」ということは誤りでない fact3: もし仮に「あの各レコードは着替える」ということは成り立つとすればこの古今未曾有は歩き回り始める fact4: この紫蘭はドロップしない fact5: もし仮にある物は着替えるとすれば「ドロップする」ということは確かである fact6: 仮にとあるものは御愛敬であるとしたら着替える fact7: あのレシートは多端でないか扱い易いということはないかあるいは両方である fact8: あのレシートが多端でないかそれが扱い易くないかどちらもだとすればあの古今未曾有は歩き回り始めない fact9: もし仮にあのレシートが扱い易くないとするとこの古今未曾有は歩き回り始めない ; $hypothesis$ = その先天性は汚らしくないかあるいはドロップするかあるいは両方だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「その先天性は汚らしくないかそれはドロップするか両方だ」ということは事実と異なる; fact1 & assump1 -> int1: あの各レコードは御愛敬だ; fact6 -> int2: もし「あの各レコードは御愛敬だ」ということは成り立つとすれば着替える; int1 & int2 -> int3: あの各レコードは着替える; int3 & fact3 -> int4: この古今未曾有は歩き回り始める; fact7 & fact8 -> int5: この古今未曾有は歩き回り始めない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もし「その先天性は汚らしくないかあるいはそれはドロップする」ということは成り立たないならあの各レコードは御愛敬だ
事実2: 「その先天性はドロップするか扱い易くないかあるいは両方だ」ということは誤りでない
事実3: もし仮に「あの各レコードは着替える」ということは成り立つとすればこの古今未曾有は歩き回り始める
事実4: この紫蘭はドロップしない
事実5: もし仮にある物は着替えるとすれば「ドロップする」ということは確かである
事実6: 仮にとあるものは御愛敬であるとしたら着替える
事実7: あのレシートは多端でないか扱い易いということはないかあるいは両方である
事実8: あのレシートが多端でないかそれが扱い易くないかどちらもだとすればあの古今未曾有は歩き回り始めない
事実9: もし仮にあのレシートが扱い易くないとするとこの古今未曾有は歩き回り始めない

仮説: その先天性は汚らしくないかあるいはドロップするかあるいは両方だ
1. 仮定1: 以下のように仮定する。「その先天性は汚らしくないかそれはドロップするか両方だ」ということは事実と異なる
2. 事実1と仮定1から、推論1: "あの各レコードは御愛敬だ"が導かれる
3. 事実6から、推論2: "もし「あの各レコードは御愛敬だ」ということは成り立つとすれば着替える"が導かれる
4. 推論1と推論2から、推論3: "あの各レコードは着替える"が導かれる
5. 推論3と事実3から、推論4: "この古今未曾有は歩き回り始める"が導かれる
6. 事実7と事実8から、推論5: "この古今未曾有は歩き回り始めない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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