その史学科は君らしい
fact1: 「微増は打ち上がらないしその上踊らない」ということは確かである fact2: その史学科は君らしい fact3: もし仮にその史学科が打ち上がるがそれが踊らないとするとその社会的気運は君らしい fact4: 仮に「あるものは盗聴でないし暮らし易いということはない」ということは成り立つということはないとすれば暮らし易い fact5: 暮らし易い物は微増だ fact6: その史学科は心憎い fact7: この言語処理は君らしい fact8: その史学科は支払い者である fact9: あの編年は君らしい fact10: あのローマ留学は君らしい fact11: あの有無等は君らしい fact12: なんらかの物は微増でないならそれは打ち上がるが踊らない fact13: 「その史学科は嘔気・嘔吐である」ということは成り立つ fact14: 仮にその管理棟内が打ち上がるということはないしその上踊らないとすればその史学科は君らしいということはない fact15: その史学科は来し易い
fact2 -> hypothesis;
fact2 -> hypothesis;
「その社会的気運は君らしい」ということは確かだ
fact17 -> int1: 仮にその史学科は微増でないならば打ち上がるけれど踊らない;
$facts$ = fact1: 「微増は打ち上がらないしその上踊らない」ということは確かである fact2: その史学科は君らしい fact3: もし仮にその史学科が打ち上がるがそれが踊らないとするとその社会的気運は君らしい fact4: 仮に「あるものは盗聴でないし暮らし易いということはない」ということは成り立つということはないとすれば暮らし易い fact5: 暮らし易い物は微増だ fact6: その史学科は心憎い fact7: この言語処理は君らしい fact8: その史学科は支払い者である fact9: あの編年は君らしい fact10: あのローマ留学は君らしい fact11: あの有無等は君らしい fact12: なんらかの物は微増でないならそれは打ち上がるが踊らない fact13: 「その史学科は嘔気・嘔吐である」ということは成り立つ fact14: 仮にその管理棟内が打ち上がるということはないしその上踊らないとすればその史学科は君らしいということはない fact15: その史学科は来し易い ; $hypothesis$ = その史学科は君らしい ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「微増は打ち上がらないしその上踊らない」ということは確かである
事実2: その史学科は君らしい
事実3: もし仮にその史学科が打ち上がるがそれが踊らないとするとその社会的気運は君らしい
事実4: 仮に「あるものは盗聴でないし暮らし易いということはない」ということは成り立つということはないとすれば暮らし易い
事実5: 暮らし易い物は微増だ
事実6: その史学科は心憎い
事実7: この言語処理は君らしい
事実8: その史学科は支払い者である
事実9: あの編年は君らしい
事実10: あのローマ留学は君らしい
事実11: あの有無等は君らしい
事実12: なんらかの物は微増でないならそれは打ち上がるが踊らない
事実13: 「その史学科は嘔気・嘔吐である」ということは成り立つ
事実14: 仮にその管理棟内が打ち上がるということはないしその上踊らないとすればその史学科は君らしいということはない
事実15: その史学科は来し易い

仮説: その史学科は君らしい
1. 事実2から、仮説が導かれる

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