「そのターンオーバーは前縁である」ということは成り立つ
fact1: もしその定性評価が大膳でないとすればそれは久米舞であるしまたそれは前縁だ fact2: そのデータ領域Ｂは前縁である fact3: もしも何らかの物がブレンドするということはないとすればそれは大膳だということはないしまたそれは久米舞だ fact4: この上意下達は前縁である fact5: このＢＩは前縁だ fact6: そのターンオーバーは政である fact7: この被官は前縁である fact8: 「そのターンオーバーは前縁だ」ということは成り立つ fact9: そのターンオーバーは頑是無い fact10: 「その指定医は前縁だ」ということは正しい fact11: そのターンオーバーはガス灯だ fact12: そのターンオーバーは仄暗い
fact8 -> hypothesis;
fact8 -> hypothesis;
その定性評価は前縁だ
$facts$ = fact1: もしその定性評価が大膳でないとすればそれは久米舞であるしまたそれは前縁だ fact2: そのデータ領域Ｂは前縁である fact3: もしも何らかの物がブレンドするということはないとすればそれは大膳だということはないしまたそれは久米舞だ fact4: この上意下達は前縁である fact5: このＢＩは前縁だ fact6: そのターンオーバーは政である fact7: この被官は前縁である fact8: 「そのターンオーバーは前縁だ」ということは成り立つ fact9: そのターンオーバーは頑是無い fact10: 「その指定医は前縁だ」ということは正しい fact11: そのターンオーバーはガス灯だ fact12: そのターンオーバーは仄暗い ; $hypothesis$ = 「そのターンオーバーは前縁である」ということは成り立つ ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もしその定性評価が大膳でないとすればそれは久米舞であるしまたそれは前縁だ
事実2: そのデータ領域Ｂは前縁である
事実3: もしも何らかの物がブレンドするということはないとすればそれは大膳だということはないしまたそれは久米舞だ
事実4: この上意下達は前縁である
事実5: このＢＩは前縁だ
事実6: そのターンオーバーは政である
事実7: この被官は前縁である
事実8: 「そのターンオーバーは前縁だ」ということは成り立つ
事実9: そのターンオーバーは頑是無い
事実10: 「その指定医は前縁だ」ということは正しい
事実11: そのターンオーバーはガス灯だ
事実12: そのターンオーバーは仄暗い

仮説: 「そのターンオーバーは前縁である」ということは成り立つ
1. 事実8から、仮説が導かれる

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