この学君は高辻奈良作りであるか金融理論であるということはない
fact1: 「金融理論でない」ものはある fact2: この学君は成り易いか交わるかまたはどちらもである fact3: 「空かない」物はある fact4: 「高辻奈良作りな」物はある fact5: この学君は属性的範囲であるかまたは空く fact6: 「空かない」物があるとすればこの学君は高辻奈良作りであるかあるいはそれは金融理論でない fact7: なんらかの物は高辻奈良作りでない fact8: なにかは狭める fact9: あのオフシーズンは金融理論であるかもしくはそれは自認するかあるいはどちらもだ fact10: 「人懐っこくない」ものはある fact11: もし仮に「女っぽくない」ものがあればこの学君は空くかまたはそれはかわゆい fact12: この成長は高辻奈良作りであるかそれは輝かしかまたはどちらもである fact13: もし「空かない」物があるとするとその遺伝子関連発明は滞在型であるかあるいは物凄ーいかあるいは両方だ
fact3 & fact6 -> hypothesis;
fact3 & fact6 -> hypothesis;
$facts$ = fact1: 「金融理論でない」ものはある fact2: この学君は成り易いか交わるかまたはどちらもである fact3: 「空かない」物はある fact4: 「高辻奈良作りな」物はある fact5: この学君は属性的範囲であるかまたは空く fact6: 「空かない」物があるとすればこの学君は高辻奈良作りであるかあるいはそれは金融理論でない fact7: なんらかの物は高辻奈良作りでない fact8: なにかは狭める fact9: あのオフシーズンは金融理論であるかもしくはそれは自認するかあるいはどちらもだ fact10: 「人懐っこくない」ものはある fact11: もし仮に「女っぽくない」ものがあればこの学君は空くかまたはそれはかわゆい fact12: この成長は高辻奈良作りであるかそれは輝かしかまたはどちらもである fact13: もし「空かない」物があるとするとその遺伝子関連発明は滞在型であるかあるいは物凄ーいかあるいは両方だ ; $hypothesis$ = この学君は高辻奈良作りであるか金融理論であるということはない ; $proof$ = 
fact3 & fact6 -> hypothesis; __PROVED__
事実1: 「金融理論でない」ものはある
事実2: この学君は成り易いか交わるかまたはどちらもである
事実3: 「空かない」物はある
事実4: 「高辻奈良作りな」物はある
事実5: この学君は属性的範囲であるかまたは空く
事実6: 「空かない」物があるとすればこの学君は高辻奈良作りであるかあるいはそれは金融理論でない
事実7: なんらかの物は高辻奈良作りでない
事実8: なにかは狭める
事実9: あのオフシーズンは金融理論であるかもしくはそれは自認するかあるいはどちらもだ
事実10: 「人懐っこくない」ものはある
事実11: もし仮に「女っぽくない」ものがあればこの学君は空くかまたはそれはかわゆい
事実12: この成長は高辻奈良作りであるかそれは輝かしかまたはどちらもである
事実13: もし「空かない」物があるとするとその遺伝子関連発明は滞在型であるかあるいは物凄ーいかあるいは両方だ

仮説: この学君は高辻奈良作りであるか金融理論であるということはない
1. 事実3と事実6から、仮説が導かれる

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