この期間毎はわりない
fact1: なんらかの物が日本書紀訓読でかつ御御ならあの小ドイツは縺れる fact2: 「なにかはわりない」ということは本当である fact3: 仮に「日本書紀訓読であるしおまけに縺れる」ものがあるとすればこの期間毎はわりない fact4: その舎人はスクラムチームであるしそれに稼ぎ頭である fact5: 「煎じ詰めないかもしくは中国女子でないかどちらもである」ものはある fact6: 「「包容しないかもしくは南下する」ということは成り立たない」物はある fact7: その舎人は御御だ fact8: あの各種施設は通り芯だ fact9: 「「蒸すということはないかもしくは作り置きしないかあるいは両方ともだ」ということは成り立たない」ものはある fact10: 「涙脆い」ものはある fact11: あの小ドイツは極まり悪いししかも変身出来る fact12: この卵胞ホルモンは御御であるしまたそれは嘆かわしい fact13: 視野検査であっておまけに発生し難い物はある fact14: もしもなにかは開け為さればそれは日本書紀訓読だ fact15: 仮に「「蒸さないかまたは作り置きしない」ということは成り立たない」ものはあるとすると「あの小ドイツは御御でない」ということは真実だ fact16: どれもこれもは痛々しいしおまけにそれは咲き誇らない fact17: その舎人は作り置きする fact18: 全てのものは縺れるが南下しない fact19: とある物は茶色っぽい fact20: もしあの小ドイツが包容するけど御御でないとするとその舎人は開け為さる fact21: あの小ドイツは二万五千分の一地形図である fact22: あの小ドイツは炊き上がるししかもそれは包容する
fact22 -> int1: あの小ドイツは包容する; fact15 & fact9 -> int2: あの小ドイツは御御でない; int1 & int2 -> int3: あの小ドイツは包容するが御御でない; int3 & fact20 -> int4: その舎人は開け為さる; fact14 -> int5: その舎人が開け為されば日本書紀訓読だ; int4 & int5 -> int6: その舎人は日本書紀訓読である; fact18 -> int7: その舎人は縺れるけどそれは南下するということはない; int7 -> int8: 「その舎人は縺れる」ということは成り立つ; int6 & int8 -> int9: その舎人は日本書紀訓読であるし加えて縺れる; int9 -> int10: 「日本書紀訓読だし縺れる」物はある; int10 & fact3 -> hypothesis;
$facts$ = fact1: なんらかの物が日本書紀訓読でかつ御御ならあの小ドイツは縺れる fact2: 「なにかはわりない」ということは本当である fact3: 仮に「日本書紀訓読であるしおまけに縺れる」ものがあるとすればこの期間毎はわりない fact4: その舎人はスクラムチームであるしそれに稼ぎ頭である fact5: 「煎じ詰めないかもしくは中国女子でないかどちらもである」ものはある fact6: 「「包容しないかもしくは南下する」ということは成り立たない」物はある fact7: その舎人は御御だ fact8: あの各種施設は通り芯だ fact9: 「「蒸すということはないかもしくは作り置きしないかあるいは両方ともだ」ということは成り立たない」ものはある fact10: 「涙脆い」ものはある fact11: あの小ドイツは極まり悪いししかも変身出来る fact12: この卵胞ホルモンは御御であるしまたそれは嘆かわしい fact13: 視野検査であっておまけに発生し難い物はある fact14: もしもなにかは開け為さればそれは日本書紀訓読だ fact15: 仮に「「蒸さないかまたは作り置きしない」ということは成り立たない」ものはあるとすると「あの小ドイツは御御でない」ということは真実だ fact16: どれもこれもは痛々しいしおまけにそれは咲き誇らない fact17: その舎人は作り置きする fact18: 全てのものは縺れるが南下しない fact19: とある物は茶色っぽい fact20: もしあの小ドイツが包容するけど御御でないとするとその舎人は開け為さる fact21: あの小ドイツは二万五千分の一地形図である fact22: あの小ドイツは炊き上がるししかもそれは包容する ; $hypothesis$ = この期間毎はわりない ; $proof$ = 
fact22 -> int1: あの小ドイツは包容する; fact15 & fact9 -> int2: あの小ドイツは御御でない; int1 & int2 -> int3: あの小ドイツは包容するが御御でない; int3 & fact20 -> int4: その舎人は開け為さる; fact14 -> int5: その舎人が開け為されば日本書紀訓読だ; int4 & int5 -> int6: その舎人は日本書紀訓読である; fact18 -> int7: その舎人は縺れるけどそれは南下するということはない; int7 -> int8: 「その舎人は縺れる」ということは成り立つ; int6 & int8 -> int9: その舎人は日本書紀訓読であるし加えて縺れる; int9 -> int10: 「日本書紀訓読だし縺れる」物はある; int10 & fact3 -> hypothesis; __PROVED__
事実1: なんらかの物が日本書紀訓読でかつ御御ならあの小ドイツは縺れる
事実2: 「なにかはわりない」ということは本当である
事実3: 仮に「日本書紀訓読であるしおまけに縺れる」ものがあるとすればこの期間毎はわりない
事実4: その舎人はスクラムチームであるしそれに稼ぎ頭である
事実5: 「煎じ詰めないかもしくは中国女子でないかどちらもである」ものはある
事実6: 「「包容しないかもしくは南下する」ということは成り立たない」物はある
事実7: その舎人は御御だ
事実8: あの各種施設は通り芯だ
事実9: 「「蒸すということはないかもしくは作り置きしないかあるいは両方ともだ」ということは成り立たない」ものはある
事実10: 「涙脆い」ものはある
事実11: あの小ドイツは極まり悪いししかも変身出来る
事実12: この卵胞ホルモンは御御であるしまたそれは嘆かわしい
事実13: 視野検査であっておまけに発生し難い物はある
事実14: もしもなにかは開け為さればそれは日本書紀訓読だ
事実15: 仮に「「蒸さないかまたは作り置きしない」ということは成り立たない」ものはあるとすると「あの小ドイツは御御でない」ということは真実だ
事実16: どれもこれもは痛々しいしおまけにそれは咲き誇らない
事実17: その舎人は作り置きする
事実18: 全てのものは縺れるが南下しない
事実19: とある物は茶色っぽい
事実20: もしあの小ドイツが包容するけど御御でないとするとその舎人は開け為さる
事実21: あの小ドイツは二万五千分の一地形図である
事実22: あの小ドイツは炊き上がるししかもそれは包容する

仮説: この期間毎はわりない
1. 事実22から、推論1: "あの小ドイツは包容する"が導かれる
2. 事実15と事実9から、推論2: "あの小ドイツは御御でない"が導かれる
3. 推論1と推論2から、推論3: "あの小ドイツは包容するが御御でない"が導かれる
4. 推論3と事実20から、推論4: "その舎人は開け為さる"が導かれる
5. 事実14から、推論5: "その舎人が開け為されば日本書紀訓読だ"が導かれる
6. 推論4と推論5から、推論6: "その舎人は日本書紀訓読である"が導かれる
7. 事実18から、推論7: "その舎人は縺れるけどそれは南下するということはない"が導かれる
8. 推論7から、推論8: "「その舎人は縺れる」ということは成り立つ"が導かれる
9. 推論6と推論8から、推論9: "その舎人は日本書紀訓読であるし加えて縺れる"が導かれる
10. 推論9から、推論10: "「日本書紀訓読だし縺れる」物はある"が導かれる
11. 推論10と事実3から、仮説が導かれる

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