「その一聖人は追加投与するし証明す」ということは偽である
fact1: もしもその一聖人が絶え切れないならばそれは追加投与するしそれにそれは導き得る fact2: とあるものは証明すとすると「それは導き得るしそれは追加投与しない」ということは間違いである fact3: その平野が名残惜しいとしたら四年制でないかそれは崩し易くない fact4: 「性分らしい」物はある fact5: 「性分らしくない」ものはある fact6: 仮に性分らしくない物はあるとしたら「その一聖人は追加投与するしそれは証明す」ということは成り立たない fact7: もしもあの地方教育委員会が追加投与するかまたはそれが性分らしいかどちらもならその一聖人は昼でない fact8: もし仮になにかは四年制でないとすれば通る fact9: その平野は名残惜しい fact10: 「証明すらない」物はある fact11: なんらかの物が崩し易くないとすると通る fact12: 「その仮スタジオは導き得るがそれは追加投与しない」ということは間違いであるとするとあの地方教育委員会は追加投与する fact13: 仮に「「通る」ということは事実である」物があればその仮スタジオは証明すし絶え切れる
fact5 & fact6 -> hypothesis;
fact5 & fact6 -> hypothesis;
その一聖人は追加投与するし更にそれは証明す
$facts$ = fact1: もしもその一聖人が絶え切れないならばそれは追加投与するしそれにそれは導き得る fact2: とあるものは証明すとすると「それは導き得るしそれは追加投与しない」ということは間違いである fact3: その平野が名残惜しいとしたら四年制でないかそれは崩し易くない fact4: 「性分らしい」物はある fact5: 「性分らしくない」ものはある fact6: 仮に性分らしくない物はあるとしたら「その一聖人は追加投与するしそれは証明す」ということは成り立たない fact7: もしもあの地方教育委員会が追加投与するかまたはそれが性分らしいかどちらもならその一聖人は昼でない fact8: もし仮になにかは四年制でないとすれば通る fact9: その平野は名残惜しい fact10: 「証明すらない」物はある fact11: なんらかの物が崩し易くないとすると通る fact12: 「その仮スタジオは導き得るがそれは追加投与しない」ということは間違いであるとするとあの地方教育委員会は追加投与する fact13: 仮に「「通る」ということは事実である」物があればその仮スタジオは証明すし絶え切れる ; $hypothesis$ = 「その一聖人は追加投与するし証明す」ということは偽である ; $proof$ = 
fact5 & fact6 -> hypothesis; __PROVED__
事実1: もしもその一聖人が絶え切れないならばそれは追加投与するしそれにそれは導き得る
事実2: とあるものは証明すとすると「それは導き得るしそれは追加投与しない」ということは間違いである
事実3: その平野が名残惜しいとしたら四年制でないかそれは崩し易くない
事実4: 「性分らしい」物はある
事実5: 「性分らしくない」ものはある
事実6: 仮に性分らしくない物はあるとしたら「その一聖人は追加投与するしそれは証明す」ということは成り立たない
事実7: もしもあの地方教育委員会が追加投与するかまたはそれが性分らしいかどちらもならその一聖人は昼でない
事実8: もし仮になにかは四年制でないとすれば通る
事実9: その平野は名残惜しい
事実10: 「証明すらない」物はある
事実11: なんらかの物が崩し易くないとすると通る
事実12: 「その仮スタジオは導き得るがそれは追加投与しない」ということは間違いであるとするとあの地方教育委員会は追加投与する
事実13: 仮に「「通る」ということは事実である」物があればその仮スタジオは証明すし絶え切れる

仮説: 「その一聖人は追加投与するし証明す」ということは偽である
1. 事実5と事実6から、仮説が導かれる

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