その高感度は学校運営費標準だ
fact1: この再演が御揺らないとするとその海鳴りは罵倒するということはないし加えてそれはひんやりしない fact2: 仮にあの年次有給休暇がひんやりすればその高感度は学校運営費標準だ fact3: もし仮にとあるものは罵倒しなくてかつひんやりしないとすれば「設定用紙である」ということは成り立つ fact4: もしこの再演がひ弱いとすればその海鳴りは設定用紙である fact5: 「その海鳴りは出資比率である」ということは真実である fact6: この個はひ弱い fact7: この再演はひんやりする fact8: もしもあの年次有給休暇は出資比率であるならば「その海鳴りはひんやりする」ということは間違っていない fact9: その高感度はひ弱い fact10: その絶対はひ弱い fact11: もし何かは科学特捜隊であるか御揺らないとすればそれは御揺るということはない fact12: もし仮にあの年次有給休暇がひ弱いならひんやりする fact13: 仮にこの再演が活動し難いならそれは科学特捜隊である fact14: 「この再演は設定用紙でない」ということは本当でないとすると「あの年次有給休暇はひんやりする」ということは正しい fact15: もし仮にその高感度は設定用紙なら「この再演は学校運営費標準だ」ということは成り立つ fact16: もし仮にこの再演が学校運営費標準であるならばその高感度は設定用紙だ fact17: 仮にこの再演が左半分だとするとそれは活動し難い fact18: その海鳴りは学校運営費標準だ fact19: 「仮にその海鳴りが出資比率だとすればその海鳴りはひんやりする」ということは成り立つ fact20: 「その高感度は出資比率だ」ということは成り立つ fact21: その海鳴りが設定用紙だとするとその高感度は出資比率でないかあるいはひ弱くないかどちらもである fact22: もしもその海鳴りは出資比率であるとすれば「それはひ弱い」ということは成り立つ fact23: もし仮にその海鳴りがひ弱いならこの再演は設定用紙である
fact22 & fact5 -> int1: その海鳴りはひ弱い; int1 & fact23 -> int2: この再演は設定用紙である; int2 & fact14 -> int3: あの年次有給休暇はひんやりする; int3 & fact2 -> hypothesis;
その高感度は学校運営費標準でない
fact29 -> int4: もし仮にその海鳴りは罵倒しないし加えてひんやりしないとすると設定用紙である; fact27 -> int5: もしもこの再演が科学特捜隊であるか御揺らないかもしくは両方であるとすれば御揺るということはない;
$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$ = 
fact22 & fact5 -> int1: その海鳴りはひ弱い; int1 & fact23 -> int2: この再演は設定用紙である; int2 & fact14 -> int3: あの年次有給休暇はひんやりする; int3 & fact2 -> 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. 事実22と事実5から、推論1: "その海鳴りはひ弱い"が導かれる
2. 推論1と事実23から、推論2: "この再演は設定用紙である"が導かれる
3. 推論2と事実14から、推論3: "あの年次有給休暇はひんやりする"が導かれる
4. 推論3と事実2から、仮説が導かれる

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