「この実業は普遍的原理でない」ということは間違っていない
fact1: この歴史的時点は発症しないなら「その見頃は御覧に成らないし更にそれは御寄せ頂かない」ということは誤っている fact2: あの合法規性は脂っぽい fact3: その見頃が脂っぽいならこの歴史的時点は御覧に成らない fact4: その見頃が注意深くないとするとこの歴史的時点は御覧に成る fact5: あらゆる物は御覧に成るしそれは御寄せ頂く fact6: もし仮にその見頃が注意深くないとするとこの歴史的時点は御覧に成らない fact7: 仮になにかは御寄せ頂くということはないならばそれは区分所有等であるし御覧に成る fact8: 仮にこの実業が普遍的原理だとするとその見頃は脂っぽいかまたは注意深くない fact9: この軽空母は洋学科であるし焦れったい fact10: もしこの歴史的時点は注意深くないならば「その見頃は御覧に成る」ということは成り立つ
void -> assump1: 以下のように仮定する。この実業は普遍的原理だ; fact8 & assump1 -> int1: その見頃は脂っぽいかもしくは注意深くない; int1 & fact3 & fact6 -> int2: この歴史的時点は御覧に成らない; fact5 -> int3: この歴史的時点は御覧に成るしおまけにそれは御寄せ頂く; int3 -> int4: この歴史的時点は御覧に成る; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
すべてのものは鋭いし加えて区分所有等だ
fact11 -> int6: もし仮にこの実業が御寄せ頂かないとしたらそれは区分所有等であるしそれは御覧に成る;
$facts$ = fact1: この歴史的時点は発症しないなら「その見頃は御覧に成らないし更にそれは御寄せ頂かない」ということは誤っている fact2: あの合法規性は脂っぽい fact3: その見頃が脂っぽいならこの歴史的時点は御覧に成らない fact4: その見頃が注意深くないとするとこの歴史的時点は御覧に成る fact5: あらゆる物は御覧に成るしそれは御寄せ頂く fact6: もし仮にその見頃が注意深くないとするとこの歴史的時点は御覧に成らない fact7: 仮になにかは御寄せ頂くということはないならばそれは区分所有等であるし御覧に成る fact8: 仮にこの実業が普遍的原理だとするとその見頃は脂っぽいかまたは注意深くない fact9: この軽空母は洋学科であるし焦れったい fact10: もしこの歴史的時点は注意深くないならば「その見頃は御覧に成る」ということは成り立つ ; $hypothesis$ = 「この実業は普遍的原理でない」ということは間違っていない ; $proof$ = 
void -> assump1: 以下のように仮定する。この実業は普遍的原理だ; fact8 & assump1 -> int1: その見頃は脂っぽいかもしくは注意深くない; int1 & fact3 & fact6 -> int2: この歴史的時点は御覧に成らない; fact5 -> int3: この歴史的時点は御覧に成るしおまけにそれは御寄せ頂く; int3 -> int4: この歴史的時点は御覧に成る; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: この歴史的時点は発症しないなら「その見頃は御覧に成らないし更にそれは御寄せ頂かない」ということは誤っている
事実2: あの合法規性は脂っぽい
事実3: その見頃が脂っぽいならこの歴史的時点は御覧に成らない
事実4: その見頃が注意深くないとするとこの歴史的時点は御覧に成る
事実5: あらゆる物は御覧に成るしそれは御寄せ頂く
事実6: もし仮にその見頃が注意深くないとするとこの歴史的時点は御覧に成らない
事実7: 仮になにかは御寄せ頂くということはないならばそれは区分所有等であるし御覧に成る
事実8: 仮にこの実業が普遍的原理だとするとその見頃は脂っぽいかまたは注意深くない
事実9: この軽空母は洋学科であるし焦れったい
事実10: もしこの歴史的時点は注意深くないならば「その見頃は御覧に成る」ということは成り立つ

仮説: 「この実業は普遍的原理でない」ということは間違っていない
1. 仮定1: 以下のように仮定する。この実業は普遍的原理だ
2. 事実8と仮定1から、推論1: "その見頃は脂っぽいかもしくは注意深くない"が導かれる
3. 推論1と事実3と事実6から、推論2: "この歴史的時点は御覧に成らない"が導かれる
4. 事実5から、推論3: "この歴史的時点は御覧に成るしおまけにそれは御寄せ頂く"が導かれる
5. 推論3から、推論4: "この歴史的時点は御覧に成る"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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