この四人前はしつっこいがしかし掘り尽くすということはない
fact1: 「ウェブサイト上である」ものはある fact2: 「あの金ぴか先生は見舞う」ということは確かだ fact3: もし仮にこのリレーショナル・データベースが十二項目だとすればそれは攻略出来ない fact4: あのＨイートは引っ手繰らない fact5: 仮にその格子模様は地鳥だ一方で変わり行かないとすると「あのＨイートは分極ベクトルＰでない」ということは確かである fact6: もし営業時間内はあるなら「「あのＨイートは人生勉強だけれどそれは営業時間内でない」ということは成り立つ」ということは本当でない fact7: もし「なにがしかの物は人生勉強でないししかも十二項目でない」ということは成り立たないとすれば攻略出来ない fact8: 十二項目はある fact9: もしもその格子模様がダウンロードしないとすればそれは地鳥だ一方で変わり行くということはない fact10: 仮にあるものが分極ベクトルＰでないけれどそれが沈降すればそれは叱り付けない fact11: なにがしかのものは叱り付けないなら「攻略出来るけれど営業時間内でない」ということは成り立たない fact12: もし仮に何らかの物は営業時間内であるとするとそれは叱り付ける fact13: もしも「攻略出来なくてその上引っ手繰る」ものがあるならあのＨイートは営業時間内である fact14: 「攻略出来ない」ものはある fact15: このリレーショナル・データベースは沈降する fact16: その格子模様はダウンロードしない fact17: もし何らかの物が攻略出来るとしたらそれは引っ手繰る fact18: あのＨイートが叱り付けるとしたらこの四人前はしつっこい fact19: もしもこのリレーショナル・データベースが沈降するとしたら引っ手繰る fact20: なにがしかのものは引っ手繰るとすれば「それはしつっこいが掘り尽くさない」ということは成り立つということはない fact21: もし仮にあのＨイートが叱り付ければこの四人前はしつっこいがしかし掘り尽くさない fact22: 「十二項目な」ものはあるとすれば「このリレーショナル・データベースは人生勉強でなくてかつ十二項目でない」ということは成り立たない fact23: 「「引っ手繰る」ということは確かである」物はある
fact7 -> int1: もし「「このリレーショナル・データベースは人生勉強でなくて十二項目でない」ということは嘘だ」ということは成り立つなら攻略出来ない; fact22 & fact8 -> int2: 「このリレーショナル・データベースは人生勉強でなくて更に十二項目でない」ということは嘘だ; int1 & int2 -> int3: このリレーショナル・データベースは攻略出来ない; fact15 & fact19 -> int4: このリレーショナル・データベースは引っ手繰る; int3 & int4 -> int5: このリレーショナル・データベースは攻略出来るということはない一方でそれは引っ手繰る; int5 -> int6: 「攻略出来ない一方で引っ手繰る」ものはある; int6 & fact13 -> int7: あのＨイートは営業時間内だ; fact12 -> int8: もしあのＨイートは営業時間内であるならばそれは叱り付ける; int7 & int8 -> int9: あのＨイートは叱り付ける; int9 & fact21 -> hypothesis;
「「この四人前はしつっこいけどそれは掘り尽くさない」ということは偽である」ということは事実である
fact30 -> int10: もしもこの四人前は引っ手繰れば「しつっこいしさらにそれは掘り尽くさない」ということは嘘である; fact27 -> int11: もし仮にこの四人前が攻略出来るとするとそれは引っ手繰る; fact24 -> int12: もしも「あのＨイートは叱り付けるということはない」ということは真実であるとしたら「攻略出来るしそれは営業時間内でない」ということは誤っている; fact29 -> int13: あのＨイートは分極ベクトルＰでないがしかし沈降するとするとそれは叱り付けない; fact28 & fact25 -> int14: その格子模様は地鳥である一方で変わり行くということはない; fact26 & int14 -> int15: 「あのＨイートは分極ベクトルＰでない」ということは成り立つ;
$facts$ = fact1: 「ウェブサイト上である」ものはある fact2: 「あの金ぴか先生は見舞う」ということは確かだ fact3: もし仮にこのリレーショナル・データベースが十二項目だとすればそれは攻略出来ない fact4: あのＨイートは引っ手繰らない fact5: 仮にその格子模様は地鳥だ一方で変わり行かないとすると「あのＨイートは分極ベクトルＰでない」ということは確かである fact6: もし営業時間内はあるなら「「あのＨイートは人生勉強だけれどそれは営業時間内でない」ということは成り立つ」ということは本当でない fact7: もし「なにがしかの物は人生勉強でないししかも十二項目でない」ということは成り立たないとすれば攻略出来ない fact8: 十二項目はある fact9: もしもその格子模様がダウンロードしないとすればそれは地鳥だ一方で変わり行くということはない fact10: 仮にあるものが分極ベクトルＰでないけれどそれが沈降すればそれは叱り付けない fact11: なにがしかのものは叱り付けないなら「攻略出来るけれど営業時間内でない」ということは成り立たない fact12: もし仮に何らかの物は営業時間内であるとするとそれは叱り付ける fact13: もしも「攻略出来なくてその上引っ手繰る」ものがあるならあのＨイートは営業時間内である fact14: 「攻略出来ない」ものはある fact15: このリレーショナル・データベースは沈降する fact16: その格子模様はダウンロードしない fact17: もし何らかの物が攻略出来るとしたらそれは引っ手繰る fact18: あのＨイートが叱り付けるとしたらこの四人前はしつっこい fact19: もしもこのリレーショナル・データベースが沈降するとしたら引っ手繰る fact20: なにがしかのものは引っ手繰るとすれば「それはしつっこいが掘り尽くさない」ということは成り立つということはない fact21: もし仮にあのＨイートが叱り付ければこの四人前はしつっこいがしかし掘り尽くさない fact22: 「十二項目な」ものはあるとすれば「このリレーショナル・データベースは人生勉強でなくてかつ十二項目でない」ということは成り立たない fact23: 「「引っ手繰る」ということは確かである」物はある ; $hypothesis$ = この四人前はしつっこいがしかし掘り尽くすということはない ; $proof$ = 
fact7 -> int1: もし「「このリレーショナル・データベースは人生勉強でなくて十二項目でない」ということは嘘だ」ということは成り立つなら攻略出来ない; fact22 & fact8 -> int2: 「このリレーショナル・データベースは人生勉強でなくて更に十二項目でない」ということは嘘だ; int1 & int2 -> int3: このリレーショナル・データベースは攻略出来ない; fact15 & fact19 -> int4: このリレーショナル・データベースは引っ手繰る; int3 & int4 -> int5: このリレーショナル・データベースは攻略出来るということはない一方でそれは引っ手繰る; int5 -> int6: 「攻略出来ない一方で引っ手繰る」ものはある; int6 & fact13 -> int7: あのＨイートは営業時間内だ; fact12 -> int8: もしあのＨイートは営業時間内であるならばそれは叱り付ける; int7 & int8 -> int9: あのＨイートは叱り付ける; int9 & fact21 -> hypothesis; __PROVED__
事実1: 「ウェブサイト上である」ものはある
事実2: 「あの金ぴか先生は見舞う」ということは確かだ
事実3: もし仮にこのリレーショナル・データベースが十二項目だとすればそれは攻略出来ない
事実4: あのＨイートは引っ手繰らない
事実5: 仮にその格子模様は地鳥だ一方で変わり行かないとすると「あのＨイートは分極ベクトルＰでない」ということは確かである
事実6: もし営業時間内はあるなら「「あのＨイートは人生勉強だけれどそれは営業時間内でない」ということは成り立つ」ということは本当でない
事実7: もし「なにがしかの物は人生勉強でないししかも十二項目でない」ということは成り立たないとすれば攻略出来ない
事実8: 十二項目はある
事実9: もしもその格子模様がダウンロードしないとすればそれは地鳥だ一方で変わり行くということはない
事実10: 仮にあるものが分極ベクトルＰでないけれどそれが沈降すればそれは叱り付けない
事実11: なにがしかのものは叱り付けないなら「攻略出来るけれど営業時間内でない」ということは成り立たない
事実12: もし仮に何らかの物は営業時間内であるとするとそれは叱り付ける
事実13: もしも「攻略出来なくてその上引っ手繰る」ものがあるならあのＨイートは営業時間内である
事実14: 「攻略出来ない」ものはある
事実15: このリレーショナル・データベースは沈降する
事実16: その格子模様はダウンロードしない
事実17: もし何らかの物が攻略出来るとしたらそれは引っ手繰る
事実18: あのＨイートが叱り付けるとしたらこの四人前はしつっこい
事実19: もしもこのリレーショナル・データベースが沈降するとしたら引っ手繰る
事実20: なにがしかのものは引っ手繰るとすれば「それはしつっこいが掘り尽くさない」ということは成り立つということはない
事実21: もし仮にあのＨイートが叱り付ければこの四人前はしつっこいがしかし掘り尽くさない
事実22: 「十二項目な」ものはあるとすれば「このリレーショナル・データベースは人生勉強でなくてかつ十二項目でない」ということは成り立たない
事実23: 「「引っ手繰る」ということは確かである」物はある

仮説: この四人前はしつっこいがしかし掘り尽くすということはない
1. 事実7から、推論1: "もし「「このリレーショナル・データベースは人生勉強でなくて十二項目でない」ということは嘘だ」ということは成り立つなら攻略出来ない"が導かれる
2. 事実22と事実8から、推論2: "「このリレーショナル・データベースは人生勉強でなくて更に十二項目でない」ということは嘘だ"が導かれる
3. 推論1と推論2から、推論3: "このリレーショナル・データベースは攻略出来ない"が導かれる
4. 事実15と事実19から、推論4: "このリレーショナル・データベースは引っ手繰る"が導かれる
5. 推論3と推論4から、推論5: "このリレーショナル・データベースは攻略出来るということはない一方でそれは引っ手繰る"が導かれる
6. 推論5から、推論6: "「攻略出来ない一方で引っ手繰る」ものはある"が導かれる
7. 推論6と事実13から、推論7: "あのＨイートは営業時間内だ"が導かれる
8. 事実12から、推論8: "もしあのＨイートは営業時間内であるならばそれは叱り付ける"が導かれる
9. 推論7と推論8から、推論9: "あのＨイートは叱り付ける"が導かれる
10. 推論9と事実21から、仮説が導かれる

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