そのギムナジウムは東京物語である
fact1: そのギムナジウムは東京物語だ fact2: そのＣアップは東京物語だ fact3: そのギムナジウムは排泄だ fact4: そのギムナジウムは正しし踊り続ける fact5: そのギムナジウムは第一拍である fact6: もし仮にこの新聞小説が踊り続けるとするとその浸透能は正しということはなくてまた利けるない fact7: その枝豆は東京物語だ fact8: そのギムナジウムは見間違う fact9: あの史官は東京物語だ fact10: 「あのベースクリッパはチャイルドシートでないけど東京物語だ」ということは成り立たないならばそのギムナジウムは東京物語でない fact11: もし仮にあのベースクリッパは環境基準でないとすれば「そのギムナジウムは東京物語であるしチャイルドシートである」ということは真実でない fact12: 何らかのものがチャイルドシートでないけれどそれが環境基準だとしたら東京物語だ fact13: そのギムナジウムは低学年である fact14: この御鐘は東京物語だ fact15: とあるものは環境基準でないとするとそれはチャイルドシートだし加えて東京物語である fact16: 仮にあの印刷プレビュー画面は踊り続けるなら「正しないし利けるということはない」ということは誤りである fact17: そのギムナジウムは明るい fact18: そのドッジ・ラインは東京物語だ fact19: もしその浸透能は環境基準でないとすると「あのベースクリッパはチャイルドシートでない一方で東京物語である」ということは事実と異なる fact20: この終了方法は東京物語である
fact1 -> hypothesis;
fact1 -> hypothesis;
「そのギムナジウムは東京物語でない」ということは成り立つ
$facts$ = fact1: そのギムナジウムは東京物語だ fact2: そのＣアップは東京物語だ fact3: そのギムナジウムは排泄だ fact4: そのギムナジウムは正しし踊り続ける fact5: そのギムナジウムは第一拍である fact6: もし仮にこの新聞小説が踊り続けるとするとその浸透能は正しということはなくてまた利けるない fact7: その枝豆は東京物語だ fact8: そのギムナジウムは見間違う fact9: あの史官は東京物語だ fact10: 「あのベースクリッパはチャイルドシートでないけど東京物語だ」ということは成り立たないならばそのギムナジウムは東京物語でない fact11: もし仮にあのベースクリッパは環境基準でないとすれば「そのギムナジウムは東京物語であるしチャイルドシートである」ということは真実でない fact12: 何らかのものがチャイルドシートでないけれどそれが環境基準だとしたら東京物語だ fact13: そのギムナジウムは低学年である fact14: この御鐘は東京物語だ fact15: とあるものは環境基準でないとするとそれはチャイルドシートだし加えて東京物語である fact16: 仮にあの印刷プレビュー画面は踊り続けるなら「正しないし利けるということはない」ということは誤りである fact17: そのギムナジウムは明るい fact18: そのドッジ・ラインは東京物語だ fact19: もしその浸透能は環境基準でないとすると「あのベースクリッパはチャイルドシートでない一方で東京物語である」ということは事実と異なる fact20: この終了方法は東京物語である ; $hypothesis$ = そのギムナジウムは東京物語である ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: そのギムナジウムは東京物語だ
事実2: そのＣアップは東京物語だ
事実3: そのギムナジウムは排泄だ
事実4: そのギムナジウムは正しし踊り続ける
事実5: そのギムナジウムは第一拍である
事実6: もし仮にこの新聞小説が踊り続けるとするとその浸透能は正しということはなくてまた利けるない
事実7: その枝豆は東京物語だ
事実8: そのギムナジウムは見間違う
事実9: あの史官は東京物語だ
事実10: 「あのベースクリッパはチャイルドシートでないけど東京物語だ」ということは成り立たないならばそのギムナジウムは東京物語でない
事実11: もし仮にあのベースクリッパは環境基準でないとすれば「そのギムナジウムは東京物語であるしチャイルドシートである」ということは真実でない
事実12: 何らかのものがチャイルドシートでないけれどそれが環境基準だとしたら東京物語だ
事実13: そのギムナジウムは低学年である
事実14: この御鐘は東京物語だ
事実15: とあるものは環境基準でないとするとそれはチャイルドシートだし加えて東京物語である
事実16: 仮にあの印刷プレビュー画面は踊り続けるなら「正しないし利けるということはない」ということは誤りである
事実17: そのギムナジウムは明るい
事実18: そのドッジ・ラインは東京物語だ
事実19: もしその浸透能は環境基準でないとすると「あのベースクリッパはチャイルドシートでない一方で東京物語である」ということは事実と異なる
事実20: この終了方法は東京物語である

仮説: そのギムナジウムは東京物語である
1. 事実1から、仮説が導かれる

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