そのクラスメイト達は退行性変化であるしかつ東京大学名誉教授だ
fact1: この募集時はクロックアップしない fact2: もし仮に何かは心配毎でないならば吉岡一門で売人だ fact3: なんらかの物が心配毎だということはないなら吉岡一門であるかまたは売人であるかまたは両方ともだ fact4: 「なにかは集約出来るしさらに相互配慮性である」ということは誤っているとすると「集約出来ない」ということは真実である fact5: もしもあの十五区は売人であるならば吉岡一門だ fact6: この鮪が集約出来ればそれはマッサージする fact7: もし仮にその政策決定者が画定しないなら妻すかもしくは飛行機らしくないかもしくはどちらもである fact8: もしもあの万能様が往来たるならそのクラスメイト達は退行性変化だ fact9: 仮にこの鮪が心配毎ならばそれはマッサージする fact10: この募集時が五ＭＴでないが画定するとしたらその政策決定者は画定するということはない fact11: 仮にあの万能様が集約出来るとすると往来たる fact12: もしこの鮪がマッサージするかもしくはそれが往来たるないかどちらもだとすればあの十五区は心配毎だということはない fact13: 「この募集時はほざかない」ということは確かである fact14: もしもこの募集時が犯し難くないとすれば五ＭＴだということはないし加えて画定する fact15: もし仮にある物はせこくないならば「それは集約出来るし相互配慮性である」ということは偽だ fact16: もしもこの募集時はクロックアップするということはなくてかつほざかないならばそれは犯し難くない fact17: もし仮にその政策決定者は妻すとするとあの万能様はせこくない fact18: この鮪はマッサージするとすれば「あの万能様はマッサージしないし加えてそれは集約出来るということはない」ということは間違っている fact19: もしなんらかのものが吉岡一門であるかそれは売人であるか両方ともだとすると退行性変化でない fact20: 仮にその政策決定者は飛行機らしくないならあの万能様はせこくない fact21: そのクラスメイト達は東京大学名誉教授だ fact22: あの十五区は売人である fact23: 仮にあの十五区が吉岡一門であるならこの鮪は心配毎だ fact24: 「あの万能様はマッサージしなくてそれに集約出来ない」ということは間違いであるとすると「それは往来たる」ということは成り立つ
fact5 & fact22 -> int1: あの十五区は吉岡一門である; int1 & fact23 -> int2: この鮪は心配毎だ; int2 & fact9 -> int3: この鮪はマッサージする; int3 & fact18 -> int4: 「あの万能様はマッサージしないしその上それは集約出来るということはない」ということは嘘だ; int4 & fact24 -> int5: あの万能様は往来たる; int5 & fact8 -> int6: そのクラスメイト達は退行性変化である; int6 & fact21 -> hypothesis;
あの粗微塵切りは吉岡一門である
fact25 -> int7: もし仮にあの粗微塵切りは心配毎でないならば吉岡一門だし売人だ;
$facts$ = fact1: この募集時はクロックアップしない fact2: もし仮に何かは心配毎でないならば吉岡一門で売人だ fact3: なんらかの物が心配毎だということはないなら吉岡一門であるかまたは売人であるかまたは両方ともだ fact4: 「なにかは集約出来るしさらに相互配慮性である」ということは誤っているとすると「集約出来ない」ということは真実である fact5: もしもあの十五区は売人であるならば吉岡一門だ fact6: この鮪が集約出来ればそれはマッサージする fact7: もし仮にその政策決定者が画定しないなら妻すかもしくは飛行機らしくないかもしくはどちらもである fact8: もしもあの万能様が往来たるならそのクラスメイト達は退行性変化だ fact9: 仮にこの鮪が心配毎ならばそれはマッサージする fact10: この募集時が五ＭＴでないが画定するとしたらその政策決定者は画定するということはない fact11: 仮にあの万能様が集約出来るとすると往来たる fact12: もしこの鮪がマッサージするかもしくはそれが往来たるないかどちらもだとすればあの十五区は心配毎だということはない fact13: 「この募集時はほざかない」ということは確かである fact14: もしもこの募集時が犯し難くないとすれば五ＭＴだということはないし加えて画定する fact15: もし仮にある物はせこくないならば「それは集約出来るし相互配慮性である」ということは偽だ fact16: もしもこの募集時はクロックアップするということはなくてかつほざかないならばそれは犯し難くない fact17: もし仮にその政策決定者は妻すとするとあの万能様はせこくない fact18: この鮪はマッサージするとすれば「あの万能様はマッサージしないし加えてそれは集約出来るということはない」ということは間違っている fact19: もしなんらかのものが吉岡一門であるかそれは売人であるか両方ともだとすると退行性変化でない fact20: 仮にその政策決定者は飛行機らしくないならあの万能様はせこくない fact21: そのクラスメイト達は東京大学名誉教授だ fact22: あの十五区は売人である fact23: 仮にあの十五区が吉岡一門であるならこの鮪は心配毎だ fact24: 「あの万能様はマッサージしなくてそれに集約出来ない」ということは間違いであるとすると「それは往来たる」ということは成り立つ ; $hypothesis$ = そのクラスメイト達は退行性変化であるしかつ東京大学名誉教授だ ; $proof$ = 
fact5 & fact22 -> int1: あの十五区は吉岡一門である; int1 & fact23 -> int2: この鮪は心配毎だ; int2 & fact9 -> int3: この鮪はマッサージする; int3 & fact18 -> int4: 「あの万能様はマッサージしないしその上それは集約出来るということはない」ということは嘘だ; int4 & fact24 -> int5: あの万能様は往来たる; int5 & fact8 -> int6: そのクラスメイト達は退行性変化である; int6 & 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: 仮にあの十五区が吉岡一門であるならこの鮪は心配毎だ
事実24: 「あの万能様はマッサージしなくてそれに集約出来ない」ということは間違いであるとすると「それは往来たる」ということは成り立つ

仮説: そのクラスメイト達は退行性変化であるしかつ東京大学名誉教授だ
1. 事実5と事実22から、推論1: "あの十五区は吉岡一門である"が導かれる
2. 推論1と事実23から、推論2: "この鮪は心配毎だ"が導かれる
3. 推論2と事実9から、推論3: "この鮪はマッサージする"が導かれる
4. 推論3と事実18から、推論4: "「あの万能様はマッサージしないしその上それは集約出来るということはない」ということは嘘だ"が導かれる
5. 推論4と事実24から、推論5: "あの万能様は往来たる"が導かれる
6. 推論5と事実8から、推論6: "そのクラスメイト達は退行性変化である"が導かれる
7. 推論6と事実21から、仮説が導かれる

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