あの新技術設備は二十七図だということはない
fact1: 乳臭い物はある fact2: もしある物は年金受給者でないならばそれは御宜しくなくて冷たくない fact3: もしも「あの新技術設備は御宜しくない」ということは成り立つとすればこの利用可能量は二十七図であるしおまけに乳臭い fact4: あの新技術設備は包まるない fact5: 「申し訳程度でない」物はある fact6: 御宜しい物は申し訳程度だ fact7: あの新技術設備は乳臭い fact8: この安得虎児は二十七図である fact9: あの浜笛吹き稚魚は申し訳程度でない fact10: もしあの新技術設備が二十七図だとしたら申し訳程度である fact11: もし仮になにがしかの物が乳臭くないならあの新技術設備は申し訳程度でない fact12: 「広告器具でない」ものはある fact13: あの新技術設備は女役だ fact14: 「「二十七図でない」ということは真実な」物はある fact15: あの新技術設備は入射瞳だということはない fact16: その営業全体は二十七図である fact17: あのホモロジー検索は御披露目しない fact18: 仮にあの防衛本能は申し訳程度であるとすると「「あのホモロジー検索は二十七図でなくてかつ乳臭くない」ということは本当である」ということは誤っている fact19: 「乳臭いということはない」物はある fact20: 「あの新技術設備は濯がない」ということは成り立つ
void -> assump1: 以下のように仮定する。あの新技術設備は二十七図だ; fact10 & assump1 -> int1: あの新技術設備は申し訳程度である; fact19 & fact11 -> int2: あの新技術設備は申し訳程度でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この利用可能量は申し訳程度である
fact22 -> int4: もしあの新技術設備は年金受給者でないならばそれは御宜しくないしおまけに冷たくない;
$facts$ = fact1: 乳臭い物はある fact2: もしある物は年金受給者でないならばそれは御宜しくなくて冷たくない fact3: もしも「あの新技術設備は御宜しくない」ということは成り立つとすればこの利用可能量は二十七図であるしおまけに乳臭い fact4: あの新技術設備は包まるない fact5: 「申し訳程度でない」物はある fact6: 御宜しい物は申し訳程度だ fact7: あの新技術設備は乳臭い fact8: この安得虎児は二十七図である fact9: あの浜笛吹き稚魚は申し訳程度でない fact10: もしあの新技術設備が二十七図だとしたら申し訳程度である fact11: もし仮になにがしかの物が乳臭くないならあの新技術設備は申し訳程度でない fact12: 「広告器具でない」ものはある fact13: あの新技術設備は女役だ fact14: 「「二十七図でない」ということは真実な」物はある fact15: あの新技術設備は入射瞳だということはない fact16: その営業全体は二十七図である fact17: あのホモロジー検索は御披露目しない fact18: 仮にあの防衛本能は申し訳程度であるとすると「「あのホモロジー検索は二十七図でなくてかつ乳臭くない」ということは本当である」ということは誤っている fact19: 「乳臭いということはない」物はある fact20: 「あの新技術設備は濯がない」ということは成り立つ ; $hypothesis$ = あの新技術設備は二十七図だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの新技術設備は二十七図だ; fact10 & assump1 -> int1: あの新技術設備は申し訳程度である; fact19 & fact11 -> 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: あのホモロジー検索は御披露目しない
事実18: 仮にあの防衛本能は申し訳程度であるとすると「「あのホモロジー検索は二十七図でなくてかつ乳臭くない」ということは本当である」ということは誤っている
事実19: 「乳臭いということはない」物はある
事実20: 「あの新技術設備は濯がない」ということは成り立つ

仮説: あの新技術設備は二十七図だということはない
1. 仮定1: 以下のように仮定する。あの新技術設備は二十七図だ
2. 事実10と仮定1から、推論1: "あの新技術設備は申し訳程度である"が導かれる
3. 事実19と事実11から、推論2: "あの新技術設備は申し訳程度でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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