あの出勤時間は定めする
fact1: もし「なにがしかの物は確り者であるけど難聴学級でない」ということは成り立たないならば「定めする」ということは成り立つ fact2: もし仮に「あの出勤時間は細長いけれど難聴学級でない」ということは嘘であるとしたら確り者である fact3: このでぶは条件以外でない fact4: あの法的ポイントは細長い fact5: もし「あの出勤時間は確り者だけれど細長くない」ということは成り立たないなら難聴学級である fact6: もしもその防御因子が大人気無いし難聴学級であるとしたらあの法的ポイントは難聴学級だということはない fact7: このでぶが確り者ならばあの防御因子は大人気無い fact8: あの出勤時間が難聴学級だとすれば細長い fact9: 仮にこの中宿が峻別するとすればその防御因子は難聴学級である fact10: 仮にあの法的ポイントは細長いなら「難聴学級である」ということは確かである fact11: もし羨ましくない物がオンエアしないならば確り者である fact12: もしもその替えが広がり易くないとすればこの中宿は峻別するかあるいは難聴学級であるか両方ともである fact13: 「あの法的ポイントは難聴学級だ」ということは本当であるなら「あの出勤時間は確り者であるがしかし難聴学級でない」ということは嘘だ fact14: あの説教は難聴学級である fact15: もし何かは広がり易いということはないかあるいはそれが実証するかまたは両方ともだとしたらその替えは広がり易くない fact16: 「とあるものは難聴学級だが細長くない」ということは間違っているならそれは確り者だ fact17: 防犯対策は羨ましくなくてその上オンエアしない fact18: このでぶは条件以外でないならそれは太しし加えて防犯対策だ fact19: この津軽海峡は広がり易くないかもしくは実証するかあるいは両方だ fact20: 仮にあの法的ポイントが細長いということはないがしかし定めするならばあの出勤時間は定めしない
fact10 & fact4 -> int1: あの法的ポイントは難聴学級だ; int1 & fact13 -> int2: 「あの出勤時間は確り者であるけど難聴学級でない」ということは嘘だ; fact1 -> int3: もし仮に「あの出勤時間は確り者であるけれどそれは難聴学級でない」ということは間違いだとすると「定めする」ということは成り立つ; int2 & int3 -> hypothesis;
あの出勤時間は定めしない
fact22 -> int4: もしこのでぶが羨ましくないしまたそれがオンエアしないなら確り者だ; fact28 -> int5: もしもこのでぶは防犯対策であるとしたら「羨ましくなくてオンエアしない」ということは本当だ; fact23 & fact27 -> int6: このでぶが太ししその上防犯対策だ; int6 -> int7: このでぶは防犯対策である; int5 & int7 -> int8: このでぶは羨ましくない物であり加えてオンエアしない; int4 & int8 -> int9: このでぶは確り者である; fact29 & int9 -> int10: 「その防御因子は大人気無い」ということは確かである; fact30 -> int11: とあるものは広がり易くないかあるいは実証するかもしくは両方ともだ; int11 & fact31 -> int12: その替えは広がり易くない; fact24 & int12 -> int13: この中宿は峻別するかまたは難聴学級だ;
$facts$ = fact1: もし「なにがしかの物は確り者であるけど難聴学級でない」ということは成り立たないならば「定めする」ということは成り立つ fact2: もし仮に「あの出勤時間は細長いけれど難聴学級でない」ということは嘘であるとしたら確り者である fact3: このでぶは条件以外でない fact4: あの法的ポイントは細長い fact5: もし「あの出勤時間は確り者だけれど細長くない」ということは成り立たないなら難聴学級である fact6: もしもその防御因子が大人気無いし難聴学級であるとしたらあの法的ポイントは難聴学級だということはない fact7: このでぶが確り者ならばあの防御因子は大人気無い fact8: あの出勤時間が難聴学級だとすれば細長い fact9: 仮にこの中宿が峻別するとすればその防御因子は難聴学級である fact10: 仮にあの法的ポイントは細長いなら「難聴学級である」ということは確かである fact11: もし羨ましくない物がオンエアしないならば確り者である fact12: もしもその替えが広がり易くないとすればこの中宿は峻別するかあるいは難聴学級であるか両方ともである fact13: 「あの法的ポイントは難聴学級だ」ということは本当であるなら「あの出勤時間は確り者であるがしかし難聴学級でない」ということは嘘だ fact14: あの説教は難聴学級である fact15: もし何かは広がり易いということはないかあるいはそれが実証するかまたは両方ともだとしたらその替えは広がり易くない fact16: 「とあるものは難聴学級だが細長くない」ということは間違っているならそれは確り者だ fact17: 防犯対策は羨ましくなくてその上オンエアしない fact18: このでぶは条件以外でないならそれは太しし加えて防犯対策だ fact19: この津軽海峡は広がり易くないかもしくは実証するかあるいは両方だ fact20: 仮にあの法的ポイントが細長いということはないがしかし定めするならばあの出勤時間は定めしない ; $hypothesis$ = あの出勤時間は定めする ; $proof$ = 
fact10 & fact4 -> int1: あの法的ポイントは難聴学級だ; int1 & fact13 -> int2: 「あの出勤時間は確り者であるけど難聴学級でない」ということは嘘だ; fact1 -> int3: もし仮に「あの出勤時間は確り者であるけれどそれは難聴学級でない」ということは間違いだとすると「定めする」ということは成り立つ; int2 & int3 -> hypothesis; __PROVED__
事実1: もし「なにがしかの物は確り者であるけど難聴学級でない」ということは成り立たないならば「定めする」ということは成り立つ
事実2: もし仮に「あの出勤時間は細長いけれど難聴学級でない」ということは嘘であるとしたら確り者である
事実3: このでぶは条件以外でない
事実4: あの法的ポイントは細長い
事実5: もし「あの出勤時間は確り者だけれど細長くない」ということは成り立たないなら難聴学級である
事実6: もしもその防御因子が大人気無いし難聴学級であるとしたらあの法的ポイントは難聴学級だということはない
事実7: このでぶが確り者ならばあの防御因子は大人気無い
事実8: あの出勤時間が難聴学級だとすれば細長い
事実9: 仮にこの中宿が峻別するとすればその防御因子は難聴学級である
事実10: 仮にあの法的ポイントは細長いなら「難聴学級である」ということは確かである
事実11: もし羨ましくない物がオンエアしないならば確り者である
事実12: もしもその替えが広がり易くないとすればこの中宿は峻別するかあるいは難聴学級であるか両方ともである
事実13: 「あの法的ポイントは難聴学級だ」ということは本当であるなら「あの出勤時間は確り者であるがしかし難聴学級でない」ということは嘘だ
事実14: あの説教は難聴学級である
事実15: もし何かは広がり易いということはないかあるいはそれが実証するかまたは両方ともだとしたらその替えは広がり易くない
事実16: 「とあるものは難聴学級だが細長くない」ということは間違っているならそれは確り者だ
事実17: 防犯対策は羨ましくなくてその上オンエアしない
事実18: このでぶは条件以外でないならそれは太しし加えて防犯対策だ
事実19: この津軽海峡は広がり易くないかもしくは実証するかあるいは両方だ
事実20: 仮にあの法的ポイントが細長いということはないがしかし定めするならばあの出勤時間は定めしない

仮説: あの出勤時間は定めする
1. 事実10と事実4から、推論1: "あの法的ポイントは難聴学級だ"が導かれる
2. 推論1と事実13から、推論2: "「あの出勤時間は確り者であるけど難聴学級でない」ということは嘘だ"が導かれる
3. 事実1から、推論3: "もし仮に「あの出勤時間は確り者であるけれどそれは難聴学級でない」ということは間違いだとすると「定めする」ということは成り立つ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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