「持ち帰りでない」ものはある
fact1: 「等し」物はある fact2: なにがしかの物は公式発表する fact3: 「持ち帰りな」物はある fact4: この固執が述べ伝え為さるとしたらこのＡＬ‐ＲＡは述べ伝え為さる fact5: そのＪＯＹは持ち帰りだということはない fact6: 「痛々しい」ものはある fact7: もし仮に「説得しない」物があるとすればあの固執は述べ伝え為さる fact8: 「そのＪＯＹは輪状披裂関節でない」ということは真実である fact9: あの副腎皮質ホルモン補充療法は偉人だということはない fact10: 「「捜査法でない」ということは真実な」物はある fact11: 何らかのものは生み易くない fact12: そのＪＯＹはポインタ演算でない fact13: 「負傷するということはない」物はある fact14: 「もしもなんらかの物が偏り易いとしたらそれは説得しないがしかし勉学する」ということは成り立つ fact15: そのＪＯＹは気弱くない fact16: あの左右対称はポインタ演算でない fact17: そのＪＯＹは見受けるということはない fact18: もし「このＡＬ‐ＲＡは持ち帰りでないがそれはライブ・シンガーだ」ということは真実であるということはないとしたらあのＴＡＣネームは呪わしいということはない fact19: 「御宜しくない」ものはある fact20: どれもこれもは偏り易い fact21: 「進化し易いということはない」物はある
fact5 -> hypothesis;
あのＴＡＣネームは呪わしくない
fact23 -> int1: 「その十八切符は偏り易い」ということは事実である; fact24 -> int2: 仮にその十八切符が偏り易いなら説得するということはないけど勉学する; int1 & int2 -> int3: その十八切符は説得しないけど勉学する; int3 -> int4: どれもこれもは説得するということはないし更に勉学する; int4 -> int5: その花達は説得しないけれど勉学する; int5 -> int6: 「その花達は説得するということはない」ということは成り立つ; int6 -> int7: なんらかの物は説得しない; int7 & fact25 -> int8: この固執は述べ伝え為さる; fact22 & int8 -> int9: このＡＬ‐ＲＡは述べ伝え為さる;
$facts$ = fact1: 「等し」物はある fact2: なにがしかの物は公式発表する fact3: 「持ち帰りな」物はある fact4: この固執が述べ伝え為さるとしたらこのＡＬ‐ＲＡは述べ伝え為さる fact5: そのＪＯＹは持ち帰りだということはない fact6: 「痛々しい」ものはある fact7: もし仮に「説得しない」物があるとすればあの固執は述べ伝え為さる fact8: 「そのＪＯＹは輪状披裂関節でない」ということは真実である fact9: あの副腎皮質ホルモン補充療法は偉人だということはない fact10: 「「捜査法でない」ということは真実な」物はある fact11: 何らかのものは生み易くない fact12: そのＪＯＹはポインタ演算でない fact13: 「負傷するということはない」物はある fact14: 「もしもなんらかの物が偏り易いとしたらそれは説得しないがしかし勉学する」ということは成り立つ fact15: そのＪＯＹは気弱くない fact16: あの左右対称はポインタ演算でない fact17: そのＪＯＹは見受けるということはない fact18: もし「このＡＬ‐ＲＡは持ち帰りでないがそれはライブ・シンガーだ」ということは真実であるということはないとしたらあのＴＡＣネームは呪わしいということはない fact19: 「御宜しくない」ものはある fact20: どれもこれもは偏り易い fact21: 「進化し易いということはない」物はある ; $hypothesis$ = 「持ち帰りでない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「等し」物はある
事実2: なにがしかの物は公式発表する
事実3: 「持ち帰りな」物はある
事実4: この固執が述べ伝え為さるとしたらこのＡＬ‐ＲＡは述べ伝え為さる
事実5: そのＪＯＹは持ち帰りだということはない
事実6: 「痛々しい」ものはある
事実7: もし仮に「説得しない」物があるとすればあの固執は述べ伝え為さる
事実8: 「そのＪＯＹは輪状披裂関節でない」ということは真実である
事実9: あの副腎皮質ホルモン補充療法は偉人だということはない
事実10: 「「捜査法でない」ということは真実な」物はある
事実11: 何らかのものは生み易くない
事実12: そのＪＯＹはポインタ演算でない
事実13: 「負傷するということはない」物はある
事実14: 「もしもなんらかの物が偏り易いとしたらそれは説得しないがしかし勉学する」ということは成り立つ
事実15: そのＪＯＹは気弱くない
事実16: あの左右対称はポインタ演算でない
事実17: そのＪＯＹは見受けるということはない
事実18: もし「このＡＬ‐ＲＡは持ち帰りでないがそれはライブ・シンガーだ」ということは真実であるということはないとしたらあのＴＡＣネームは呪わしいということはない
事実19: 「御宜しくない」ものはある
事実20: どれもこれもは偏り易い
事実21: 「進化し易いということはない」物はある

仮説: 「持ち帰りでない」ものはある
1. 事実5から、仮説が導かれる

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