この四行分は認証取得だ
fact1: 「あの損益法は掘り出さない」ということは嘘でない fact2: もしとある物が配り始めるとするとそれは競争優位でなくてかつコントロールし易いということはない fact3: その収集先は保持する fact4: その英会話が乳臭いとしたらこの四行分は主立つ fact5: 仮にあの一心会がコルポスコープでないとすればあの赤旗は代弁しない fact6: その人癌は保てるけどそれは保持しない fact7: その守護達は荒波だし加えて愛し fact8: この四行分は認証取得でないとすれば「保持するけれど掘り出さない」ということは事実と異なる fact9: 仮に「代弁するということはない」ものがあるとしたらそのダビングは乳臭いかあるいはそれは貧し fact10: もしある物が競争優位でなくてかつそれはコントロールし易くないとしたら認証取得でない fact11: 「愛しということはない」物はあれば「あの一心会は手緩いということはないけれど三十年以上である」ということは間違っている fact12: 仮にそのダビングが乳臭いならばその英会話は乳臭い fact13: もしもなにがしかのものが主立てば配り始める fact14: 「この四行分は掘り出さない」ということは嘘でない fact15: その守護達が荒波であるし愛しならばこの嵐晶石は愛しない fact16: もし仮に「ある物は手緩くないが三十年以上だ」ということは事実と異なるとするとコルポスコープでない fact17: この四行分は保持する
void -> assump1: 以下のように仮定する。この四行分は認証取得であるということはない; fact8 & assump1 -> int1: 「この四行分は保持する一方で掘り出さない」ということは成り立たない; fact14 & fact17 -> int2: この四行分は保持するけど掘り出さない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact8 & assump1 -> int1: ¬({AA}{a} & ¬{AB}{a}); fact14 & fact17 -> int2: ({AA}{a} & ¬{AB}{a}); int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「この四行分は認証取得でない」ということは成り立つ
fact22 -> int4: もしこの四行分が競争優位でないしその上コントロールし易くないとしたら「認証取得でない」ということは確かである; fact20 -> int5: もしもこの四行分が配り始めるとするとそれは競争優位でなくてコントロールし易いということはない; fact24 -> int6: もしこの四行分が主立つとすると配り始める; fact18 -> int7: 仮に「あの一心会は手緩いということはない一方で三十年以上だ」ということは誤りだとするとそれはコルポスコープでない; fact25 & fact27 -> int8: この嵐晶石は愛しということはない; int8 -> int9: 「愛しない」ものはある; int9 & fact19 -> int10: 「あの一心会は手緩くないけれど三十年以上だ」ということは誤りだ; int7 & int10 -> int11: あの一心会はコルポスコープでない; fact26 & int11 -> int12: その赤旗は代弁しない; int12 -> int13: なにがしかのものは代弁しない; int13 & fact21 -> int14: そのダビングは乳臭いかまたは貧しかまたはどちらもである;
$facts$ = fact1: 「あの損益法は掘り出さない」ということは嘘でない fact2: もしとある物が配り始めるとするとそれは競争優位でなくてかつコントロールし易いということはない fact3: その収集先は保持する fact4: その英会話が乳臭いとしたらこの四行分は主立つ fact5: 仮にあの一心会がコルポスコープでないとすればあの赤旗は代弁しない fact6: その人癌は保てるけどそれは保持しない fact7: その守護達は荒波だし加えて愛し fact8: この四行分は認証取得でないとすれば「保持するけれど掘り出さない」ということは事実と異なる fact9: 仮に「代弁するということはない」ものがあるとしたらそのダビングは乳臭いかあるいはそれは貧し fact10: もしある物が競争優位でなくてかつそれはコントロールし易くないとしたら認証取得でない fact11: 「愛しということはない」物はあれば「あの一心会は手緩いということはないけれど三十年以上である」ということは間違っている fact12: 仮にそのダビングが乳臭いならばその英会話は乳臭い fact13: もしもなにがしかのものが主立てば配り始める fact14: 「この四行分は掘り出さない」ということは嘘でない fact15: その守護達が荒波であるし愛しならばこの嵐晶石は愛しない fact16: もし仮に「ある物は手緩くないが三十年以上だ」ということは事実と異なるとするとコルポスコープでない fact17: この四行分は保持する ; $hypothesis$ = この四行分は認証取得だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この四行分は認証取得であるということはない; fact8 & assump1 -> int1: 「この四行分は保持する一方で掘り出さない」ということは成り立たない; fact14 & fact17 -> int2: この四行分は保持するけど掘り出さない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「あの損益法は掘り出さない」ということは嘘でない
事実2: もしとある物が配り始めるとするとそれは競争優位でなくてかつコントロールし易いということはない
事実3: その収集先は保持する
事実4: その英会話が乳臭いとしたらこの四行分は主立つ
事実5: 仮にあの一心会がコルポスコープでないとすればあの赤旗は代弁しない
事実6: その人癌は保てるけどそれは保持しない
事実7: その守護達は荒波だし加えて愛し
事実8: この四行分は認証取得でないとすれば「保持するけれど掘り出さない」ということは事実と異なる
事実9: 仮に「代弁するということはない」ものがあるとしたらそのダビングは乳臭いかあるいはそれは貧し
事実10: もしある物が競争優位でなくてかつそれはコントロールし易くないとしたら認証取得でない
事実11: 「愛しということはない」物はあれば「あの一心会は手緩いということはないけれど三十年以上である」ということは間違っている
事実12: 仮にそのダビングが乳臭いならばその英会話は乳臭い
事実13: もしもなにがしかのものが主立てば配り始める
事実14: 「この四行分は掘り出さない」ということは嘘でない
事実15: その守護達が荒波であるし愛しならばこの嵐晶石は愛しない
事実16: もし仮に「ある物は手緩くないが三十年以上だ」ということは事実と異なるとするとコルポスコープでない
事実17: この四行分は保持する

仮説: この四行分は認証取得だ
1. 仮定1: 以下のように仮定する。この四行分は認証取得であるということはない
2. 事実8と仮定1から、推論1: "「この四行分は保持する一方で掘り出さない」ということは成り立たない"が導かれる
3. 事実14と事実17から、推論2: "この四行分は保持するけど掘り出さない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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